Chess will never be solved, here's why

Sort:
tygxc

@5519
"a solution awaits the development of much better engines or a breakthrough in methodology"
++ We already have engines that calculate a billion positions per second.
We already have a methodology.
Start from ICCF drawn games, explore 3 alternative lines at each white move.
Stop calculations when the good assistants determine an obvious draw or loss.
The 10^17 relevant positions can be done in 5 years.
If you deny the good assistants,
then it may well become 5 million years of irrelevant calculations.

tygxc

@5494
"That is why the solution of checkers took years of computing."
++ No. Schaeffer spent most of the 19 years to write his own checkers-playing program Chinook and construct his own 10-men endgame tablebase. The real solving was from 2001 to 2007.
Schaeffer used less powerful computers than are available now.

Schaeffer only analysed 19 of the 300 tournament openings, needed to prove Checkers a draw.

Checkers is a smaller game than Chess or Losing Chess. 
Checkers and Losing Chess have more irreversible moves than Chess.
Corrollary: Chess has more stupid moves.
In Chess you can hop around aimlessly, not so in Checkers or Losing Chess.
Corrollary: To solve Chess it is necessary to eliminate the stupid moves.

The good assistants are indispensable. That is why GM Sveshnikov named them first:
'Give me five years, good assistants and the latest computers
- I will bring all openings to technical endgames and "close" chess.'

Elroch
tygxc wrote:

@5494
"That is why the solution of checkers took years of computing."
++ No. Schaeffer spent most of the 19 years to write his own checkers-playing program Chinook and construct his own 10-men endgame tablebase. The real solving was from 2001 to 2007.

1. The tablebase is the largest part of the solution (but computationally cheaper per step than the proof tree).

2. 2001 to 2007 is "years". 6 or 7 of them
Schaeffer used less powerful computers than are available now.

You don't say? wink.png

Schaeffer only analysed 19 of the 300 tournament openings, needed to prove Checkers a draw.

Checkers is a smaller game than Chess or Losing Chess. 

You think anyone here does not know that? That is why checkers has been solved but, applying exactly the same standards, chess is beyond practical reach.
Checkers and Losing Chess have more irreversible moves than Chess.

Correct. Yet checkers required about N^2/3 nodes, where N is the number of states. If only they had been able to just ignore loads of those based on inadequate heuristics, like you suggest!
Corrollary: Chess has more stupid moves.

Where is your proof of that ridiculous claim?

In Chess you can hop around aimlessly, not so in Checkers or Losing Chess.

False. First of all "aimlessly" is a meaningless term only suitable for obfuscation. In every position there are moves that preserve the result and there are blunders.

There are also moves that are reversible. In checkers, the majority of positions where each side possesses at least one king are reversible.

[Note: some reversible moves are blunders. This is where a reversible move allows the opponent to choose a line that avoids a cycle and which achieves a better result].

Corrollary: To solve Chess it is necessary to eliminate the stupid moves.

This is drivel. Solving chess involves RIGOROUSLY showing moves to be "stupid", not relying on confident guesses based on unreliable evaluations. This is too hard a point for you to understand.

The good assistants are indispensable. That is why GM Sveshnikov named them first:
'Give me five years, good assistants and the latest computers
- I will bring all openings to technical endgames and "close" chess.'

Sveshnikov was a chessplayer, interested in pragmatic levels of confidence, not in solving chess rigourously. He understood the distinction, unlike yourself.

Your entire argument is
(1) we can't solve chess in the sense chequers and all other solved games were solved. 

(2) so we should redefine what "solved" means

(3) Now we can "solve" chess. Success!

This is yet another example of someone arguing about semantics and failing to understand they are not arguing about objective truth.

MARattigan
tygxc wrote:

@5495
'Who gets to judge what is/is not "stupid"?'
++ The 3 (ICCF) (grand)masters. That is why they are necessary.
Examples of what is stupid:
1 g4?
1 e4 e5 2 Ba6?
1 e4 e5 2 Nf3 Nc6 3 Ba6?
1 e4 e5 2 Nf3 Nc6 3 Nd4?
1 e4 e5 2 Nf3 Nc6 3 Nxe5?
1 e4 e5 2 Nf3 Nc6 3 Ng5?
1 e4 e5 2 Nf3 Nc6 3 Nh4?
We know all of these lose by force.
It is a lot of irrelevant work to calculate all of these until checkmate in all variations.
It is waste of engine time.

