Es kann theoretisch bewiesen werden, aber nicht mit der aktuellen Technologie.
Wenn Sie einen Brute-Force-Ansatz wählen, gibt es aufgrund der Anzahl der Positionen einige Schwierigkeiten.
Bei der Analyse der Shannon-Zahl wird vorgeschlagen, dass die Komplexität des Spielbaums für Spiele mit einer maximalen Länge von 80 Zügen mindestens 10 ^ 123 beträgt. Nehmen wir an, dass es für die Zwecke dieser Diskussion 10 ^ 123 ist.
10 ^ 81 = Geschätzte Anzahl der Atome im Universum
10 ^ 12 = Operationen pro Sekunde eines Terahertz-Prozessorkerns (Ihr Prozessor läuft wahrscheinlich mit ungefähr 1/300 dieser Geschwindigkeit.)
10 ^ 7 = gerundete Sekunden pro Jahr
10 ^ 12 = 1 Billion Jahre
Nehmen wir außerdem an, dass unsere Prozessoren eine Schachposition in nur einem Prozessorzyklus auswerten können.
Lassen wir also jedes Atom im Universum 1 Billion Jahre lang als Terahertz-Prozessorkern arbeiten.
Können wir jede Position für Spiele mit einer maximalen Länge von 80 auswerten?
Nein.
10 ^ 81 x 10 ^ 12 x 10 ^ 7 x 10 ^ 12 = 10 ^ 112
Wir sind nicht in der Lage, mit der Berechnung nur 0,0000000001% abzuschließen.
Mit fortschrittlichem Beschneiden (das Wegwerfen von schlechten Linien und ihren Nachkommen), besserer Technologie und etwas schlauem Programmieren ... vielleicht werden wir 40-max-Spiele in unserem Leben gelöst sehen! Wir können auch Positionen entfernen, die wir zuvor gesehen haben (wir können dort über die Transposition ankommen), aber denken Sie daran, dass es mindestens einen CPU-Zyklus dauert, um festzustellen, ob wir die Position zuvor bewertet haben!
Dies sollte Ihnen jedoch helfen, herauszufinden, warum es im Moment so weit außerhalb der Reichweite liegt.
Verweise