37. Раскраска графов. Планарные графы.

Пусть G=<M,R> - неорграф без петель. Раскраской (вершин) графа G называют такое задание цветов вершинам G, что если [a,b] – ребро, то вершины a и b имеют различные цвета. Хроматическим числом χ(G) графа G называется минимальное число цветов, требующееся для раскраски графа G.

Раскраска ребер в мультиграфе G может быть определена с помощью раскраски вершин реберного мультиграфа L(G). Для произвольного неориентированного мультиграфа G=<M,U,P> реберным мультиграфом называется тройка L(G)=<U,M,P’>, где , и тогда и только тогда, когда в мультиграфе G вершина u является концом ребер u и v.

Неорграф G называется бихроматическим, если χ(G)=2. Неорграф G=<M,R> называется двудольным, если множество всех ребер графа G образует разрез графа G, т.е. для некоторого разбиения множества вершин {M₁,M₂} концы любого ребра принадлежат разным частям разбиения.

Теорема: Пусть G – неорграф без петель, имеющий хотя бы одно ребро. Тогда следующие условия эквивалентны:

1. G – бихроматический граф;

2. G – двудольный граф;

3. G не содержит циклов нечетной длины.

Следствие: Если G – лес, то χ(G)≤2.

Теорема: Для любого неорграфа без петель выполняется неравенство χ(G)≤deg(G)+1.

Алгоритм последовательной раскраски:

1. Произвольная вершина a₁ графа G принимает цвет 1.

2. Если вершины a₁,…,a_i раскрашены l цветами 1,2,…,l, l≤2, то новой произвольно взятой вершине a_i+1 припишем миимальный цвет, не использованный при раскраске вершин из множества {a_j|ρ(a_j,a_i+1)=1,j<i}.

Неорграф G называется планарным, если его можно изобразить на плоскости так, что никакие два ребра не будут иметь общих точек, кроме, может быть, общего конца этих ребер. Такое изображение графа называется плоским.

Рассмотрим операцию подразбиения ребра в графе G=<M,R>. После подразбиения ребра [a,b] из R получается граф G’=<M’,R’>, где , , т.е. ребро [a,b] заменяется на (a,b)-цепь длины два. Два графа называются гомеоморфными, если их можно получить из одного графа с помощью последовательности подразбиений ребер.

Критерий планарности (теорема Понтрягина-Куратовского): Граф G планарен тогда и только тогда, когда G не содержит подграфа, гомеоморфного K₅ или K_3,3 (или подграфов, стягиваемых к K₅ или K_3,3, т.е. получаемых последовательным отождествлением связанных друг с другом вершин).

Теорема: Любой конечный граф может быть расположен в трехмерном пространстве без пересечения ребер.

Если G – планарный граф, то χ(G)≤4.

Толщина графа – минимальное количество плоскостей, в которых можно осуществить раскладку графа без пересечений.

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

38. Формулы алгебры логики, их таблицы истинности.

Высказыванием называется повествовательное предложение, о котором в данной ситуации можно сказать, что оно истинно или ложно, но не то и другое одновременно. Поставим в соответствие высказыванию Р логическую переменную х, которая принимает значение 1, если Р истинно, и 0, если Р ложно.

Определим по индукции понятие формулы алгебры логики:

1. Любая логическая переменная является формулой (атомарной);

2. Если φ и ψ – формулы, то выражения являются формулами;

3. Никаких других формул, кроме построенных по пп 1, 2 нет.

Символы называются логическими операциями или связками: отрицание, конъюнкция, дизъюнкция, импликация, эквивалентность.

Действия логических операций задаются таблицами истинности, каждой строке которых взаимно однозначно соответствует набор значений переменных, составляющих формулу, и соответствующее значение полученной формулы:

φ	ךφ		φ	ψ
0	1		0	0	0	0	1	1
1	0		0	1	0	1	1	0
			1	0	0	1	0	0
			1	1	1	1	1	1

Другие логические операции:

1. штрих Шеффера, или антиконъюнкция;

2. стрелка Пирса, или антидизъюнкция;

3. кольцевая сумма или сложение по модулю 2.

φ	ψ	φ|ψ
0	0	1	1	0
0	1	1	0	1
1	0	1	0	1
1	1	0	0	0

Некоторые соглашения о приоритете операций:

1. Внешние скобки не пишутся;

2. Вводится отношение:

	ך
	|	↓
	→
↔

Для равносильных связок расстановка скобок выполняется слева направо.