Ориентированные графы
[16/100%]Для заданного множества вершин найти
общее количество графов;
количество графов без петель;
количество графов, между любыми двумя вершинами которых имеется не более одного ребра;
количество графов без петель, между любыми двумя вершинами которых имеется не более одного ребра;
количество турниров. Турнир — это граф без петель, между любыми двумя различными вершинами которого имеется в точности одно ребро.
Доказать, что в ориентированном графе без циклов есть хотя бы один исток и хотя бы один сток.
Пусть — это ациклический граф. Доказать, что его вершины можно пронумеровать так, что если выполнено , то .
Пусть — граф, — матрица смежности, , а вектор-столбец содержит нули и единицы, причём означает . Определить смысл булевых произведений и .
Доказать, что в турнире из вершины с наибольшей полустепенью исхода в любую другую ведёт путь длины не более двух.
Индукцией по количеству вершин доказать следующее утверждение: в турнире есть простой путь, который проходит через все вершины.
Чемпионат организован по круговой системе (каждая команда играет по одному матчу с каждой, победитель определяется по количеству выигранных матчей). Доказать, что если победитель чемпионата проиграл команде , то проиграла некоторой команде , которая, в свою очередь, проиграла победителю.
Определить, что представляет собой граф достижимости для
графа с вершинами и пустым множеством рёбер;
графа с вершинами: , рёбра которого образуют цикл: .
Вычислить матрицу графа достижимости * для следующего графа
и построить соответствующий ей граф достижимости. Найти все базы графа .
Построить для изображённых на рис. 27 ориентированных графов и их матрицы смежности и списки смежности. Вычислить матрицы достижимости и построить соответствующие графы достижимости.
Рис. 27. Графы \mathfrak {G}{1} и \mathfrak {G}{2}.
Доказать лемму 60 на стр. 193.
Лемма 60: Отношение строгой достижимости на компонентах сильной связности является отношением строгого частичного порядка, то есть оно антирефлексивно, антисимметрично и транзитивно.
Пусть граф задан своей матрицей смежности:
Построить граф достижимости для и определить, сколько в нём новых рёбер, то есть чему равна разность .
Доказать, что граф без петель ациклический тогда и только тогда, когда все компоненты сильной связности содержат по одному элементу.
Показать, что для каждого положительного существует граф без циклов с вершинами и рёбрами. Доказать, что в любом графе, в котором рёбер больше, обязательно есть цикл.
Доказать, что в ориентированном графе без циклов существует единственная база, состоящая из всех истоков.
Для графов и на рис. 28 определить компоненты сильной связности и отношение строгой достижимости на них.
Рис. 28. Графы \mathfrak {G}{1} и \mathfrak {G}{2}.