Chess will never be solved, here's why

In other news, the Chinese national table tennis team has solved table tennis.

Reliable in principle, utterly impossible to do thoroughly in practice!

@10294

Just one example of perfect play: 38 moves, starts from the initial position,
ends in a 7-men endgame table base draw.

https://www.iccf.com/game?id=1360155

Another crackpot reveals themselves...

I wonder for how Few pieces the tablebases have actually solved for !
Even to 'solve' for how many possible positions (not whether they're wins or not) with just two Kings and one piece or pawn on the board - isn't that straightforward for a human being.
Its going to take you some time to allow for the fact that the Kings can't be adjacent and that either or both Kings might take a square or two from a pawn of either color.
But if you've taken care of that - all such positions of three men are legal apparently.
Not so with four. Which would start to get really involved for a human.
Could take quite a while.
Hours and hours perhaps just to calculate the number of the total possible legal positions.
Let alone solve them.
Some positions are illegal because there was no legal means to get there.
But it may take a lot of men for that.
Still - the computers will have to check for that too ...

I don't accept friend requests unless I have seen you posting for years and think we have something in common. Don't bother trying to send one if we have not directly interacted. Ditto for challenges and club invites. I also don't accept any "forum rage" game challenges, ever. Your arguments will just have to stand on their merit

Yes, many people who also don't believe in the moon landings (and lots of other stuff) have tried to interact with me over the years. So, on occasion I have had to deal with repeated PMs, friendship requests, game challenges, etc. from crackpots that don't like having their submarines torpedoed and sunk.

There are reflectors installed on the moon surface that you can use to prove to yourself that the moon landings occurred. But you won't, because crackpots don't actually want to know the truth about things.

Reflectors installed on the moon? holly wood! Lol

What do you plan to come up with next?

The earth is flat?

You (or rather a competent scientist with the necessary equipment) can SEE the reflectors on the Moon by shining a laser at them and seeing the reflected light through a telescope about 2.55 second later.

There's no essential need to exclude unreachable positions. They are just not as useful.

A flat earther would actually be agreeing with you....no moon landings.

But you are just arguing

And you're just tired, if your username is to be believed.

I can explain how to do such estimations properly using Bayesian reasoning, but the thing that is blatantly obvious to anyone is that with any reasonable assumptions it is NOT very close to zero. It is a very naive blunder to think that a small amount of uniform empirical data implies uniformity in a much larger sample.

you dont know that its perfect play, try again. you have no evidence that other moves werent better.

prediction. appeal to ignorance fallacy

@10304

"it is NOT very close to zero." ++ It is not zero, otherwise the 17 ICCF (grand)masters would agree to a draw in all 30 ongoing games. There are external factors: illness, accident, fire, flood, earthquake, meteorite, power blackout, computer crash, war, revolution...

"a small amount of uniform empirical data implies uniformity in a much larger sample"
++ Now 106 games are drawn, 30 games are ongoing.
Place your bet on at least one of the 30 ongoing games ending decisively.

That's right Elroch.
But to 'solve' chess - I believe the computers should be determining whether a legal position is legally unreachable - and also whether a position is illegal.
'Rigor' begins to collapse if you're going to allow or not determine that a position is illegal or unreachable legally.
Issue: have the computers Rigorously solved for four men?
I doubt we'd get that info out of tygxc.
(but he's still a good man nonetheless)
-----------------------------------------------
My guess: computers have Rigorously solved for four and five men but not six.
Where 'Rigorously solved' - well just Solved should be verbally enough but Rigorously is added because chess is a mathematical game with perfect initial information (unlike poker) so therefore 'Solving' should be Rigorous also. Perfect. Also.
Poker computer projects - well you'll find they're statistical.
Poker computers play against humans.
Can/do they beat the top human players?
I don't know. Can they bluff the way humans do?
I don't know.
Guess: Rigorous solving of chess only goes up to five men on the board.
Not 8.
Yes maybe that's going to be looked up.
But the projects maybe wouldn't like to make that kind of thing public.

Tygxc has also never addressed the fact that exclusion criterion must each also add to the calculation time for each position evaluation. The time savings are far from the 100% assumed by Tygxc's faulty formula, whether the criteria involved are checked in-line or in a separate process (in which case, just the calculation of which positions are skipped while traversing also requires processing time).

But to 'solve' chess - I believe the computers should be determining whether a legal position is legally unreachable - and also whether a position is illegal.

Illegal means legally unreachable from the starting position by a series of legal moves (both in common sense - assuming you consider only the starting position and positions after a move is made - and as defined in the FIDE laws). By definition, a position cannot be a legal position and legally unreachable if the terms both apply to the same starting position.

As Elroch points out, it's not necessary to exclude illegal positions to solve chess with any number of pieces so long as all legal positions are included (and that while sufficient is far from necessary under competition rules - read on). If you're asked to solve a maths problem for your homework and you hand in a rigorous proof but also rigorously prove Goldbach's conjecture, nobody should complain. It doesn't diminish the rigour of your proof of what you were asked to prove.

In fact the vast majority of illegal positions are excluded (see this). The excluded positions are all illegal also in FRC. A practical algorithm to completely determine what positions are illegal from either all or particular FRC positions or just from the standard chess starting position is not currently known.

The tablebases don't rigorously solve any number of men above 2, because they don't include all legal positions (no positions with castling rights are included). I think you can say (vacuously) that two men tablebases include all legal positions; as far as I know, nobody has published a KvK tablebase, on the grounds that all positions are already drawn.

Also "position" needs to be understood in the context of which rules are in force. A position is simply a situation occurring; a chess position a situation occurring in a game of chess. As such it has a large number of attributes.

For the purposes of solving chess most of these attributes, such as White's granny has just got her new set of false teeth, are irrelevant. Only a set of attributes that fully determines what game continuations are valid need be considered and for theoretical purposes only those that can be defined in terms of the rules (and many of those, such as Black has previously adjusted a knight's position after saying, "j'adoube", or any history, or any history prior to the last time the ply count was set to 0, depending on the game rules, that is not needed to determine the castling rights or e.p. status, are also irrelevant, as are clocks and arbiters and similar which are just too inconvenient to incorporate into solving - effectively solving under competition rules really means solving under pre 2017 basic rules).

The FEN appears to have been an attempt to collect a set of attributes that fully determine what game continuations are valid, but an unsuccessful attempt even under FIDE basic rules at the time it was specified. It doesn't take account of the triple repetition rule, so positions under current FIDE competition rules with the same FEN don't in general have the same valid continuations (and the same was true under both FIDE basic and competition rules prior to 2017). It is successful for basic rules chess since 2017 (but its ply count attribute is irrelevant in that game).

For competition rules chess a PGN from the last position with ply count 0 under the 50/75 move rules is sufficient to determine forward play because no position occurring before the event which set the ply count to 0 (which could be start of game) can be subsequently eligible as a repetition under art 9.2.2 (which specifies a reduced set of FEN attributes for determining repetitions; if you accept Leibniz's identity of indiscernibles there cannot be an actual repetition of position in a game). It can contain redundant information because all that is needed is the board layout, side to move, castling rights, e.p. possibility (i.e. FEN less move number and ply count) and repetition counts for the positions that have occurred when a move has been made since the last time the ply count became 0, and there could be multiple PGNs of the type suggested that result in the same attributes. It is what a program requires over the UCI interface for correct operation (though it will accept a FEN for not necessarily correct operation).

Luckily, for a weak solution of chess, a tablebase for competition rules needs only weakly solve all ply count 0 positions because a ply count 0 position with any given material will always occur before any position with the same material and a positive ply count, which renders the latter unnecessary. So for a competition rules tablebase (i.e. Syzygy at the current time) only a very VERY tiny percentage of all legal positions is actually considered. A tablebase for a strong solution would need to cover all positions and I think such a tablebase even for KRvK would be totally impracticable.

The Nalimov tables, which are only guaranteed to work in basic rules chess, do indeed provide a strong solution in that game of each of the positions covered. (In principle at least. That assumes that the results have been adequately checked. I think you're probably safe up to 5 men at least.)

I have to correct you on one point there, @MARattigan. In a University maths exam (I am having trouble recalling if it was in the final year of my degree or in my MMath), I answered the necessary number of questions in what I thought was a perfect way in an exam on one of my best subjects and had a lot of time left, so I reconstructed the proof of another major result from the course (a likely question that had not come up) and handed that in as well for no good reason. I got a complaint in person about this from the person who set the exam and he told me I was lucky not to have been docked marks for this strange behaviour,