Содержание
- Введение 1
- Теоретические основы теории графов 2
- Логические задачи и их моделирование графами 3
- Обзор существующих алгоритмов решения логических задач на основе графов 4
- Разработка алгоритма решения выбранного класса логических задач 5
- Реализация алгоритма в виде программного прототипа 6
- Тестирование и оценка производительности 7
- Анализ результатов и обсуждение 8
- Перспективы дальнейших исследований 9
- Список литературы 10