Chess will never be solved, here's why

Sort:
Avatar of DiogenesDue
Optimissed wrote:

Oh yes, so you're contesting what is told on account of the language used to tell it? I don't think that quite works, sadly for your assumption.

"Old bean" and "old thing" are completely extraneous to the discussion and only serve to deflect from the fact that you had no answer for my previous post.  It's a common tactic...more common among the general public than claiming mental superiority, actually wink.png.  Your use of "contesting what is told" is a contortion you chose to avoid saying "contesting my argument", because then this answer which I am giving now becomes blatantly obvious...it's not part of your argument.

Carry on.

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


I was also going to explain why game theory cannot apply to the solving of chess... [snip]

Go on, give us a treat. Perhaps afterwards you can explain why number theory does not apply to the number 213276247234766621.

I think @Optimissed might be right this time.

Under FIDE laws possible yields include but are arguably not restricted to (win,loss), (loss,win), (draw,draw), (win+draw,loss+draw), (loss+draw,win+draw), (win,win), (win+draw,win+draw) and (arbiter determined) without any ordering specified. The objective is checkmate but that cannot be forced except from positions that are already checkmate.

What part of game theory would apply?

Still thinking about 213276247234766621; don't tell me. It's not prime but it has abnormally few factors.

While I understand that you are being light-hearted, you understand that "solving chess" refers unambiguously to the abstract game of chess (or, to be precise, a version of it defined by the relevant rule set), which has no time limits, nothing happening off the board, but may include well-defined rules such as the option (or obligation) to claim a draw in an n-times repeated position, or when the 50 move rule applies.

No arbiters ever the chance to get involved any more than they do in the solution of tic-tac-toe  - the only laws involved are those that govern legal moving and results.