Your proposed vehicle SF15 doesn't know that any of those lose by force. Neither do you or your handmaidens.

There is a strong chance that the result if continued in LLC (limited lookahead chess) would be decisive. They would all appear to oppose against the draw in that game.

Incidentally no show yet for your calculation of the theoretical result and error rates in my games here. Are you still working on it?

Once you've done that we can stop discussing your proposal.

It doesn't work.

tygxc

@5534

"applying exactly the same standards, chess is beyond practical reach."
++ Schaeffer only analysed 19 of the 300 tournament openings.
Checkers has less stupid moves than Chess, so solving Chess needs a way to dismiss those.

"If only they had been able to just ignore loads of those based on inadequate heuristics"
Checkers is more tactical, so calculation is enough. I advocate adequate heuristics only.

"aimlessly" is a meaningless term only suitable for obfuscation.
1 a4, 1 e4 e5 2 Ba6?, 1 e4 e5 2 Nf3 Nf6 3 Ng1 are examples of aimless.

"In checkers, the majority of positions where each side possesses at least one king are reversible." ++ That is correct, but 1) many positions have no king at either side, and
2) many of those that have a king are in the table base.

"Solving chess involves RIGOROUSLY showing moves to be "stupid""
++ That is why Sveshnikov called for GOOD assistants, e.g. (ICCF) (grand)masters.

"Sveshnikov was a chessplayer" ++ And even more a chess analyst and a teacher of analysis.

(1) Chess is a different game, and thus requires a different solution,
part like Checkers, part like Losing Chess, part like Connect Four. 

(2) We adhere to the definition:
'weakly solved means that for the initial position a strategy has been determined to achieve the game-theoretic value against any opposition'
'the game-theoretic value of a game is the outcome when all participants play optimally'

A strategy can mean a full or partial calculation like Checkers or Losing Chess,
but also a set of rules like Connect Four, or a combination of both.

tygxc

@5535

"doesn't know that any of those lose by force"
++ I know all of these lose by force. Any real chess player knows. The ICCF (grand)masters know.

"They would all appear to oppose against the draw in that game."
++ Playing for a loss is not opposing to a draw. Opposing to a draw is trying to win.

MARattigan
tygxc wrote:

@5535

"doesn't know that any of those lose by force"
++ I know all of these lose by force. Any real chess player knows. The ICCF (grand)masters know.

...

That, as @Elroch would point out, is merely a difference in semantics. You use the word "know" to mean what everyone else means by "guess". That difference means that what you know is not necessarily true.

But still no show yet for your calculation of the theoretical result and error rates in my games here. Are you still working on it?

Once you've done that we can stop discussing your proposal.

It doesn't work.

Does the fact that it's not appeared mean you've already done it and reached the same conclusion, but you still post because you like to troll?

tygxc

@5540
I do not work on positions of 7 men or less. Those have been strongly solved by the 7-men endgame table base. Do not tell me about castling rights. In practice when a 7-men endgame position is reached, castling rights are lost.

Elroch
tygxc wrote:

"... In practice ..."

Induction from a tiny sample of imperfect examples.

MARattigan
tygxc  wrote:

...

(2) We adhere to the definition:
'weakly solved means that for the initial position a strategy has been determined to achieve the game-theoretic value against any opposition'
...

I already pointed out that it would take hardly any time to post a solution according to that definition, I don't need to talk about how sane your interpretation of "any opposition" is.

What do you need the supercomputers for?

Incidentally still no show yet for your calculation of the theoretical result and error rates in my games here. Are you still working on it?

Once you've done that we can stop discussing your proposal.

It doesn't work.

Does the fact that it's not appeared mean you've already done it and reached the same conclusion, but you still post because you like to troll?

MARattigan
tygxc  wrote:

@5540
I do not work on positions of 7 men or less. Those have been strongly solved by the 7-men endgame table base. Do not tell me about castling rights. In practice when a 7-men endgame position is reached, castling rights are lost.

I've just realised this was meant to be a response to my post.

A reference to the user to whom you are responding would be useful. A reference to a user with a 400 rating is not so useful.

