Скажите, пожалуйста, можно ли еще получить документ о прохождении курса ("Графы и алгоритмы", декабрь 2020) после предоставления всех дополнительных необходимых документов? |
Начальные понятия теории графов
Алгебраические операции
Поскольку граф состоит из двух множеств (вершины и ребра), то различные
операции над множествами естественным образом порождают соответствующие
операции над графами. Например, объединение двух
графов и
определяется как
граф
,
у которого
,
,
а пересечение - как
граф
, у которого
,
. Обе операции
иллюстрирует рис. 1.12.
Дополнением ( дополнительным графом ) к
графу называется граф
, у которого
множество вершин то же, что
у
, а множество ребер является дополнением
множества
до множества
всех неупорядоченных пар вершин. Иначе говоря, две различные вершины
смежны в графе
тогда и только тогда, когда они несмежны
в графе
. Например,
. Другой пример
показан на рис. 1.13. Очевидно, что
всегда
.
Под суммой двух абстрактных графов понимают
объединение графов с непересекающимися множествами вершин. Точнее говоря,
имеется в виду следующее. Сначала вершинам графов-слагаемых присваиваются
имена (пометки, номера) так, чтобы множества вершин не пересекались, затем
полученные графы объединяются. Операция сложения ассоциативна, то
есть
для любых трех
графов. Поэтому можно образовывать сумму любого числа графов, не указывая
порядка действий с помощью скобок. Если складываются
экземпляров
одного и того же графа
, то полученный граф обозначается
через
. Например,
. На рис. 1.14
изображен граф
.
Соединением двух
графов и
называется граф, получаемый из их
суммы добавлением всех ребер,
соединяющих вершины первого слагаемого с вершинами второго. Будем
записывать эту операцию как
. На рис. 1.15
представлен граф
. Легко видеть, что операции
сложения и соединения графов связаны друг с другом следующими простыми
соотношениями:
![\eq*{
\overline{G_{1} +G_{2}}=\overline{G_{1}}\circ
\overline{G_{2}},\qq
\overline{G_{1} \circ G_{2}}=\overline{G_{1} }+\overline{G_{2}}.
}](/sites/default/files/tex_cache/1900dccf2a4089218b778fe03794c4f8.png)
Введем еще два типа специальных графов, которые легко описываются
с помощью операции соединения. Первый - полный двудольный граф . В этом графе множество вершин разбито на
два подмножества (доли), в одном из которых
вершин,
в другом
, и две вершины в нем смежны тогда и только тогда,
если они принадлежат разным подмножествам. Второй - колесо
. На рис. 1.16
показаны графы
и
.
Произведение графов
и
определяется
следующим образом.
Множеством вершин графа
является декартово произведение
множеств
и
, то
есть вершины этого графа - упорядоченные
пары
, где
- вершина первого
сомножителя,
- вершина второго.
Вершины
и
в
смежны тогда и только тогда,
если
и
смежна с
в
графе
, или
и
смежна
с
в графе
. С помощью операции произведения
можно
выразить некоторые важные графы через простейшие. Например, произведение
двух цепей дает прямоугольную
решетку (см. рис. 1.17).
Если один из сомножителей превратить
в цикл, добавив одно ребро, то прямоугольная
решетка превратится в цилиндрическую, а если и второй сомножитель
превратить в цикл, то получится тороидальная решетка.
Другой пример - - мерный куб
,
определяемый следующим образом. Вершинами его являются всевозможные упорядоченные
двоичные наборы длины
. Всего, таким образом, в этом
графе
вершин. Вершины
и
смежны в нем тогда
и только тогда,
когда наборы
и
различаются точно в одной
координате.
С помощью операции произведения граф
можно определить
рекурсивно:
![\eq*{
Q_{1} =K_{2}, \qq Q_{k} =Q_{k-1} \times K_{2}.
}](/sites/default/files/tex_cache/9a3bd810d53b4806db689863df89cd9c.png)
На рис. 1.18 показано, как получается из
.