If I recall, the only appeal to game theory that has taken place in this forum was to a general theorem that applies to a class of games to which chess belongs. Given the definitions:

  1. A (pure) strategy for a side is defined as a procedure that generates a move for any legal position (note that a mixed strategy is one where it may vary the chosen move in a position, but we don't need these).
  2. The value of a strategy is the minimum of the values it achieves against all opposing strategies
  3. An optimal strategy for a side is a strategy that achieves the maximum of the values of all strategies for a side

then there exists an optimal strategy for each side and these strategies achieve the same result.

I'd like this theorem to be trivial, but when trying to show it was, I convinced myself it is not quite! The theorem seems to rely on the fact that every game is finite, for example.

My point is that "chess" generally refers to one of the games defined in the FIDE laws.

No, not when SOLVING chess. This is about the abstract game.

Because they allow for resignation and agreed draws

Both completely irrelevant to solving chess, just ways to save time in real, imperfect games before the rules decide the result.

which occur asynchronoulsy with the moves and the results are are not prioritised in terms of win draw or loss either beteen themselves or with the results of completed moves, the possible results have no defined order. Is (win,win) for White better or worse than (win,draw) or (win,loss)?

There are exactly three results of a game

WIN > DRAW > LOSS

ok?

You say:

"1. A (pure) strategy for a side is defined as a procedure that generates a move for any legal position ..."

Where do claims come in? Those are part of chess.

To solving chess, you can assume all claims occur by the player they favour. Equivalently, you can assume an automatic result. It's not about competitive play.

A good strategy should generate a draw claim under the 50 move rule at some point if the opponent has a frustrated win. (It should also accept a draw offer in a losing position, but that would be extending the meaning of "solution".)

No, that would simply be part of the solution. A side aiming for a draw claims the draw when it occurs (or equivalently for solution, it is automatic).

2. The value of a strategy is the minimum of the values it achieves against all opposing strategies.

There can only be a minimum if the results are ordered. They're not under FIDE rules.

I have no idea what you are thinking about. WIN > DRAW > LOSS.

Ergo game theory doesn't apply to chess.

A false conclusion based on erroneous thinking I can't fathom.

It could as you say be applied to abstract version of "chess" that differ only marginally from the FIDE games.

That's the chess that is relevant to solving chess. It ain't about imperfect tournament and match play (FIDE's preserve)

But you define only a solution. If you want to propose finding a solution using existing software (as does @tygxc) the software will implement a concrete version of chess which also differs marginally from FIDE.

What you really mean is that FIDE differs from chess.

 

Avatar of Optimissed
btickler wrote:
Optimissed wrote:

Oh yes, so you're contesting what is told on account of the language used to tell it? I don't think that quite works, sadly for your assumption.

"Old bean" and "old thing" are completely extraneous to the discussion and only serve to deflect from the fact that you had no answer for my previous post.  It's a common tactic...more common among the general public than claiming mental superiority, actually .  Your use of "contesting what is told" is a contortion you chose to avoid saying "contesting my argument", because then this answer which I am giving now becomes blatantly obvious...it's not part of your argument.

Carry on.


Virtually all your posts are extraneous to the dicussion, what there is of it. It isn't a very useful discussion, mainly consisting as it does of heads in the sand. You make more personal attacks than the rest of the thread put together and that includes Elroch. This is a personal attack by you.

Avatar of Optimissed
btickler wrote:

There's a difference between game theory and combinatorial game theory, as I pointed out long ago.  The entire reason that combinatorial game theory came to be is because of the distinction between the two directions each travels in.

Elroch said:

Game theory does not deal with probabilistic outcomes in games like chess (deterministic, perfect information).

I fail to see how that means he is championing game theory as the key to solving chess.  What I do see is that deciding that chess is *not* a game of perfect information is an attempt to turn the solving of chess into a religious belief.  It's objectively a game of perfect information.  The capability of human beings to absorb that perfect information does not factor in.

Yes, you fail to see just about anything that seems convenient for you. I'm going to show you up for what you are ... a troll, who started a series of personal attacks over something insignificant, as usual. Eltoch has made a series of mutually contradictoty posts but even so, he was VERY clear that he believes game theory is used to solve chess. When I made him aware that it wasn't logically possible, he then made a series of personal attacks and unpleasant remarks. That's because he's rather like you are. If he can't think of a reply, he attacks. Both of you are well-know for it and this is completely of your making. The two of you. Neither of you likes to lose arguments and yet both of you talk doen to people and personally attack them when they have opinions you dislike.

Avatar of Optimissed
btickler wrote:
Optimissed wrote:

Except that the information turns out to be less useful than perfect information should be.
It's analagous to having the information needed to determine a correct sequence of moves presented in a code, which cannot be broken: except, perhaps, with the help of the most powerful computers.

Your argument boils down to "it's hard to know things we don't know yet even when all the pieces are right in front of us".  Which is a statement, and it is true (literally, in the case of the pieces being right in front of us)...but it doesn't have much bearing on the discussion.  


First of all, the bait, above. Basically a deliberate misrepresentation of what was written. Consdescending and basically ignorant.

MY REJOINDER

 
 

That's what solving chess is all about, old bean. Is this discussion about solving chess? Can you do it in your head with 100% accuracy?? It has all the bearing on this discussion it requires, old thing.

And the beginning of your troll attack:

<<You always give the point up when you try to inject dismissive humor.  It's like a tell in Poker.>>

It should be obvious that I didn't concede any ground. You tried to grab it.

Optimissed

Oh yes, so you're contesting what is told on account of the language used to tell it? I don't think that quite works, sadly for your assumption.

And now you had what you, as a troll, wanted. Something to attack. The following series of posts was basically you trolling. That's what you are and that's what you do. You went away for a while and thought out what posts you were going to make.








 

Avatar of Optimissed
speedupthesurfer wrote:

Ok guys lets all be friends seriously there's enough toxicity on this bloody site

You could always approach btickler and see what he has to say on the matter. I tried that approach with him probably eight years ago. He made a series of answers to the effect that he dislikes people and has no intention of being friends with anyone. He denies that now but that's what he does and that was his answer. So have a word with him and tell him not to be such a troll, maybe. Coming from someone else it may help. The present feud he has with me is the result of me doing what you just tried to do now, when he was attacking someone else. Well, I basically told him to stop.

Avatar of DiogenesDue
Optimissed wrote:

You could always approach btickler and see what he has to say on the matter. I tried that approach with him probably eight years ago. He made a series of answers to the effect that he dislikes people and has no intention of being friends with anyone. He denies that now but that's what he does and that was his answer. So have a word with him and tell him not to be such a troll, maybe. Coming from someone else it may help. The present feud he has with me is the result of me doing what you just tried to do now, when he was attacking someone else. Well, I basically told him to stop.

That narrative is a complete fiction, for the record.  We have never had significant PMs of any kind.  You used to, on occasion, try to rope me into teaming up with you on other posters, but once it became clear to you that I don't respond to such games, you stopped trying to ingratiate yourself with me and moved on to those with less integrity.

Optimissed lives in a world determined by his ego's best efforts to shield him from the truth of how he actually feels not about everybody else, but about himself.  That's really the whole story right there.  If you read his posts with this lens, you will never misunderstand his intentions, and everything he says will fall neatly into place.

Avatar of Optimissed

Was that for the dishonest, refabricated, invented record?

Anyway, who said PMs? And not my games. Yours. I am sure that all is not well with you and that you habitually project your own insecurities on others. Ultimately you always end up accusing THEM of projection. There isn't any doubt about it at all. Bonkers. Completely.

Avatar of DiogenesDue
Optimissed wrote:

Who said PMs? And not my games. Yours.

You did, the last half dozen times you tried to foist this fiction.  Apparently your memory is slipping...

Your post then became (additions in bold):

"Who said PMs? And not my games. Yours. I am sure that all is not well with you and that you habitually project your own insecurities on others. Ultimately you always end up accusing THEM of projection. There isn't any doubt about it at all. Bonkers. Completely."

...and then that post became:

"Was that for the dishonest, refabricated, invented record?

Anyway, who said PMs? And not my games. Yours. I am sure that all is not well with you and that you habitually project your own insecurities on others. Ultimately you always end up accusing THEM of projection. There isn't any doubt about it at all. Bonkers. Completely."

Note that you can keep adding more aspersions and deflections to it...it's not going to help.  It's kind of funny because I am prone to adding new points and clarifying things, but when you attempt to do the same you add gibberish and obfuscation.  We default to different goals in our communications.

Avatar of Optimissed

You edit your own posts continually so what point, if any, are you trying to make? And why don't you basically calm down and act more normally. Try to get on with others. This is a funny thread in not a particularly good way because it seems to attract people who are strange. I'm probably fairly strange too but I don't live in a delusory world. I know very well that you continually invent things.

Anyway, this is getting us nowhere. Just stop your misrepresentation of other people's posts. Goodnight.

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


I was also going to explain why game theory cannot apply to the solving of chess... [snip]

Go on, give us a treat. Perhaps afterwards you can explain why number theory does not apply to the number 213276247234766621.

I think @Optimissed might be right this time.

Under FIDE laws possible yields include but are arguably not restricted to (win,loss), (loss,win), (draw,draw), (win+draw,loss+draw), (loss+draw,win+draw), (win,win), (win+draw,win+draw) and (arbiter determined) without any ordering specified. The objective is checkmate but that cannot be forced except from positions that are already checkmate.

What part of game theory would apply?

Still thinking about 213276247234766621; don't tell me. It's not prime but it has abnormally few factors.

While I understand that you are being light-hearted, you understand that "solving chess" refers unambiguously to the abstract game of chess (or, to be precise, a version of it defined by the relevant rule set), which has no time limits, nothing happening off the board, but may include well-defined rules such as the option (or obligation) to claim a draw in an n-times repeated position, or when the 50 move rule applies.

No arbiters ever the chance to get involved any more than they do in the solution of tic-tac-toe  - the only laws involved are those that govern legal moving and results.

If I recall, the only appeal to game theory that has taken place in this forum was to a general theorem that applies to a class of games to which chess belongs. Given the definitions:

  1. A (pure) strategy for a side is defined as a procedure that generates a move for any legal position (note that a mixed strategy is one where it may vary the chosen move in a position, but we don't need these).
  2. The value of a strategy is the minimum of the values it achieves against all opposing strategies
  3. An optimal strategy for a side is a strategy that achieves the maximum of the values of all strategies for a side

then there exists an optimal strategy for each side and these strategies achieve the same result.

I'd like this theorem to be trivial, but when trying to show it was, I convinced myself it is not quite! The theorem seems to rely on the fact that every game is finite, for example.

My point is that "chess" generally refers to one of the games defined in the FIDE laws.

No, not when SOLVING chess. This is about the abstract game.

I believe that most of the contributors are referring to chess as defined in the FIDE laws, in which case I was pointing out the answer to OP's question is no; the FIDE game is insoluble. 

No reference to the rules of an abstract game have been posted. Would it have a dead position rule for example? Tablebase adjudication ignoring the 50 move rule at 6 or 7 men or not at all?

Because they allow for resignation and agreed draws

Both completely irrelevant to solving chess, just ways to save time in real, imperfect games before the rules decide the result.

More than that; if both players simultaneously resign, for instance, they both win. The resignation rule in that case does decide the result.

which occur asynchronoulsy with the moves and the results are are not prioritised in terms of win draw or loss either beteen themselves or with the results of completed moves, the possible results have no defined order. Is (win,win) for White better or worse than (win,draw) or (win,loss)?

There are exactly three results of a game

WIN > DRAW > LOSS

ok?

Ok in your abstract game probably (depends on the rules).

In what I think most people are referring to as "chess", not ok. What's the result if your opponent resigns simultaneously with you moving into a dead position. That should have occurred in practice (e.g. in  KNNKP). According to the FIDE rules you have won and the game is a draw.

You say:

"1. A (pure) strategy for a side is defined as a procedure that generates a move for any legal position ..."

Where do claims come in? Those are part of chess.

To solving chess, you can assume all claims occur by the player they favour. Equivalently, you can assume an automatic result. It's not about competitive play.

In the solution of your abstract game you can maybe assume that, but can you in solving? If you use a tablebase generation procedure the question is bypassed. If you use SF it only thinks it knows who is in favour and will repeat once whether or no if its evaluation for the position is better. So it could terminate a winning game in a draw. 

So far as I understand it @tygxc's method may take that as proof of a draw. Admittedly it's not actually solving.

A good strategy should generate a draw claim under the 50 move rule at some point if the opponent has a frustrated win. (It should also accept a draw offer in a losing position, but that would be extending the meaning of "solution".)

No, that would simply be part of the solution. A side aiming for a draw claims the draw when it occurs (or equivalently for solution, it is automatic).

A solution for a player is a strategy for achieving the best result. If the best result is a draw and the recommended moves lead to a win for the opponent that is frustrated by the 50 move rule or triple repetition rule singly or in combination should the strategy not also prompt a draw claim to avoid a loss? (If that's what you mean by automatic, isn't it what I said?)

2. The value of a strategy is the minimum of the values it achieves against all opposing strategies.

There can only be a minimum if the results are ordered. They're not under FIDE rules.

I have no idea what you are thinking about. WIN > DRAW > LOSS.

I'm thinking about FIDE chess. If the players simultaneously resign both players WIN (read the rules).  Is that better than WIN or worse?

Ergo game theory doesn't apply to chess.

A false conclusion based on erroneous thinking I can't fathom.

Not false. I'm using chess in the sense I think it's mostly used. Game theory doesn't apply to FIDE chess.

It could as you say be applied to abstract version of "chess" that differ only marginally from the FIDE games.

That's the chess that is relevant to solving chess. It ain't about imperfect tournament and match play (FIDE's preserve)

Agreed. But you still need to specify what's the chess.

But you define only a solution. If you want to propose finding a solution using existing software (as does @tygxc) the software will implement a concrete version of chess which also differs marginally from FIDE.

What you really mean is that FIDE differs from chess.

What I mean is that "chess" is being used in multiple senses and is a cause of some confusion. Some are taking it as FIDE competition rules, some as a to be defined abstract set of rules and some planning to use a GUI where you probably have to download the code to determine the rules. And all are different.

 

 

Avatar of DiogenesDue
Optimissed wrote:

You edit your own posts continually so what point, if any, are you trying to make? And why don't you basically calm down and act more normally. Try to get on with others. This is a funny thread in not a particularly good way because it seems to attract people who are strange. I'm probably fairly strange too but I don't live in a delusory world.

You utterly do, not that you would be able to perceive that happy.png.  The strangeness in this thread comes from two sources, both of whom have delusions that drive them.  One driven by the need to be above everyone around them to feel secure and safe, and the other driven to turn the offhand comments of his deceased hero into reality.

Avatar of DiogenesDue
speedupthesurfer wrote:

Will we ever known the EXACT number of sand grains on all the world's beaches???

No, but that is a fluctuating number, for multiple reasons wink.png.  The analogy is not quite there.

Avatar of DiogenesDue
speedupthesurfer wrote:

How is it fluctuating? Because people may take the sand home or it can blow onto the streets?

- The word "beach" is loosely defined and impossible to delineate for purposes of counting grains of sand.

- The word "sand" is also loosely defined.

- Sand particles are constantly being added to the world and making their way into beaches via erosion et al.

- Sand particles are constantly being removed from beaches in many ways.

Avatar of Optimissed

Interesting conversation.

Avatar of Optimissed
btickler wrote:
Optimissed wrote:

You edit your own posts continually so what point, if any, are you trying to make? And why don't you basically calm down and act more normally. Try to get on with others. This is a funny thread in not a particularly good way because it seems to attract people who are strange. I'm probably fairly strange too but I don't live in a delusory world.

You utterly do, not that you would be able to perceive that .  The strangeness in this thread comes from two sources, both of whom have delusions that drive them.  One driven by the need to be above everyone around them to feel secure and safe, and the other driven to turn the offhand comments of his deceased hero into reality.

No, It's just because so many people here have disagreed with me over things I find obvious and clear, and when I challenge them there is usually no attempt to answer. People just sidestep. I know the chances of anyone having my IQ are vanishingly small and to you, conveniently, it's a delusion. The point is I know I'm clever and when Elroch or you fail to get the point of whatever it is, forever and forever, I'm obliged to put it down to that. I really am used to it. You, in your strange world of delusion, edit out uncomfortable facts but I have to admit that I am arguing here with a series of has-beens and never-wases because even at my age I'm still learning. You win a prize for guessing what I'm using it to learn.

It was good to see MAR finally getting the bit between his teeth. I think I commented a couple of months ago that I thought he was the only one here who has a good intellect. I'm not counting myself .... in a way I'm not here. That is, not accepted because I don't make the right grunts. Noises. MAR is finally taking on Elroch. I won my argument with E about game theory a dozen times and Elroch wasn't capable of even understanding that, let alone admitting it. So let's see how MAR does.

Avatar of Elroch

@MARattigan, the notion of solving chess is an abstract one, about the game as a mathematical object, an example of a combinatorial game. The precise drawing rule needs to be specified, but nothing that is not part of chess as a combinatorial game. There is no need for resignation or agreement of draws. While they could be added as optional actions they are superfluous to a solution.

The entire literature on solving combinatorial games deals with combinatorial games in the same way. (Eg that on the solution of checkers and a few modern popular games).

https://www.gamesver.com/is-connect-4-a-solved-game-what-does-that-even-mean/

Apparently Reversi/Othello remain unsolved, while 4x4 and 6x6 versions have been solved.

Avatar of MARattigan

@Elroch. Agreed I don't think I said any thing to contradict that.

Except that if resignations and agreed draws are added they need to be prioritised with other game terminations or you don't have a zero sum game. Also you can't make the objective checkmate because that is never achievable against all opposition; if your opponent resigns you're stuffed.

The drawing rules for FIDE basic rules, FIDE competition rules, ICCF and TCEC are all different and would need different abstract games (TCEC could be very interesting). I'm not in any way convinced the solutions will be the same. They're all aiming toward different endpoints.

Avatar of DiogenesDue
Optimissed wrote:

No, It's just because so many people here have disagreed with me over things I find obvious and clear, and when I challenge them there is usually no attempt to answer. People just sidestep. I know the chances of anyone having my IQ are vanishingly small and to you, conveniently, it's a delusion. The point is I know I'm clever and when Elroch or you fail to get the point of whatever it is, forever and forever, I'm obliged to put it down to that. I really am used to it. You, in your strange world of delusion, edit out uncomfortable facts but I have to admit that I am arguing here with a series of has-beens and never-wases because even at my age I'm still learning. You win a prize for guessing what I'm using it to learn.

It was good to see MAR finally getting the bit between his teeth. I think I commented a couple of months ago that I thought he was the only one here who has a good intellect. I'm not counting myself .... in a way I'm not here. That is, not accepted because I don't make the right grunts. Noises. MAR is finally taking on Elroch. I won my argument with E about game theory a dozen times and Elroch wasn't capable of even understanding that, let alone admitting it. So let's see how MAR does.

See, that's the only way your narrative holds up, if you are a 1 in a billion level genius, and everybody who disagrees with you are has-beens or never-have-beens.  Now apply Occam's Razor and let the truth in...

What is it that makes you something more again?  I'm not talking about IQ test scores or the psychic musings of long ago girlfriends...

You see, I don't really care if you want to have an opinion on everything and be stubborn about it.  The problem is that you can't seem to do this without disparaging everyone around you.  If you were one of those posters that ended with "well, I disagree, so I guess we're at an impasse", then I would not have much to say to you over time.  I can only speak for myself, but I am guessing others feel similarly.  I'm also guessing whatever you might have said that you deemed complimentary to Maratiggan might not have been taken as such.  You have said similar things in the past about how felt about others... myself, Elroch, Tygxc, even CooloutAC, and how you "complimented" others' intelligence...by squarely placing it well below your own supposed but completely unproven level wink.png.

Avatar of Optimissed

You keep saying "you see". I noticed it twice at the beginning of paragraphs. I also noticed that you don't really care. I haven't read the rest because it's so predictable. No point ... you aren't interesting. I gave my age specifically to see what you would do with it and sure enough, back came "old and bitter". A stereotype and it wouldn't be a very kind one if it were true. But I have a beautiful wife who looks 20 years younger than she is AND she's younger than me by 8 years, most things I need, my son is successful and a good person and I'm happy. I keep fit, do long walks, keep busy, have lots of interests. What do you do? Find people to try to upset. That's about what you seem to enjoy. I don't need to prove anything to you. Ability speaks for itself but only for people who know the language.