4.10.Внутренняя устойчивость графа

Множество внутренней устойчивости- множество несмежных вершин графа.

a

f b

e c

d

	a	b	c	d	e	f
a			1
b	1				1
c						1
d		1			1
e			1
f		1		1	1

Поскольку одна любая вершина представляет внутренне устойчивое множество, то естественно, интерес представляют максимально возможные множества внутренней устойчивости.

Классический пример, задача о восьми ферзях: Как расставить на шахматной доске восемь ферзей, чтобы они не били друг друга. То есть построить граф с 64 вершинами (клеточками), где каждая клеточка соединена с клеточками, которые находятся под боем. Максимальные множества несмежных вершин и дают решение этой задачи.

Долго эта задача была классическим полигоном для систем искусственного интеллекта, как творческая задача, использующая нестрогие (эвристические) методы.

Последние годы ситуация изменилась.

Для нахождения таких множеств появился замечательный алгоритм Магу, который,

Фактически дает аналитическое (!) решение этой задачи.

Алгоритм Магу.

1. По единицам матрицы строим парные дизъюнкты.

(а b)(ac)(be)(cf)(db)(de)(ec)(fb)(fd)(fe)

2. Преобразуем в ДНФ, выполнив все возможные поглощения и операции идемпотентности.

Получим: bcde bcefadefafebfbdc

3. Для каждой конъюнкции выписываем недостающие вершины, образующие множества внутренней устойчивости.

{ a, f }, { a, d }, { a, e }, { b, c }, { c, d }

Максимальное из таких множеств дает число внутренней устойчивости( здесь оно равно 2).

4.11.Множество внешней устойчивости. Ядро графа

Множество внешней устойчивости- такое множество вершин графа, что:

1) либо вершины принадлежат этому множеству.

2) либо они имеют дуги в этом множестве.

Это определение легче усвоить и запомнить, если отдавать себе отчет, что внешне устойчивое множество, прежде всего, определяется вершинами графа, которые в это множество не входят(пункт 2).

Множество всех вершин графа внешне устойчиво (подпадает под пункт 1). Поэтому интерес представляют минимально возможные множества внешней устойчивости.

Поиск внешне устойчивого множества происходит в другой классической задаче:

Как расставить минимальное число ферзей, чтобы все поля доски были под боем.

Для решения этой задачи также используется соответствующий алгоритм Магу.

Возьмем граф из предыдущего примера:

	a	b	c	d	e	f
a	1		1
b	1	1			1
c			1			1
d		1		1	1
e			1		1
f		1		1	1	1

Алгоритм Магу.

1. По главной диагонали проставляем 1.

2. Выписываем построчные дизъюнкции.

(a c)(abe)(cf)(be)(ce)(bdef)

3. Преобразуем в ДНФ, выполнив все возможные поглощения и операции идемпотентности.

Получим: acd aefbcce

Эти конъюнкции и дают множества внешней устойчивости.

.{a, c, d}, {a, e, f}, {b, c},{c, e}

Минимальное из них дает число внешней устойчивости(здесь 2).

Множества, одновременно внутренне и внешне устойчивые называются ядромграфа.

Для рассмотренного графа - {b, c}

В графе может быть несколько ядер (например - 2)

или не быть совсем.