Симметричные Игры на графах

  1. Игра на ацикличном графе = DP за O(E)
  2. Игра на цикличном графе = Ретро-Анализ за O(E)
  3. Подсчет длины игры (если тот, кто выигрывает минимизирует время, а тот, кто проигрывает, максимизирует)
  4. Функция Гранди + док-во
  5. Вычисление функции Гранди за O(E)
  6. Примеры на функцию Гранди
    1. Ним
    2. Ним + кучку можно делить пополам
    3. Ним + можно делить на произвольное число слагаемых
    4. Штирлиц, Мюллер и очередь
    5. Поедание 3D шоколадки (есть всегда меньшую половину)
    6. Hacking-Bush
  7. Функция Смита (без док-ва)
  8. Вычисление функции Смита за O(VE)
  9. αβ-отсечение
  10. Метод отжига