Содержание
- Введение 1
- Формальное представление доски и ходов 2
- Модель состояний и переходов 3
- Алгоритмы решения задачи 4
- Спецификация входных и выходных данных 5
- Верификация корректности 6
- Программная реализация (опционально) 7
- Примеры использования и тесты 8
- Заключение 9
- Список литературы 10