
- •Переключательные функции. Способы задания, основные свойства
- •Переключательные функции одного и двух аргументов
- •Основные законы алгебры логики основные законы алгебры логики
- •Функции Шеффера и Пирса.
- •9 Минимизация переключательных функций. Метод импликантных матриц.
- •Импликантная матрица
- •11. Минимизация переключательных функций. Метод диаграм Вейча.
- •12. Совершенная дизъюктивная и совершенная конъюктивная нормальная формы
- •13. Вхождение функции в функцию. Импликанты. Простые импликанты. Способ получения простых импликант.
- •15. Правила развертывания логических выражений ??? 16. Конституента
- •18. Второй метод получения минимальной конъюнктивной нормальной формы
- •19. Минимизация неполностью определенных переключательных функций
- •20. Графы
- •21. Теорема о реализуемости графов в трехмерном евклидовом пространстве ?
- •22. Теорема Понтрягина-Куратовского
- •[Править]Признаки непланарных графов
- •23.Основные типы графов
- •24. Эйлеровы графы. Условия существования цепи и цикла.
- •[Править]в неориентированном графе
- •[Править]в ориентированном графе
- •25. Матрицы смежностей вершин графов
- •28.Операции на графах. Декартово произведение
- •29. Операции на графах. Произведение.?
- •30.Композиция графов?
- •31. Операции на графах в матричной форме
- •32. Внутренние и внешние устойчивые множества вершин Внутренне устойчивое множество вершин графа
- •33. Теоремы эйлера о графах
- •34. Операции на графах объединение и пересечение
- •35. Связные графы. Основные понятия и определения. Компонента связности.
- •36. Графы-деревья . Свойства. Теорема а.Кэли
- •37. Гамильтонов граф
- •Необходимое условие
- •38,39. Транспортная сеть.
- •40. Теорема форда-фалкерсона, алгоритм
- •42. Теорема о числе различных цепей длины n в графах и орграфах
- •43. Теорема о максимальном числе ребер в графе с р вершинами и q компонентами связности
- •44. Разрез транспортной сети и его свойства
42. Теорема о числе различных цепей длины n в графах и орграфах
43. Теорема о максимальном числе ребер в графе с р вершинами и q компонентами связности
Теорема Ту́рана даёт ответ на вопрос о максимальном количестве рёбер в графе без полного n-вершинного подграфа.
Обозначим
через
полный
n-вершинный граф.
Определим
граф
с
вершинами
следующим образом. Разобьём все вершины
на
«почти
равных» групп (то есть возьмём
групп
по
вершине
и
групп
по
вершин,
если
с
остатком
)
и соединим рёбрами все пары вершин из
разных групп. Т.о. получим
-дольный
граф.
Будем
обозначать через
максимальнео
количество рёбер, которое может иметь
граф с
вершинами,
не содержащий подграфа, изоморфного
.
-
Среди всех графов на вершинах, не содержащих подграфа , максимальное количество рёбер имеет граф . Если
, где — остаток от деления на , то этот максимум равен
При
основную
формулу можно записать короче:
.
Доказательство можно провести, например, с помощью математической индукции по количеству вершин графа
44. Разрез транспортной сети и его свойства
Разрез (s-t
cut) — разбиение множества всех вершин
V на два подмножества, A и B, таких что
,
.
Минимальный разрез - разрез с минимальной пропускной способностью