- •1. Теория множеств
- •1.1 Понятие множества
- •Свойства отношения включения:
- •Полезные соотношения:
- •1.2. Операции над множествами
- •1.3. Диаграммы Эйлера - Венна
- •1.4. Алгебра множеств
- •Законы:
- •I. Докажем, что левая часть включена в правую:
- •II. Докажем, что правая часть включена в левую:
- •1.5. Кортеж. График
- •Свойства графиков
- •1.6. Соответствия
- •2 3 4 5
- •1.7. Отношения
- •Свойства отношений
- •1.7.1 Отношение эквивалентности
- •Свойства :
- •1.7.2. Отношения порядка
- •1.7.3. Морфизмы
- •1.8. Решетки
- •1.8.1. Диаграммы Хассе
- •1.8.2. Понятие решетки
- •1.8.3. Алгебраическое представление решеток. Булевы решетки
- •1.8.4. Подрешетки
- •1.9.4. Мощность множества r. Теорема Кантора
- •1.9.5. Арифметика бесконечного
- •2. Математическая логика
- •2.1. Логика высказываний
- •2.1.1. Операции над высказываниями
- •2.1.2. Построение и анализ сложных высказываний
- •2.1.3. Алгебра высказываний
- •2.1.5. Преобразование высказываний
- •2.1.6. Минимизация высказываний методом Квайна
- •2.1.7. Минимизация с помощью карт Вейча
- •2.1.8. Функциональная полнота
- •4.2. Теорема Эйлера
- •4.10. Внутренняя устойчивость графа
- •4.11. Множество внешней устойчивости. Ядро графа
- •4.8. Определение путей в графе
- •4.9. Приведение графа к ярусно-параллельной форме
- •4.3. Полные графы и деревья
- •4.5. Алгоритм Краскала
- •4.12. Клика
4.5. Алгоритм Краскала
Пусть дан полный граф. Ребрам приписаны штрафы. На основе этого графа строят дерево, имеющее минимальный суммарный штраф.
Для этого на каждом шаге выбирают ребро, имеющее минимальный штраф и не образующее цикл с уже выбранными ребрами.
.
Пример.
2 3 5 5
6
4 4 8 6
6
Жирными линиями выделено минимальное дерево
Теорема Кэли для раскрашенных деревьев.
Для n вершин существует nn-2различных помеченных деревьев.
Например, существует 16 различных деревьев с четырьмя вершинами.
1 2 3 4
4 3 2 1
4 вершины 44 - 2 = 16 различных помеченных деревьев
1 2 3
4
4.12. Клика
Клика - максимально большой полный подграф данного графа.
a
f b
e c
d
|
a |
b |
c |
d |
e |
f |
a |
|
1 |
1 |
|
|
|
b |
|
|
|
1 |
1 |
1 |
c |
|
|
|
|
1 |
1 |
d |
|
|
|
|
1 |
1 |
e |
|
|
|
|
|
1 |
f |
|
|
|
|
|
|
|
a |
b |
c |
d |
e |
f |
a |
|
|
|
1 |
1 |
1 |
b |
|
|
1 |
|
|
|
c |
|
|
|
1 |
|
|
d |
|
|
|
|
|
|
e |
|
|
|
|
|
|
f |
|
|
|
|
|
|
Построение Клики.
Строим дополнительный граф исходного графа.
G a
f b
e c
d
2. Найдем множество внутренней устойчивости для графа G.
(a d)(a e)(a f)(b c)(c d)
(a de)(a f)(c bd)
(a def)(c bd)
ac cdef bdef abd
{b, d, e, f}, {c, e, f}, {a, b}, {a, c}
3. Множества полученных вершин дают всевозможные полные подграфы исходного графа G. Причем, максимальный из подграфов дает клику.