
- •Введение
- •1 АЛГЕБРА И ТЕОРИЯ ЧИСЕЛ
- •Тема 1. Алгебра бинарных отношений и отображений
- •Тема 2. Отображения и фактор-множества
- •Тема 3. Отношения эквивалентности
- •Тема 4. Отношения порядка
- •Тема 5. Формула Бине-Коши
- •Тема 6. Полиномиальные матрицы
- •Тема 7. Системы линейных неравенств
- •Тема 10. Основная теорема алгебры
- •Тема 13. Конечные поля
- •Тема 14. Элементы теории конечных полей
- •Тема 17. Алгебра кватернионов и ее приложения
- •Тема 18. Замыкания и соответствия Галуа
- •Тема 19. Функция Мёбиуса и её свойства
- •Тема 20. Неприводимые кривые 2-го порядка
- •Тема 22. Кубический закон взаимности
- •Тема 23. Магические квадраты
- •Тема 25. Числа Фибоначчи и их приложения
- •Тема 28. Греко-китайская теорема об остатках
- •Тема 29. Линейные группы
- •Тема 30. Группы перестановок
- •Тема 31. Конечные абелевы группы
- •Тема 32. Копредставления групп
- •Тема 33. Силовские подгруппы
- •2 МАТЕМАТИЧЕСКАЯ ЛОГИКА
- •Тема 34. Логическая игра
- •Тема 35. Неразрешимость логики первого порядка
- •Тема 36. Нестандартные модели арифметики
- •Тема 38. Машины Тьюринга и невычислимые функции
- •Тема 41. Разрешимость арифметики сложения
- •3 ДИСКРЕТНАЯ МАТЕМАТИКА
- •Тема 47. Эйлеровы графы
- •Тема 48. Гамильтоновы графы
- •Тема 49. Связность графа
- •Тема 50. Циклы в графах
- •Тема 51. Плоские графы
- •Тема 52. Деревья
- •Тема 53. Свойства эйлеровых графов
- •Тема 54. Свойства гамильтоновых графов
- •Тема 55. Раскраски графов
- •Тема 56. Ориентированные графы
- •Тема 57. Паросочетания
- •Тема 58. Теория трансверсалей
- •Тема 59. Потоки в сетях
- •Тема 60. Производящие функции в теории графов
- •Тема 61. Теорема Пойа и перечисление графов
- •Тема 62. Графы на двумерных поверхностях
- •Тема 63. Конечные группы и их графы
- •Тема 64. Теорема Рамсея и ее приложения
- •Тема 65. Полугруппы преобразований
- •Тема 66. Полугруппы в биологии
- •Тема 67. Копредставления полугрупп
- •Тема 68. Логика на словах
- •Тема 70. Рациональные языки
- •Тема 71. Соответствие Эйленберга
- •Тема 72. Отношения Грина
- •Тема 73. Декомпозиция конечных моноидов
- •Тема 75. Элементы теории конечных автоматов
- •Тема 76. Минимизация чистых автоматов
- •Тема 77. Конструкции чистых автоматов
- •Тема 78. Цифровое шифрование
- •Тема 79. Последовательности над конечным полем
- •Тема 80. Линейные коды
- •Тема 81. Решетки
- •Тема 82. Модулярные и дистрибутивные решетки
- •Тема 83. Булевы алгебры
- •Тема 84. Минимальные формы булевых многочленов
- •4 РАЗЛИЧНЫЕ РАЗДЕЛЫ МАТЕМАТИКИ
- •Тема 86. Элементы линейного программирования
- •Тема 89. Построение вещественных чисел по Коши
- •Тема 91. Нестандартный математический анализ
- •Тема 92. Геометрия и искусство
- •Тема 95. Барицентрическое исчисление
- •Тема 96. Линейные рекуррентные уравнения
- •Тема 97. Роль аксиомы выбора в теории множеств
- •Тема 98. Алгоритмы поиска
- •Приложение А
- •Приложение Б
- •Приложение В
- •Приложение Г
привело к определению важного класса графов, называемых гамильтоновыми. Цель курсовой работы - изучить основные свойства гамильтоновых графов и рассмотреть практические задачи, сводящиеся к задаче о коммивояжере. Рекомендуется следующий план работы.
1Изучить такие основополагающие понятия теории графов, как граф, маршрут и цепь, контур и цикл (/1/, с. 9-43; /2/, с. 14-18).
2Рассмотреть понятие гамильтонова цикла, ввести определение гамильтонова графа и доказать теорему Дирака о таких графах (/1/, с. 48-51; /2/,
с. 168-173).
3Разобрать задачу о коммивояжере и примеры конкретных практических задач, приводящих к этой задаче (/2/, с. 179-182).
4Изучить метод ветвей и границ, разобрать точный алгоритм решения задачи о коммивояжере на стр. 182-197 в /2/.
Решить задачи 7a, 7b, 7d, 7e, 7i из /1/.
Литература, рекомендуемая для изучения темы
1Уилсон Р. Введение в теорию графов. – М.: Мир, 1977.
2Белов В.В., Воробьев Е.М., Шаталов В.Е. Теория графов. – М.: ВШ,
1976.
3 Березина Л.Ю. Графы и их применения: Пособие для учителей. – М.,
1979.
Тема 55. Раскраски графов
Одной из первых задач, приведших к возникновению теории графов, является известная «гипотеза четырех красках». Исследование этой проблемы послужило толчком к многочисленным и чрезвычайно разнообразным исследованиям, в результате которых возник важный раздел теории графов. Цель курсовой работы - изучить основные понятия теории раскрашивания плоских графов и проанализировать известные результаты о гипотезе четырех красок. Рекомендуется следующий план работы.
1Изучить такие основополагающие понятия теории графов, как граф, маршрут и контур, раскраска и плоский граф (/1/, с. 9-43; /2/, с. 14-18).
2Рассмотреть понятия хроматического числа и хроматического многочлена графа, графа, доказать теоремы о свойствах этих понятий (/1/, с. 101-103, 120-124; /2/, с. 168-173).
3Проанализировать известные результаты о гипотезе четырех красок
(/1/, с. 110-119; /2/, с. 95-99; /3/, с. 32-40).
Решить задачи 17a, 17b, 17d, 21a, 21b, 21c из /1/.
Литература, рекомендуемая для изучения темы 1 Уилсон Р. Введение в теорию графов. – М.: Мир, 1977.
2 Белов В.В., Воробьев Е.М., Шаталов В.Е. Теория графов. – М.: ВШ,
1976.
3Проблемы современной математики. – М.: Знание, 1975.
4Березина Л.Ю. Графы и их применения: Пособие для учителей. – М.,
1979.
Тема 56. Ориентированные графы
Понятие ориентированного графа (орграфа) играет важную роль в теории графов и ее разнообразных приложениях. В курсовой работе необходимо изучить основные свойства орграфов и проанализировать известную классификацию таких графов. Рекомендуется следующий план работы.
1 Изучить такие основополагающие понятия теории графов, как ориентированный граф, ориентированный маршрут, орцепь, орцикл и сильная связность, доказать теорему Роббинса об ориентируемом связном графе (/1/, с. 127-130).
2Рассмотреть понятие эйлерова орграфа и доказать основную теорему
отаких графах (/1/, с. 131-133).
3Рассмотреть понятия гамильтонова орграфа и проанализировать взаимосвязь полугамильтоновых оргафов с турнирами (/1/, с. 133-136).
4Разобрать приложение орграфов к теории цепей Маркова (/1/, с. 138-
142).
Решить задачи 22a, 22b, 22c, 22d, 22e, 22g, 23a, 22c, 24c, 24d, 24e из /1/.
Литература, рекомендуемая для изучения темы
1Уилсон Р. Введение в теорию графов. – М.: Мир, 1977.
2Белов В.В., Воробьев Е.М., Шаталов В.Е. Теория графов. – М.: ВШ,
1976.
3 Березина Л.Ю. Графы и их применения: Пособие для учителей. – М.,
1979.
Тема 57. Паросочетания
Многие комбинаторные приложения теории графов естественно приводят к понятиям паросочетания и трансверсали. Цель курсовой работы - изучить постановки важных комбинаторных задач и основные методы их решения с помощью теории графов. Рекомендуется следующий план работы.
1Изучить такие основополагающие понятия теории графов, как граф,
двудольный граф и паросочетание (/1/, с. 9-43, 144-146; /3/, с. 154-159).
2Рассмотреть известную задачу о свадьбах и доказать теорему Холла
(/1/, с. 144-147; /2/, с. 168-173).
3Изучить теорию трансверсалей и ее приложение к задачам о паросочетаниях (/1/, с. 148-150).
4 Разобрать приложения теоремы Холла к латинским квадратам, реберным раскраскам графов и (0,1)-матрицам (/1/, с. 151-156).
Разобрать алгоритм построения наибольшего паросочетания на стр. 159163 в /3/ и решить задачи 25a, 25e, 25f, 26a, 26b, 26d, 27a, 27b, 27d, 27e из /1/.
Литература, рекомендуемая для изучения темы
1Уилсон Р. Введение в теорию графов. – М.: Мир, 1977.
2Белов В.В., Воробьев Е.М., Шаталов В.Е. Теория графов. – М.: ВШ,
1976.
3Липский В. Комбинаторика для программистов. – М.: Мир, 1988.
4Березина Л.Ю. Графы и их применения: Пособие для учителей. – М.,
1979.
Тема 58. Теория трансверсалей
Известная задача о системе различных представителей (называемая также трансверсалью) имеет многочисленные приложения в теории множеств, комбинаторике, теории графов и других разделах дискретной математики. Цель курсовой работы - изучить разнообразные эквивалентные постановки задачи о системе различных представителей и методы ее решения. Рекомендуется следующий план работы.
1Изучить такие основополагающие понятия теории графов, как граф и двудольный граф, паросочетание и трансверсаль (/1/, с. 9-43, 144-148; /2/, с. 128-134; /3/, с. 154-155, 163-169).
2Разобрать доказательство теоремы о системе различных представителей и эквивалентных ей известных теорем (/2/, с. 128-144).
3Рассмотреть прикладные задачи на паросочетания (/2/, с. 150-166).
Разобрать венгерский алгоритм построения трансверсали на стр. 144-150
в /2/ и решить задачи 25a, 25f, 25g, 26c, 26e, 27c, 27d из /1/.
Литература, рекомендуемая для изучения темы
1Уилсон Р. Введение в теорию графов. – М.: Мир, 1977.
2Белов В.В., Воробьев Е.М., Шаталов В.Е. Теория графов. – М.: ВШ,
1976.
3Липский В. Комбинаторика для программистов. – М.: Мир, 1988.
4Березина Л.Ю. Графы и их применения: Пособие для учителей. – М.,
1979.
Тема 59. Потоки в сетях
Многие прикладные задачи, связанные с перевозкой грузов, организацией коммуникаций, распределением товаров и т.п., естественно приводят к определению важного класса ориентированных графов, называемых
сетями. Цель курсовой работы - изучить основные свойства сетей и рассмотреть практические задачи, решение которых сводится к основной задаче транспортных сетей о максимальном потоке. Рекомендуется следующий план работы.
1 Изучить такие основополагающие понятия теории сетей, как ориентированный граф, сеть, поток в сети и разрез сети (/1/, с. 126-131; 163-166; /2/, с. 114-117; /3/, с. 136-138).
2 Разобрать доказательство теоремы Форда-Фалкерсона о максимальном потоке и минимальном разрезе (/1/, с. 165-171; /2/, с. 114-118; /3/,
с. 138-141).
3 Рассмотреть прикладные задачи, решение которых сводится к построению максимального потока в сети (/2/, с. 119-122).
Разобрать алгоритм построения максимального потока в сети (/1/, с. 119; /2/, с. 115-118; /3/, с. 141-154) и решить задачи 29a, 29b, 29c, 25f из /1/.
Литература, рекомендуемая для изучения темы
1Уилсон Р. Введение в теорию графов. – М.: Мир, 1977.
2Белов В.В., Воробьев Е.М., Шаталов В.Е. Теория графов. – М.: ВШ,
1976.
3Липский В. Комбинаторика для программистов. – М.: Мир, 1988.
4Березина Л.Ю. Графы и их применения: Пособие для учителей. – М.,
1979.
Тема 60. Производящие функции в теории графов
Многие задачи перечисления графов эффективно решаются с помощью мощного инструмента комбинаторики, основанного на понятии производящей функции числовой последовательности. Цель курсовой работы - изучить основные свойства производящих функций и метод решения задач перечисления графов с помощью таких функций. Рекомендуется следующий план работы.
1Изучить такие основополагающие понятия теории графов, как граф,
маршрут, цикл и дерево (/1/, с. 9-43; /2/, с. 5-22).
2Рассмотреть определение производящей функции и доказать основные свойства таких функций (/2/, с. 226-231; /3/, с. 64-72; /4/, с. 24-30).
3Разобрать решение задачи перечисления корневых деревьев с помощью производящих функций (/1/, с. 236-238).
Разобрать все примеры из указанных выше литературных источников и решить задачи 9a-9c из /1/ и 2.3, 2.7, 2.10, 2.35, 2.38 из /4/.
Литература, рекомендуемая для изучения темы 1 Уилсон Р. Введение в теорию графов. – М.: Мир, 1977.