20
Рассмотрим вектора 6-вершинных графов с 8 ребрами, у которых не ме-
нее двух вершин степени 3, а степени остальных вершин не менее 2:
(4,4,2,2,2,2), (4,3,3,2,2,2) и (3,3,3,3,2,2). С помощью процедуры layoff и пере-
ключений построим все реализации указанных векторов.
Рис. 9.
Вектор (4,4,2,2,2,2) имеет единственную реализацию G
*
51
, изображенную
на рисунке 9а.
Вектор (4,3,3,2,2,2) имеет 4 реализаций, однако сразу можно отбросить те
реализации, в которых вершина степени 4 смежна с двумя вершинами степени
3 (после удаления такой вершины, не останется вершин степени 3). В результа-
те остается одна реализация G
*
52
, изображенная на рисунке 9б.
Среди 4-х реализаций вектора (3,3,3,3,2,2) нас интересуют только такие, у
которых нет вершины степени 3, смежной с остальными вершинами степени 3.
Таких реализаций всего 2 – граф G
*
53
и G
*
54
, изображенные на рисунках 9в и 9г.
Непосредственной проверкой убеждаемся, что все четыре графа являются
расширениями графа G. Рассмотрим для примера граф G
*
51
. Нетрудно заметить,
что вершины степени 4 и все вершины степени 2 подобны. Достаточно рас-
смотреть два максимальных подграфа графа G
*
51
, получающиеся удалением
вершины степени 4 и вершины степени 2, и убедиться, что они допускают вло-
жение графа G.
Пусть теперь G
*
– минимальное реберное 1-расширение G. По лемме 5
степень любой вершины G
*
должна быть не ниже 2. Следовательно, G
*
отлича-
ется от G не менее чем на два дополнительных ребра. Перебирая возможные
способы добавления двух ребер, необходимо учесть, что в G
*
должно полу-
читься либо две несмежных вершины степени 3, либо вершина степени 4. В са-
мом деле, если вершины степени 3 будут смежны, то удаление ребра между
ними приведет к графу со степенями вершин не более 2. А если будет одна
вершина степени 3, то удаление любого инцидентного ей ребра, снова приведет
а б в г