Chess will never be solved, here's why

Sort:
Avatar of Elroch
MARattigan wrote:

[snip

Of course not "any legal moves".

This is a frustrated win under competition rules.

White to play

White can win against any legal moves but he can't win against any legal moves and draw claims.

You will find I have already provided the answer to this.

When solving games you can either include draw claims as legal moves that end the game or make the draws automatic. It doesn't matter to solving the game which one you do (a strategy that is trying to win that repeats moves can either be improved by avoiding a pointless return to a position already visited.  It's like if you win a game over the board after repeating positions once, you could have won more quickly by a more direct route.

Avatar of Optimissed

It's definitely a problem regarding solving chess .... when to call the draw? After a long time or a very long time?

Perhaps there is no point even attempting it without an algorithm, written by AI, that turns chess into discrete mathematical units, to be analysed further.

Avatar of Optimissed
btickler wrote:
Optimissed wrote:

He means you, btickler. You're the troll.

You can keep pretending he isn't talking to both of us, but it makes you look pretty oblivious.  The difference between us is you confront all kinds of posters.  I confront people who confront other people ...and I do it in a measured and non-abusive manner.

Mike was probably being polite. Even your concession that he was talking to both of us is completely astounding, however.

Avatar of mpaetz
Optimissed wrote:

Ah so you were the fount of wisdom here all along and didn't let on. I really had no idea you're so multi-talented!

    No, that would be your constant claim. I have proposed no method to make the solution easier. I have said that a solution awaits the development of much better engines or a breakthrough in methodology.

Avatar of MARattigan
Elroch wrote:
MARattigan wrote:

[snip

Of course not "any legal moves".

This is a frustrated win under competition rules.

White to play

White can win against any legal moves but he can't win against any legal moves and draw claims.

You will find I have already provided the answer to this.

When solving games you can either include draw claims as legal moves that end the game or make the draws automatic. It doesn't matter to solving the game which one you do

My comment was about why van den Herik would use the phrase "all opposition" rather than "all legal moves".

In chess the term "legal move" is defined in art.3 of the FIDE handbook and is distinct from "legitimate move". Not all people would understand "legal move" to mean a transition between consecutive legitimate game states. Not all people would class a draw claim as a move.

As you say, " you can either include draw claims as legal moves that end the game or make the draws automatic" in your abstract rules, but it's false to say that it doesn't matter which.

With an automatic draw claim a solution would be a strategy for one or both players that did not include a recommended draw claim at any point.

If the draw claim is not automatic and the game theoretic result is a draw, the solution for one or both of the players could include recommendations to claim a draw at some points.

The game trees would be different and the solutions in the two cases could be different.

(a strategy that is trying to win that repeats moves can either be improved by avoiding a pointless return to a position already visited.  It's like if you win a game over the board after repeating positions once, you could have won more quickly by a more direct route.

Agreed, but I don't see how it relates to my comment. I posted a ply count 0 position.

 

Avatar of DiogenesDue
Optimissed wrote:

Mike was probably being polite. Even your concession that he was talking to both of is is completely astounding, however.

Lol, only to you.  Part of the delusion.  I am routinely more aware of things.  Even now, you feel like MikeKalish was *mostly* talking about me...

Let me give you a little insight.  When people do try to talk to me about you, they say things like "you should stop picking on him" or "why do you lower yourself to his level?".  The answer is that I treat you as an equal by default.  Always have.  You are still, in spite of all evidence to the contrary, capable of change.  You could decide to stop insulting people around you.  You could decide to stop pontificating on topics you have no expertise in and then trashing those who do have expertise.  You could decide to stop pretending there's a cabal of posters in cahoots to take you down.  In a general sense, I expect better of people because I believe they are capable.

You are quite the opposite...nobody is your equal, and you expect everyone to acknowledge that or you immediately dislike them.  How many times just in recent weeks have you said something like "I thought you were [some attribute], but now I realize [something derogatory about the target]" to somebody after they have come out in direct disagreement with you?  Nervesofbutter is one example, there are more.  It's petty and small-minded, ultimately. 

You'll notice over time if you were to pay attention that whenever you say something, it's usually about the person, when I say something, it's usually about the behavior or mindset.  That's the difference between making a pointed observation in an attempt to get someone to see something about themselves without rancor (the latter), vs. being bitter and vengeful (the former).

Avatar of vikric
Chess will be solved eventually. Perhaps not quickly but given enough time chess is already solvable.
Avatar of MARattigan

@btickler @Optimissed

Could you boys not do that stuff via messages?

It's taking me ages to find the posts I'm looking for.

Avatar of MARattigan
mpaetz wrote:
Optimissed wrote:


The entire project of solving chess depends on rejecting bad moves and using good ones. A decent algorithm needs to be written, because I'm afraid that tygxc's "three grandmasters on ice skates" just doesn't cut it. Real AI needs first to be developed in order to write the algorithm.

Nice try.

     No, solving chess involves finding out whether or not there are any lines that will win by force from the initial position for either side no matter what the opponent might try.  ...

That is an ultra-weak solution as @Omnipissed rather surprisingly points out. He must have run out of wine.

A weak solution is finding the lines themselves (or a strategy for producing them which amounts to the same thing) or finding lines for both sides that prevent a win by the opponent from the initial position no matter what the opponent might try.

It would be easy to post such a solution or even a strong solution.

The critical factor, and what is being discussed, is time, which is referred to only in the definition I posted  somewhere on the thread (now lost in the mists of @Optimissed's IQ). It should also have mentioned space, but at least it was more relevant.

Avatar of DiogenesDue

Let me spell it out.  These confrontations can and should end, just as soon as the mods/staff do something about it.  If they don't care about the forums, then the spirit of the ToS will keep getting violated in perpetuity.  If they do care, then they will start to enforce the ToS, including namecalling.  When that happens, I (I can only speak for myself here) will no longer have need of confronting such behavior.  Until then, you're going to have to suffer through it. 

As I mentioned previously to MikeKalish, you can make this go faster by reporting namecalling and verbal abuse.  You can report Optimissed if you don't like the namecalling and verbal abuse, or you can report both of us for spamming/arguing too much.  Either way.

Avatar of Mike_Kalish
btickler wrote:

\

As I mentioned previously to MikeKalish, you can make this go faster by reporting namecalling and verbal abuse.  You can report Optimissed if you don't like the namecalling and verbal abuse, or you can report both of us for spamming/arguing too much.  Either way.

As a staunch believer in free speech, I would always prefer to see problems involving speech solved voluntarily rather than by enforcement. If it doesn't rise to the level of vulgarity or serious threats, I likely would choose not to report it. 

Avatar of Optimissed
NervesofButter wrote:
mpaetz wrote:
Optimissed wrote:

Ah so you were the fount of wisdom here all along and didn't let on. I really had no idea you're so multi-talented!

    No, that would be your constant claim. I have proposed no method to make the solution easier. I have said that a solution awaits the development of much better engines or a breakthrough in methodology.

Finally a post i can relate to.

He seems to have taken those words straight out of my mouth, since I have always said that, in those words. I know I like people to learn but that seems a bit much, all the same.

Avatar of tygxc

@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.

Avatar of tygxc

@5513
"the only real solution is a calculation to checkmate or a draw in all possible lines"
++ Do you really think it is relevant to calculate all possible lines of 1 e4 e5 2 Ba6? to checkmate?
++ Do you really think it is relevant to calculate all possible lines of the final position of https://www.iccf.com/game?id=1164259 until a 3-fold repetition?

'weakly solved means that for the initial position a strategy has been determined
to achieve the game-theoretic value against any opposition'
A strategy is not necessarily calculate all possible lines.
Allen has solved Connect Four by calculating all possible lines.
Allis has independently solved it with a set of 9 knowledge rules.
A strategy could be 'answer 1 e4 with 1... e5, then 2 Nf3 with  2...Nf6, 1 d4 with 1...d5, 1 c4 with 1...c5, 1 Nf3 with 1...Nf6', but could also be 'maintain symmetry as long as possible'
A strategy could be 'analyse all possible lines', but also 'analyse all possible lines, but when a material advantage is there, trade material to remain with a passed pawn, queen it, and checkmate with it.'
A strategy can be a combination of calculation and knowledge rules.

Avatar of 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.

Avatar of 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.'

Avatar of 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.

Avatar of 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.

Avatar of Optimissed
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.



That's quite correct and is an example of why the so-called strong solution is completely useless.

However, there is a grey area, where moves may be good but probably are not. Three GMs with their binoculars are not going to spot those birds in the half-light, in five hundred thousand years, let alone in five years.

Avatar of Optimissed
MARattigan wrote:

@btickler @Optimissed

Could you boys not do that stuff via messages?

It's taking me ages to find the posts I'm looking for.


I know. I don't read his posts though. Gave up reading them nearly a week ago so I have no idea what he's on about but I admit to occasionally irritating him. I'm a slow learner. Should have done it a year since.