Это может быть теоретически доказано, но не с помощью современных технологий.
Если вы подходите методом грубой силы, то из-за количества позиций возникают некоторые трудности.
При анализе числа Шеннона предполагается, что сложность игрового дерева составляет не менее 10 ^ 123 для игр с максимальной длиной 80 ходов. Давайте предположим, что это 10 ^ 123 для целей этого обсуждения.
10 ^ 81 = Расчетное количество атомов во вселенной
10 ^ 12 = операций в секунду терагерцового ядра процессора (ваш процессор, вероятно, работает на 1/300 этой скорости).
10 ^ 7 = округленные секунды в год
10 ^ 12 = 1 триллион лет
Предположим также, что наши процессоры могут оценить шахматную позицию всего за 1 процессорный цикл.
Итак, давайте сделаем так, чтобы каждый атом во вселенной функционировал как процессорное терагерцовое ядро в течение 1 триллиона лет.
Можем ли мы оценить каждую позицию для игр длиной 80 макс?
Нет.
10 ^ 81 x 10 ^ 12 x 10 ^ 7 x 10 ^ 12 = 10 ^ 112
Мы не дотягиваем до того, чтобы завершить расчет только на 0,0000000001%.
С продвинутым сокращением (выбрасывание плохих линий и их потомков), улучшенной технологией и некоторым хитрым программированием ... возможно, мы увидим 40-макс игры, решенные в нашей жизни! Мы также можем удалить позиции, которые мы видели ранее (мы можем прибыть туда с помощью транспонирования), но имейте в виду, что потребуется по крайней мере цикл ЦП, чтобы определить, что мы оценили позицию раньше!
Тем не менее, это должно помочь вам понять, почему он так недоступен в данный момент.
Ссылки