Что именно доказали вычисления
Речь идёт об английских шашках на доске 8×8. Компьютерная программа Chinook установила результат игры при безошибочных ходах обеих сторон: начиная с обычной начальной позиции, партия заканчивается вничью. Это не значит, что любая расстановка шашек ничейна: из многих позиций одна сторона может выиграть, если правильно продолжит игру.
«Идеальная игра» здесь — не особый стиль, а условие расчёта: каждый игрок выбирает ход, который не ухудшает для него возможный итог. Если можно гарантировать победу, он ведёт к ней; если победа недостижима, не допускает поражения.
Как компьютер разобрал игру
После каждого хода возникает новая позиция, а из неё — множество следующих. Если строить дерево вариантов целиком, оно разрастается слишком быстро. Поэтому программу снабдили алгоритмами поиска и базой уже рассчитанных позиций: она могла использовать известные результаты и не повторять всю работу заново.
В шашках особенно полезно начинать расчёт с простых концовок, где на доске осталось мало фигур. Для них легче определить, кто выигрывает при лучшей игре. Эти результаты затем помогают разбирать более ранние стадии партии: программа проверяет, может ли игрок перейти в выгодную концовку или соперник способен этому помешать. Вся совокупность возможных позиций огромна — оценка достигает 500 квинтиллионов, — поэтому работа заняла почти два десятилетия.
Ничья не означает, что партии скучны
Доказательство относится к результату при оптимальных решениях, а не к обычной игре людей. Ошибка может немедленно изменить положение и дать сопернику путь к победе. Поэтому даже игра, чей исход теоретически известен, остаётся состязанием: люди пытаются найти точные ходы в длинной цепочке вариантов, где один неверный выбор способен превратить ничью в поражение.
