Chess will never be solved, here's why

Sort:
Avatar of MARattigan
Elroch wrote:

The difference is huge for a strong solution of chess, but not for a weak solution which merely has to achieve the optimal result of the starting position, not to successfully take advantage of blunders by the opponent. ...

1. That depends on the weak solution. The fact that there are weak solutions that include no repetitions doesn't imply that all weak solutions include no repetitions. I think most would (though there would exist a reduced solution for each that didn't). Nothing in what @tygxc has said so far includes any steps to eliminate either repetitions or blunders.

2. The difference may not be huge for many weak solutions, but that doesn't mean that it's not huge for any process for finding those solutions. A perfectly accurate player (both perfect and accurate) would not repeat a position that is winning for him. Stockfish will not only repeat winning positions but also repeat positions it thinks are winning (it does't know one way or the other of course). 

Here is a recent game I ran, Arena/SF15 v Arena/Rybka/Nalimov from a ply count 0 mate in 46 position.

SF15 has already blown it on move 9 under the 50 move rule.

Exercise for @tygxc: could he still win if the 50 move rule "didn't matter" but the triple repetition rule "did matter".

As you said earlier, @tygxc doesn't understand the difference between basic rules positions and competition rules positions. I'll have another go at explaining.

So @tygxc:

ARE YOU LISTENING?

I give two examples, both from the KR v K endgame to keep it simple.

In the above game the FEN in the final position is the same as the FEN in the initial position with the exception of the ply count and move number. Under FIDE basic rules chess since 2017 the remaining fields are sufficient to determine the possible continuations and hence the theoretical value of the positions .

The remaining fields are in fact all Tromp takes into account in arriving at his estimate of 4.82 x 10^44 legal positions, so he counts the two positions as the same.

Under FIDE basic rules since 2017 that is OK; both positions are a forced win for White and the positions can be counted as the same.

Under FIDE competition rules however, the initial position is a forced win but the final position is a draw because after 49...Kb1 White has no checkmate and Black can claim under the 50 move rule. Under those rules the positions must be counted as different. (If you don't know how to mate from the initial position you are safe to follow Syzygy, because there are no pairs of previous positions considered the same under art.9.2.)

The above shows a game and variation. If you check the FENs in the final position of both they are identical in all fields. Tromp also counts these two positions as the same.

Under FIDE basic rules since 2017, White is winning in both positions.

Under FIDE competition rules, however the final position in the main line is drawn by triple repetition after 4...Ka1, whereas the final position in the variation is winning for White (again you can follow Syzygy if you have difficulty). So again under FIDE competition rules the positions must be counted as different.

Notice also that if you're playing under competition rules and ask Syzygy for advice as Black in the final position of the mainline, it will tell you to play 4...Kc1 which loses rather than 4...Ka1 which draws. That's why you should stop insisting that Syzygy is a strong solution of 7 man positions under FIDE competition rules. It's not.

Of course, ICCF rules are something altogether different again.

Final exercise for @tygxc:: Find the smallest upper bound you can for the number of positions in the KR v K endgame under FIDE competition rules.

 

 

Avatar of MARattigan
charmquark314 wrote:
MARattigan wrote:
charmquark314 wrote:

That's not why. Solving chess, at least in the sense of strongly solving chess, would be to provide an algorithm that evaluates every legal position to "white mates with perfect play", "black mates with perfect play", or "draw", and provide a move that does not change that evaluation. (Since chess games have a finite length, said algorithm can consistently win any winning position, and force a draw in any drawn position.)

"Chess" denotes several different games each with its own set of solutions. Of the FIDE versions only games played according to the post 2017 competition rules are limited to a finite length. Games played under post 2017 basic rules or all pre 2017 rules are not.

That means that for the unlimited games simply providing a move that doesn't change the evaluation is not enough. E.g. for a position with this diagram (with the White king on one of the two squares shown) and White to play ...

an algorithm that recommends moving the king to the other square doesn't change the evaluation but also doesn't solve the position.

And strictly speaking the evaluation is necessary at most for drawn positions in the unlimited games. Just a move will do.

 No chess engine we have right now can do that. Such an engine's self-play would result in either consistent wins from one side, or consistent draws.

True, which is not to say a consistent result indicates perfect play. It may be the case that SF15 would draw against itself no matter how many attempts it made with less than geological think time per move from this Black winning position, for example.

 

(As opposed to a random legal move generator v SF15 which would probably achieve the mate in far fewer attempts than a monkey on a typewriter would need etc.) 

Yes, that does mean we have solved chess with up to 7 pieces on the board (an algorithm for that is available on this website).

'Fraid not. For example it doesn't do the final position in this competition rules game which is a mate in 16.

(Try using the top move it shows against the computer in "Analysis".)

 

Fair enough, I was referring to the current FIDE rules.

You aren't taking the 50-move rule into account. If you shuffle your king in the position you mentioned, you'd at some point be unable to mate within the 50-move rule, thus changing the evaluation from "white mates" to "draw". Hence my hypothetical algorithm would force mate in less that 50 moves in your given position to prevent a draw, which changes the evaluation.

Exactly why I said, "for the unlimited games", meaning games without the 50 move or triple repetition rules, e.g. FIDE basic rules chess since 2017. Under those rules you never reach a point at which the moves change the evaluation, so the moves are always perfect.

But the result isn't.

Using the website, you similarly have to take the 50-move rule into account.

Under FIDE competition rules that's true, but it still wouldn't be any use. E.g. starting with the king on h8, after ...

the site's top move (https://syzygy-tables.info/?fen=6K1/6R1/8/8/3k4/8/8/8_b_-_-_9_5) is 5...Kc5 which loses for Black when he could draw by 5...Ke5.

In that case it's easy to say at what point White's moves cease to be perfect (5.Kg8).

No, a consistent result does not indicate perfect play, but perfect play requires a consistent result. 

We're agreed on that. My comment wasn't intended to contradict what you said; just an observation.

 

Avatar of MARattigan
Optimissed wrote:

...

MAR cannot get away from his "chess consists of different sets of rules" ideas

...

Whereas @Optimissed thinks the rules don't matter and if you have a solution under tic tac toe rules that's all versions of chess solved.

Avatar of MARattigan
llama36 wrote:

You could solve it for the dark squares (just don't include any of the light ones).

Then solve it for the light squares.

Put the two solutions together and you've solved chess.

QED (quite easily done)

Easier still, solve it for the white pieces (just don't include any of the black ones). Black has no king to checkmate, so White can't win

Similarly solving for the black pieces, Black can't win.

Combining the solutions, neither side can win, ergo chess is a draw. 

QED.

Avatar of MARattigan
MARattigan  wrote:

So @tygxc:

ARE YOU LISTENING?

++No.

Avatar of Elroch
MARattigan wrote:
Elroch wrote:

The difference is huge for a strong solution of chess, but not for a weak solution which merely has to achieve the optimal result of the starting position, not to successfully take advantage of blunders by the opponent. ...

1. That depends on the weak solution. The fact that there are weak solutions that include no repetitions doesn't imply that all weak solutions include no repetitions.

True, but not relevant to the complexity of the problem. The problem is to find a weak solution (to solve chess) not to find all weak solutions or know anything about them.

(1) If your strategy aims to draw, repetitions of basic chess positions are to be expected. But whatever move your strategy says to play the first time you reach a basic chess position (or any time you reach a position for the first time) will do just as well. Thus you only need to consider basic chess positions when you define the strategy.

(2) If the starting position is a win and you have a winning strategy that ever repeats a basic chess position, the strategy can be simplified - i.e. play the move in your strategy for the given chess position + ply count that gets to a win most quickly (against most resilient defense) ignoring the history beyond that. This rule prevents repetitions. I think the ply count may be needed because you could get to the same position with two different ply counts via different routes and one of them may require a different continuation due to the possibility of a 50 move draw. [Of course the number of basic chess positions + ply count is only moderately larger on a log scale than the number of basic chess positions].

Avatar of Optimissed
MARattigan wrote:
Optimissed wrote:

...

MAR cannot get away from his "chess consists of different sets of rules" ideas

...

Whereas @Optimissed thinks the rules don't matter and if you have a solution under tic tac toe rules that's all versions of chess solved.


Since you don't understand the way that chess may be solved.

Of course, it's only hypothetical but the only reason you personally need reliance on the exactitudes of the rules is because you don't understand how chess MAY be solved and that the only way it may be solved means that the rules are irrelevant.

Avatar of Optimissed

I've been reading your writings, to some extent, as perhaps some others have too. I'm pretty sure that others feel the same as I do. You pretend expertise but never produce it. It seems like clever stuff but it also seems false and made-up. In particular it isn't what you do write but what you don't that gives the strongest impression. How do you respond to the criticism that thinking chess must be "solved" by analysing positions only as the most or only efficacious method is completely wrong?

It is wrong because given the nature of the analysis, each position must be analysed as if it's a portion of a game and that this means that the only efficacious method of solving is via games, which are composed of many positions, and that this means that the rules are unnecessary and that the legality of positions isn't a problem. So your sarcastic comment is completely off the mark. It doesn't excuse the fact that your ideas are untrustworthy, to say the least. Chess is to be solved in its pure form, using the basic rules of movement of the pieces. Then the result may be examined with regard also to less fundamental rules that do not affect the basic movements of the pieces. For instance, a 75 move rule can be applied and that may alter the solution. A three move repetition rule obviously doesn't and cannot alter it so that is irrelevant.

Avatar of BoardMonkey

Oh no! The thread has stalled. Shovel more coal into the firebox.

Avatar of Optimissed

No just wait and see. What's the point of having a thread with serious discussion, when no-one knows what they're talking about or are incapable of understanding the suggestions of others? Just a few iconoclasts talking at nobody and taking in people who drop by, for a while. The trouble is that the images they're breaking consist of anyone's ideas, who have anything positive to add. One person says it's impossible to know that 1. e4 e5 2 Ba6 loses. That may not seem so much but it actually means that no situation on the board can be assessed and therefore chess cannot be analysed with any hope of accuracy. Another is obsessed by the legality of chess positions, which is irrelevant: and yet another thinks it can be solved in five years.

Avatar of MARattigan

Indeed, what's the point of having a thread with serious discussion, when @Optimissed is contributing the majority of posts? (OK, possibly @tygxc, but same applies.)

Avatar of Optimissed


I'm the one attempting to steer it towards a serious discussion, whereas you are either a troll (most likely) or just incapable of engaging usefully.

If you were capable of engaging then you would respond to posts in a positive manner rather than doing what you're doing, which looks like trolling.

Avatar of MARattigan

But before you attempt to steer anything it's a good idea to understand where you're trying to go,

And before you accuse people of trolling it's a good idea to stop doing it.

Avatar of Optimissed

Towards a conversation where we explore the possibility of solving chess. Forget arguing with tygxc. Also, stop spouting reams of technical-sounding, irrelevant garbage, maybe?

Avatar of MARattigan

First understand what it means.

Avatar of Optimissed

After all, you're just branding as a troll anyone who has positive ideas and who is fed up with the dogmatic drivel spouted by several people here who should know better.

Avatar of Optimissed
MARattigan wrote:

First understand what it means.


What what means? Trolling, by any chance? Spamming?

Avatar of Optimissed

I have a good idea. Since you're so full of accusing others of ignorance, how about telling me (us) what "solving chess" means to you? In your own words.

Avatar of MARattigan
Optimissed wrote:
MARattigan wrote:

First understand what it means.


What what means? Trolling, by any chance? Spamming?

No, what "solving chess" might mean. Just read up on it and understand before posting. (Please.)

Avatar of Optimissed
MARattigan wrote:
Optimissed wrote:
MARattigan wrote:

First understand what it means.


What what means? Trolling, by any chance? Spamming?

No, what "solving chess" might mean. Just read up on it and understand before posting. (Please.)

Look, in words of few syllables, you haven't a clue. To make it worse, you're a troll. If you knew what you were talking about you might prove it. I suggest you don't read up, don't post links. But in words you can understand, explain what YOU think solving chess may mean.

I don't need to read up on it and I may even disagree with what I read if I "read up" on it. That's because there's a lot of people, like you, who think they understand but they understand sh!!!!!.

So why don't you commit yourself, for once, to trying to relieve the impression you give me, which is that you haven't much of a clue? You understand a bit about computers sure. But thinking logically seems not to be your forte.