Эндшпильные таблицы до 7 фигур: что компьютеры просчитали
Компьютеры действительно рассчитали огромный класс шахматных окончаний с семью и меньшим числом фигур. Но это не означает, что шахматы решены целиком: эндшпильные таблицы дают точный ответ только для позиций, которые входят в рассчитанный набор.
Что именно просчитали компьютеры
В шахматах существуют эндшпильные таблицы - заранее рассчитанные базы позиций с небольшим числом фигур. Для позиции, входящей в такую базу, компьютер не пытается заново искать лучший план на большую глубину: он получает уже вычисленный результат и может определить оптимальную игру.
В 2012 году на суперкомпьютере МГУ Ломоносов были рассчитаны семифигурные Lomonosov Tablebases. Сайт проекта указывает, что база содержит более 500 триллионов сохраненных позиций. Это стало важным этапом ретроградного анализа шахматных окончаний.
Победа, ничья или поражение
Семь фигур на доске не означают автоматическую победу белых. Конкретная позиция может быть выигранной, ничейной или проигранной для стороны, которой предстоит ход. Результат зависит от расположения фигур, очереди хода и правил, используемых конкретным форматом таблиц.
Современные Syzygy Tablebases также охватывают окончания с семью фигурами. Они хранят, в частности, WDL-данные о результате позиции и DTZ-данные, связанные с расстоянием до хода, обнуляющего счетчик правила 50 ходов. Поэтому такие таблицы позволяют движкам играть соответствующие эндшпили с точным знанием результата.
Почему это не означает, что шахматы решены
Начальная шахматная позиция содержит 32 фигуры. Между 7 и 32 фигурами лежит не линейное увеличение объема расчетов: число возможных позиций и вариантов растет чрезвычайно быстро. Поэтому переход от семифигурных окончаний к полной игре нельзя оценивать простым прогнозом по годам или объему дисков.
Не доказывает решение шахмат и преимущество первого хода. То, что белые начинают партию и статистически имеют определенное преимущество, не означает существования доказанной форсированной победы из начальной позиции. Стандартные шахматы из стартовой позиции остаются нерешенной игрой.
Syzygy и Lomonosov - в чем разница
Lomonosov Tablebases стали важной вехой семифигурного анализа в 2012 году. В 2018 году был завершен свободно доступный набор семифигурных Syzygy Tablebases. Lichess приводит число 423 836 835 667 331 уникальных легальных семифигурных позиций и отмечает, что Syzygy включает также окончания 6 против 1, которые Lomonosov не сохранял, поэтому этот набор стал первым действительно полным семифигурным tablebase.
Разные форматы таблиц могут хранить разные метрики. Lomonosov ориентирован на расстояние до мата, а Syzygy использует компактные WDL и DTZ-данные. Поэтому размеры баз и показатели длины решения нельзя напрямую сравнивать без учета формата.
Зачем эндшпильные таблицы нужны шахматистам
Практическая ценность tablebase не в обещании когда-нибудь просчитать все шахматы, а в точном анализе конкретных окончаний. Они позволяют проверять теоретические позиции, находить неожиданные выигрыши и ничьи, тестировать работу шахматных движков и разбирать эндшпили без неопределенности обычной компьютерной оценки.
Таким образом, прежняя формулировка о шахматах, просчитанных на 7 фигур, верна только в узком смысле: рассчитан огромный класс эндшпильных позиций с не более чем семью фигурами. Полная шахматная партия и результат игры из начальной позиции остаются другой, на порядки более сложной задачей.