The fact that you do not work on positions with 7 men or less is quite irrelevant to my point and you do not work on positions with 7 men or less only because the facts can be checked in those positions.

The calculations to determine the starting position and error rates that you have many times posted make no mention of the number of men on the board, so if they're valid for 32 men they should be also valid for 5 or 7 or 26. I have asked you to check in the series of games I posted here as well as the earlier KNNKP games I posted.

It would save an awful lot of effort because we can all then stop discussing your proposal. Why don't you do that and post the results?

(II won't - and didn't - tell you about castling rights.)

Mike_Kalish

"doesn't know that any of those lose by force"
++ I know all of these lose by force. Any real chess player knows. The ICCF (grand)masters know.

 

I don't pretend to understand the theory being discussed in this thread, but this response seems rather weak to me...... kind of like "Because I said so".  Many people "knew" the earth was flat and the sun revolved around it. And some of those people were pretty smart.....otherwise. 

tygxc

@5546

"A reference to a user with a 400 rating is not so useful."
++ There is no threshold of rating or college degrees.

"positions with 7 men or less only because the facts can be checked in those positions"
++ Yes, some positions of 7 men may be useful to check facts, e.g. endgames KRPP vs. KRP.

"they're valid for 32 men they should be also valid for 5 or 7 or 26"
++ Yes, from 32 to 8. You can use 7 too for verification.

"earlier KNNKP" ++ Not relevant. A draw is claimed in 7 men, so 5 men is never reached.

Elroch
MARattigan wrote:
tygxc  wrote:

@5540
I do not work on positions of 7 men or less. Those have been strongly solved by the 7-men endgame table base. Do not tell me about castling rights. In practice when a 7-men endgame position is reached, castling rights are lost.

I've just realised this was meant to be a response to my post.

He did refer to the number of the post but erroneously added an @ before it.

Unfortunately, the link function is one of the things that has just been broken by chess.com in their latest random vandalism on the code (the post delete button also vanished). Now the link is (uselessly) to the page, rather than to the post.

tygxc

@5547
"Because I said so"
++ Indeed, I said so before. I repeat:





MARattigan
tygxc wrote:

@5546

"A reference to a user with a 400 rating is not so useful."
++ There is no threshold of rating or college degrees.

I didn't say there was, I just pointed out the reference is not so useful (unless you're hoping the user you're responding to won't notice).

"positions with 7 men or less only because the facts can be checked in those positions"
++ Yes, some positions of 7 men may be useful to check facts, e.g. endgames KRPP vs. KRP.

"they're valid for 32 men they should be also valid for 5 or 7 or 26"
++ Yes, from 32 to 8. You can use 7 too for verification.

So why don't you, as requested, do just that?

"earlier KNNKP" ++ Not relevant. A draw is claimed in 7 men, so 5 men is never reached.

Where does it say that in the FIDE handbook?

 

tygxc

@5544
"What do you need the supercomputers for?"
++ They do the bulk of the work: 3 engines, 5 years, 24/7.
The 3 good assistants work 5 years, 40 h/week to launch the calculations and to occasionally terminate them in case of a clear draw or loss so as to save engine time.

tygxc

@5551
"Where does it say that in the FIDE handbook?"
++ All positions with 7 men or less are already strongly solved (apart from castling rights, which in practice are lost in a 7-men position.)
The over 1000 perfect games with optimal play from both sides we have from the ICCF world championship finals never go to 7 men: they claim an endgame teblebase draw.
Weakly solving Chess does the same.
Weakly solving Checkers did the same.

MARattigan
tygxc wrote:

@5544
"What do you need the supercomputers for?"
++ They do the bulk of the work: 3 engines, 5 years, 24/7.
The 3 good assistants work 5 years, 40 h/week to launch the calculations and to occasionally terminate them in case of a clear draw or loss so as to save engine time.

The whole of the work, using your definition of "weakly solve" (or "strongly solve") can be comfortably done by one human in less than an hour. Again, why the supercomputers?

Incidentally no show yet for your calculation of the theoretical result and error rates in my games here. Are you still working on it?

Elroch

Good news: both of the forum bugs recently introduced (the missing delete button and the broken link button functionality) have been fixed in the last 12 minutes!