Chess will never be solved, here's why

Sort:
tygxc

@4887
As chess is a finite game, it can be solved.
Chess could be strongly solved to a 32-men table base with 10^44 legal positions.
Chess can be weakly solved in 5 years calculating 10^17 relevant positions.

Mike_Kalish
tygxc wrote:

@4887
As chess is a finite game,........

Can you support this?

tygxc

@4889
"Can you support this?"
++ as previously said: the number of legal positions in finite: 10^44.
https://github.com/tromp/ChessPositionRanking

Thanks to the 3-fold repetition rule each position can at most be visited twice.
Thus each chess game ends after a finite number of moves.
Thus chess is a finite game.


Elroch

The state space of the version of chess with a repetition rule (traditionally 3-fold) is enormous whether there is or is not a rule like the 50 move rule.

The reason is that what has happened matters, not just the current position. Indeed, you need to keep a visit count for all positions that have been visited and that could be reached again by a legal sequence of moves. So the state space consists of objects that consist of a position (a la FEN) plus a list of other positions that have the property that the current position can be reached from them and they can be reached from the current position (another way to put this is that they are all in the same equivalence class as the current position, according to the partial order that is defined as the existence of a legal path between two positions).

Another way to define this state space is as a set of equivalence classes of partial games. The equivalence relation is that the current position is the same and the set of counts for all previous positions that could be reached again in the future of the game is the same.

Anyhow, this state space is mindbogglingly enormous. I have never even seen an estimate of it, but its size clearly has thousands of digits in base 10, compared with the mere 45 digits for the size of the state space of basic chess.

There is a simplification that helps to get around the size of the state space.  I assert that if there is a strategy that can reach a decisive result from a position, there is a strategy that can reach this result without ever repeating a position or allowing the opponent the opportunity to repeat the position. If this claim is true, solving the game becomes equivalent to solving a version of chess where any repetition of position is illegal (and if there are no legal moves it is a draw).

Actually that doesn't help much - we still need the list of previous positions that are reachable.

DiogenesDue
tygxc wrote:

@4887
As chess is a finite game, it can be solved.
Chess could be strongly solved to a 32-men table base with 10^44 legal positions.
Chess can be weakly solved in 5 years calculating 10^17 relevant positions.

Always trying to say these two things together as if they are equivalent.

#1 is proven by study.

#2 is complete conjecture, by you.

You can't float #2 on by along with #1...

Elroch

He claims it is achieved by ignoring all moves that have an evaluation below some number.

DiogenesDue
mikekalish wrote:
tygxc wrote:

[snip]

chess is a finite game

Can you support this?

If I might interject, I think that perhaps you are thinking that without the 50 move rule, endless repetitions can occur and so chess is therefore infinite and could not be solved...but in terms of solving, an endless repetition is simply a draw, and the calculations move onward.

In the case of tablebases, they are built going backwards from checkmate.  So, you cannot ever logically reach an endless repetition in a regression like this.  We're at 7 man tablebases right now, so for 7 pieces or less, if the position is *not* forced mate and not in the tablebase, it is therefore a draw.  Draws are inferred by exclusion.

tygxc

@4891
"I have never even seen an estimate of it"
I have shown one: The number of possible chess games lies between 10^29241 and 10^34082
https://wismuth.com/chess/longest-game.html 

However, all of that is irrelevant. The 50-moves rule plays no role at all in solving chess.

Solve chess without the 50-moves rule. The same solution applies with the 50-moves rule.

We have over 1000 perfect games with optimal play from both sides: ICCF WC draws.
In none of these was the 50-move rule invoked.
Average game length was 39 moves with standard deviation 14, minimum 16, maximum 102.
7-men endgame table base wins were allowed including those that exceed 50 moves without capture or pawn move, but no 7-men endgame table base wins were claimed.
7-men endgame table base draws were commonly claimed in 10% of games.

tygxc

