RUS  ENG
Полная версия
СЕМИНАРЫ

Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
30 марта 2026 г. 16:00, г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + онлайн


Алгоритмическая сложность кооперативной игры «Ханаби»

А. А. Оноприенко

Московский государственный университет имени М. В. Ломоносова, механико-математический факультет

Аннотация: С середины XX столетия игры рассматриваются в качестве полигона для тестирования возможностей компьютера. Сейчас явные алгоритмы уступили место ИИ, который успешно играет в игры с противоположными интересами участников (типа шахмат или го). «Ханаби» является примером игры сотрудничества, в которой участники совместно достигают общей цели. На данный момент успехи ИИ в игре «Ханаби» довольно скромные: компьютер уступает даже командам из игроков-новичков. Очевидное препятствие для «лобового» решения задачи автоматизации игры – «экспоненциальный взрыв». С одной стороны, такой «взрыв» очевиден на практике при попытке запрограммировать игру, а с другой стороны, математически это выражается в виде утверждения об NP-трудности соответствующих вычислительных задач. Я расскажу об NP-полноте игры «Ханаби» в простейшем её варианте - случае одного игрока, который пытается «выложить пасьянс». Установлена точная граница параметров игры «Ханаби», при которой она всё ещё остаётся NP-полной, а при уменьшении любого из этих чисел игра «Ханаби» перестаёт быть NP-трудной (разумеется, если P не равно NP). Эти значения параметров оказываются очень маленькими, что демонстрирует практическую невозможность точного анализа «Ханаби» даже при небольших параметрах игры.


© МИАН, 2026