Элементы теории графов. Основные определения. Изоморфизм, гомеоморфизм. Пути и циклы. Деревья. Цикломатическое число и фундаментальные циклы. Планарные графы. Раскраски графов. Графы с атрибутами. Независимые множества и покрытия. Задачи и алгоритмы. Кратчайшие пути. Кратчайшее остовное дерево. Эйлеровы пути и циклы. Задача почтальона. Гамильтоновы циклы. Задача коммивояжера....
Методическое пособие. — Саров: Саровский государственный физико-технический институт (СарФТИ), 2001. — 60 с. Сборник задач и упражнений по курсу Дискретная математика. В пособии приведена теория, примеры решения задач и задачи для самостоятельного решения по разделу «Элементы теории множеств и теории графов». Элементы теории множеств. Теоретико-множественные операции....
Решебник содержит решения задач дискретной математики: диаграммы Эйлера-Венна; высказывание в виде формулы логики высказываний и формулы логики предикатов; СДНФ и СКНФ булевой функции. При помощи алгоритма Вонга и метода резолюции определяется является ли клауза теоремой и др.