@4893
"He claims it is achieved by ignoring all moves that have an evaluation below some number."
++ No, that is not what I said. The evaluation plays no role.
First it is obvious that weakly solving requires far less positions than strongly solving.
Losing Chess has been solved with 10^9 positions only, not 10^44.
"Next to brute-force methods it is often beneficial to incorporate knowledge-based
methods in game-solving programs."
https://www.sciencedirect.com/science/article/pii/S0004370201001527 
Knowledge:
1 a4 opposes less to the draw than 1 e4 or 1 d4
1 Nh3 opposes less to the draw than 1 Nf3
1 c3 opposes less to the draw than 1 c4
1 e4 e4 2 Ba6? loses by force and does not oppose to the draw
1 e4 e5 2 Nf3 Nc6 3 Nd4?, 3 Nxe5?, 3 Ng5?, 3 Nh4? do not oppose to the draw
1 e4 e5 2 Nf3 Nc6 3 Ng1 does not oppose to the draw: 3...Nb8 draws

DiogenesDue
2knight2morrow wrote:
Tgxc Optimissed btickles are all sooooo boringgggggt
my gooooooooddddddddddddddddddrd

Says the 1 day old sockpuppet.

It's a little bit like a gnat commenting on a picnic.  Do you really deserve to complain?

Mike_Kalish
btickler wrote:
 

If I might interject, I think that perhaps you are thinking that without the 50 move rule, endless repetitions can occur and so chess is therefore infinite and could not be solved...but in terms of solving, an endless repetition is simply a draw, and the calculations move onward.

THANK YOU! Someone finally addressed my question in a meaningful and helpful way. Your response sounds reasonable and my first inclination is that it's likely correct.....but I'm gonna think about it some more. 

Mike_Kalish
Optimissed wrote:

I do think that you and I agree that solving chess is more/less impossible. My view is that is so unless, by means of Real AI being developed some time in the future, it is found possible to write a set of algorithms that can reduce chess to mathematic equations which can then be solved. And that's a bit too pie-in-the-sky.

I think we need to be careful here. I'm not comfortable with "more/less impossible".  There's a big difference between something actually being impossible and being beyond human capability, and it appears we're conflating the two. 

 

Mike_Kalish

There's a theorem  that states that it's impossible to create a map such that more than 4 colors would be required to assure that no area on the map would share a boundary with  another of the same color. It's pretty simple to see that this is true, but no proof has ever been found, so we can't say it's impossible. It's just a theorem, not a proven fact....as intuitive as it may be. Proofs are tricky. You may think you know something and it may in fact be true, but unless there is an agreed on proof, claiming it as true is risky. That's why I'm so reluctant to accept the solvability of chess. stickler got me over one major hurdle a few posts ago....but I'm still a bit wary. 

MARattigan

Bit out of date there. 

mpaetz
Optimissed wrote:


No, you missed my point entirely. As long as we understand that infinity is a notional idea, it is also possible to use that idea metaphorically.

It obvously isn't claptrap, since it's a point of view, which is completely valid in a World that is not dominated by one ideational paradigm at the expense of all others.

     No, some things are large enough to be "close enough" to infinite to be considered so for practical purposes, or infinitesimally small enough to be indistinguishable by human standards. Others literally have no end, ever. Your concept conflates the two.

     As the point being discussed was whether or not chess is a finite game, the difference is material. There is indeed a limited number of positions in which the pieces can be placed on the board. (Many would be impossible to reach following the rules of play, further limiting the number of actual positions needing to be considered in a solution to the game.) Chess is a finite game as far as the calculations posters here are proposing.

DreamoSWord
This is sooo annoying.
DiogenesDue

It's always funny to watch people complain about threads they have the ability to skip by.  Do you habitually punish yourself?  It takes a certain lack of self awareness.

Provide some meaningful content of your own...bonus points if it is actually chess related.

SpaceVoidSuperEvil

You know chess will be solved.

It definitely will be.

We see all these movies about cyber technology.

Maybe, we'll develop super computer intellects and actually solve chess.

Typewriter44
tygxc wrote:

Losing Chess has been solved with 10^9 positions only, not 10^44.

What does this have to do with the solvability of chess? Different rules, fewer possible moves.

Elroch
stopvacuuming wrote:

i wonder how good the world would be if elroch and optimissed didnt waste their time and energy arguing over pointless topics

I half agree!