Об операции вершинной подстановки и точных расширениях

ОБ ОПЕРАЦИИ ВЕРШИННОЙ ПОДСТАНОВКИ И ТОЧНЫХ
РАСШИРЕНИЯХ ГРАФОВ
А.А.Долгов
Саратовский государственный университет имени Н.Г.Чернышевского,
Саратов, Россия
Ориентированным графом называется пара G = (V, ), где V –
конечное непустое множество, называемое множеством вершин, а  –
отношение на множестве вершин V, называемое отношением смежности.
Граф с антисимметричным отношением смежности называется
направленным графом или диграфом. Полный диграф без петель
называется турниром.
Граф H называется точным k-расширением графа G, если G
изоморфен каждому подграфу H, получающемуся путем удаления любых
его k вершин.
Рассмотрим два семейства точных расширений графов: семейство
транзитивных турниров и семейство циклически симметричных графов.
Транзитивный турнир – это турнир, у которого из существования дуг
(u, v) и (v, w) вытекает существование дуги (u, w). В работе [1] показано, что
точным k расширением турнира Tn при n > 2 является транзитивный турнир
Tn+k.
Рассмотрим схему построения семейства вершинно-симметрических
графов с циклической симметрией предложенную в работе [2]. Если G –
некоторый n-вершинный циклически симметричный граф, то его можно
изобразить так, что при повороте полученной картинки на 360/n градусов в
любую сторону и сколько угодно раз, мы будем все время наблюдать один
и тот же граф. Матрица смежности циклически симметричного графа,
изображенного таким образом, обладает интересным свойством. Каждая
строка матрицы кроме первой получается из предыдущей строки
циклическим сдвигом на одну позицию вправо. Таким образом, чтобы
перебрать все вершинно-симметрические графы с циклической симметрией
необходимо перебрать все возможные первые строки матрицы смежности и
достроить последующие указанным способом.
В приведенной ниже таблице можно проследить количество
транзитивных турниров (семейство T) и количество циклически
симметричных турниров (семейство S) до 12 вершин.
Таблица
Точные расширения турниров до 12 вершин
N
2
2
3
4
4
5
5
5
6
6
6
7
8
8
8
8
8
9
9
9
10
10
10
10
10
11
11
Максимальный
минорный код турнира
1
1
7
59
63
982
1011
1023
31435
32487
32767
2097151
267242391
267716381
268298127
268428175
268435455
68424641622
68717879055
68719476735
35033416510570
35183822519839
35105255749749
35175217913391
35184372088831
36028796892642367
36028797018963967
N
Семейство
3
3
4
5
5
6
6
6
7
7
7
8
9
9
9
9
9
10
10
10
11
11
11
11
11
12
12
S
T
T
S
T
T2 ^ S3
T
S
S
T
T
S
S
S
T3 ^ S3
T
T2 ^ S5
T
S
S
S
S
T
T4 ^ S3
T
Максимальный минорный код
точного расширения
5
7
63
947
1023
31435
32359
32767
2011853
2079175
2097151
268435455
68414052123
68535393593
68684320527
68717612831
68719476735
35033416510570
35183554076191
35184372088831
35874218506823866
36028234260315167
35947781887743157
36019423143312439
36028797018963967
3 18446743815002912895
3 18446744073709551615
Рассмотрим операцию над парой графов G1 и G2, которую назовем
операцией вершинной подстановки графа G1 в граф G2.
Результатом вершинной подстановки графа G1= (V1, 1) в G2= (V2, ),
|V1| = n1, |V2| = n2, будет граф G=(V, ), такой что:
1) V = {Vi, j | i=1..n1, j=1..n2}, |V| = n1*n2
2) (Vi, k, Vj, t)  , если k = t и (Vi, Vj)  1 или если k  t и (Vk, Vt)  2
Рассмотрим граф T ^ S, получающийся в результате вершинной
подстановки транзитивного турнира T с n1 вершинами в циклически
симметричный граф S с числом вершин n2. В полученном графе вместо
каждой вершины графа S будет располагаться n1 вершин соответствующего
турнира T. Выберем любую составную вершину нового графа – один из
подставленных турниров, например первый T1. Заметим, что по схеме
вершинной подстановки, множество вершин графа T ^ S не из T1, с
которыми будут связаны вершины турнира T1, совпадают. Удаляя любую из
вершин T1, мы будем получать один и тот же транзитивный турнир с
числом вершин n1 – 1, связанный всегда с одними и теми же вершинами
T ^ S. То есть мы получим n1 изоморфный граф.
Далее если воспользоваться свойством циклической симметрии
исходного графа S и повернуть его по часовой стрелке на 360/n2, то можно
провести аналогичные рассуждения для подставленного турнира T2 и т.д.
То есть полученный граф T ^ S будет точным расширением.
Как оказалось, граф, получающийся в результате вершинной
подстановки любого графа являющегося точным расширением в
циклически симметрический граф, также будет являться точным
расширением.
В таблице, графы получающиеся подстановкой T турнира c n2
вершинами в S турнир с n1 вершиной обозначены Sn1 ^ Tn2.
Список литературы
1. Абросимов М.Б. Минимальные расширения транзитивных турниров //
Вестник ТГУ. Приложение. 2006. № 17. С. 187 – 190.
2. Абросимов М.Б., Долгов А.А. Точные расширения некоторых турниров //
Вестник ТГУ. Приложение. 2007. № 23. С. 211 – 216.