@8739
"1. Quantum computers cannot be used to solve chess as they currently exist, or even as they are predicted to evolve in the foreseeable future." ++ Quantum computers are commercially available and they can run Stockfish if translated from C++ to Python. Quantum computers may be much faster in generating 8- or 9- men endgame table bases in the foreseeable future.
"2. If you spent the entire world's collected wealth (estimated at ~80 trillion dollars) on the fastest supercomputers (over a quarter million of them), the combined petaFLOPS still take millions of years to solve the 10^44 unique positions." ++ Solving Chess does not need a single Floating Point Operation, so petaFLOPS are irrelevant. Indeed strongly solving Chess to a 32-men table base with all 10^44 legal positions is beyond existing technology.
"3. There's no basis for 10^17." ++ There is solid basis for that. Per Tromp there are 10^44 legal positions, but as the 3 displayed randomly sampled positions show, the vast majority has > 3 rooks and / or bishops per side, so they never can result from optimal play from both sides.
Therefore Gourion's 10^37 is a better estimate. It is a bit too restrictive: positions with 3 or 4 queens do occur in perfect games with optimal play from both sides. So multiply by 10 to incorporate these. That is where the * 10 comes from.
However, a random sample of 10,000 positions as counted by Gourion show none can result from optimal play by both sides. That is where the / 10,000 comes from.
Weakly solving only needs 1 strategy to draw for black, not all black moves.
So instead of w^(2d) positions only w^d = Sqrt (w^(2d)) positions
That is where the square root comes from.
So
- 10^37 from Gourion
- * 10 to accomodate positions with 3 or 4 queens
- / 10,000 to remove positions that cannot result from reasonable play
- Square root as the difference between strongly and weakly solving
Yields: Sqrt (10^37 * 10 / 10,000) = 10^17 positions relevant to weakly solving Chess.
What?