
- •1)Множества. Включения и равенство множеств. Свойства.
- •2) Операция объединения и пересечения множест. Свойства.
- •3)Разность и симметричная разность. Свойства.
- •4) Пустое и универсальное множество
- •Дополнение множества Определение
- •Свойства
- •6)Бинарные соответствия между множествами и их виды. Отображения мно-в и их св-ва.
- •Виды отображений
- •7) Композиция соответсвий. Ассоциативность композиции. Ассоциативность композиции функций
- •8) Инверсия соответствия и её св-ва.
- •10)Отношения строгого и нестрогого порядка
- •11)Равномощные множества. Теорема Кантора.
- •Доказательство
- •12)Отношение порядка на совокупности мощностей
- •13) Критерий бесконечности множества
- •14) Счетные множества. Свойства счетных множеств
- •15) Несчетные множества. Существование несчетных множеств
- •16) Свойства континуальных множеств
- •17) Метод математической индукции.
- •18) Основное правило комбинаторики
- •19) Перестановки и их число
- •20) Размещения и их число
- •23) Бином Ньютона.
- •24) Перестановки с повторениями и их число
- •25) Сочетания с повторениями и их число
- •26) Метод рекуррентных соотношений
- •40) Полные графы. Группа автоморфизмов полного графа.
- •41) Части графа и операции над ними.
- •42) Подграф. Пересечение и объединение подграфов.
- •43) Двудольные графы. Регулярные графы.
- •44) Операции добавления вершины (ребра) к графу. Операции удаления вершины (ребра) графа.
- •45) Отождествление вершин графа. Стягивание ребра графа.
- •46) Дополнение графа. Свойства. Кольцевая сумма графов. Свойства.
- •47) Соединение (сумма) графов и его свойства.
- •48) Произведение графов. Свойства.
- •49) Композиция графов. Некоммутативность операции композиции графов.
- •50) Маршруты, цепи, циклы, простые цепи и циклы. Связность в графах. Сильно связные графы. Связные компоненты.
- •51) Расстояние в графах. Матрицы связности и достижимости.
- •52) Эксцентриситет вершин, диаметр и радиус графа. Центральные и периферийные вершины.
- •53) Взвешенные графы. Взвешенные эксцентриситет, радиус и диаметр. Взвешенные графы
- •53.Взвешеные графы . Взвешенный эксцентриситет ,радиус и диаметр.
- •54.Эйлеровы графы. Построение Эйлеровых циклов.
- •55.Покрытия графов.
- •56.Гамильтоновы графы.
- •57.Деревья. Концевые вершины. Критерий дерева.
- •58.Лес и его свойства.
- •59.Остов графа. Циклический и коцикличский ранги графа
- •60.Взвешенные графы. Алгоритм нахождения остова графа наименьшего веса.
- •61.Обходы графа по глубине и ширине. Фундаментальные циклы графов.
- •62. Матрица фундаментальных циклов графа.
- •64. Фундаментальное множество коциклов графа . Матрица фундаментальных коциклов графа и его свойства.
- •65. Раскраска графов по вершинам. Алгоритм раскраски графа.
- •66) Задача о четырёх красках
- •О доказательстве
- •67)Раскраска рёбер мультиграфа
- •68)Свойства бихроматического графа
- •71 Билет
66) Задача о четырёх красках
Проблема четырёх красок — математическая задача, предложенная Фрэнсисом Гутри (англ.) в 1852 году, сформулированная следующим образом:
|
Выяснить, можно ли всякую расположенную на сфере карту раскрасить четырьмя красками так, чтобы любые две области, имеющие общий участок границы, были раскрашены в разные цвета. |
|
Стоит отметить две необходимые характеристики этой карты:
Граница между любыми двумя областями является непрерывной линией.
Каждая область является односвязной.
Переформулировать эту задачу можно так: показать, что хроматическое число плоского графа (c определенными ограничениями в соответствии с понятием «карта» в данной теореме) не превосходит 4.
О доказательстве
Кеннет Аппель[en] и Вольфганг Хакен[en] из Иллинойского университета доказали в 1976 году, что так можно раскрасить любую карту. Это была первая[источник?] крупная математическая теорема, для доказательства которой был применён компьютер. Несмотря на последующие упрощения, доказательство практически невозможно проверить, не используя компьютер. Поэтому некоторые математики отнеслись к этому доказательству с недоверием, что объяснялось не только использованием компьютера, но и громоздкостью описания алгоритма первых доказательств (741 страница); впоследствии были предложены более компактные алгоритмы и скорректирован ряд ошибок[1]. Проблема четырёх красок является одним из известнейших прецедентов неклассического доказательства в современной математике.
67)Раскраска рёбер мультиграфа
???????
68)Свойства бихроматического графа
Хроматическое число графа G — минимальное число цветов, в которые можно раскрасить вершины графа G так, чтобы концы любого ребра имели разные цвета. Обозначается χ(G).
69 билет
Раскраска графа
В неорграфе G(A,U) взвесим вершины, т.е. каждой вершине сопоставим целое число, и потребуем при этом, чтобы смежным вершинам были сопоставлены разные числа. Если число трактовать как номер краски, то такое взвешивание вершин называют раскраской графа. Раскраска графа, в которой используется минимальное число красок, называется минимальной. Число красок минимальной раскраски является одной из характеристик графа и называется хроматическим числом. К задаче определения минимальной раскраски графа сводятся многие задачи.
Алгоритм раскраски А.П.Ершова
Введем
понятие расстояния между вершинами как
длину минимального пути между ними.
Назовем 1-окрестностью вершины
множество
вершин на расстоянии единицы от
,
p-окрестностью вершины а- множество
вершин на расстоянии
от
.
Выберем вершину и присвоим ей первую краску Выберем из 2-окрестности этой вершины любую вершину и присвоим ей ту же краску. Объединим эти две вершины в одну так, что все ребра, связывающее нераскрашенные вершины с этими вершинами, заменяются ребрами к этой объединенной вершине. Для полученного графа находим новую нераскрашенную вершину из 2-окрестности, если таковая есть, красим ее в ту же краску и объединяем с объединенной вершиной. Такая процедура продолжается до тех пор, пока находятся нераскрашенные вершины в 2 — окрестности объединенной вершины. Затем из числа нераскрашенных вершин выбирается новая вершина, и для нее процедура раскраски повторяется, и так до тех пор, пока все вершины не будут раскрашены.
Алгоритм достаточно просто реализуется, если граф представлен в виде матрицы смежности, однако приведены примеры, когда решение имеет не минимальное количество красок. Алгоритм А.П.Ершова относится к так называемым эвристическим алгоритмам, построенным на основе некоторых разумных с точки зрения здравого смысла методах, для которых гарантий оптимальности нет.
Другой пример(мне нравится больше)
Шаг1. Создать вершины графа.
Шаг2: вершины располагаются в порядке невозрастания их степеней.
Шаг3: неокрашенная вершина с наименьшим номером окрашивается в цвет 1, затем вершины просматриваются в порядке возрастания номера.
Шаг4: вершины, смежные с одной из окрашенных в цвет 1, не могут быть раскрашены в этот цвет.
Шаг5: в цвет 1 окрашивается всякая вершина, которая не смежна с другой, уже окрашенной в этот цвет.
Шаги 3-5 повторяются для цветов с большими номерами, пока не будут раскрашены все вершины. Число использованных цветов будет тогда приближенным значением хроматического числа графа - минимального числа цветов, необходимого для раскраски графа.
К задаче раскраски графа могут быть сведены разнообразные задачи, возникающие при планировании производства, составлении графиков осмотра, хранении и транспортировке товаров и т.д. Рассматриваемые графы являются неориентированными и не имеют петель.
70 билет
71