Chess will never be solved, here's why

Sort:
Avatar of playerafar
emilio1689 wrote:

Who is Martin?

MARattigan.
Good poster. (usually).

Avatar of playerafar

Elroch did better.
Elroch expressed concern that the 'fraction' of total positions would be small or too small.
Which demonstrated some grasp of the idea unlike Martin.
its not a difficult idea.
I believe any player who knows how to checkmate with K+R versus K can quickly understand the ideas that develop from that basic situation. Which don't work with a bishop or knight.
Can understand.
I didn't say they 'will' or 'would'.
happy
-------------------------

Avatar of MARattigan
playerafar wrote:

...
How long will it take for Martin to post a diagram with King and Rook against King?
And then add another piece to the side with the rook?
A trillion years?
...

It will be coming up in the post I saved a draft to but I'll do it now.

To make matters simplest I've assumed a DTM tablebase and a position where there is a unique winning line in the tablebase.

This position is winning for white in the Nalimov tablebase only with the move Ra8-h8 shown.

White to play
 
 
 

And if we add a bishop on say d8 the mate Ra8-h8 no longer works. Stalemate is not a consideration.

 
White to play
 
 

(Could you not have thought of that for yourself?)

Have you stopped answering my posts altogether?

You've made a whole series of posts saying I've missed the point of arbitrary (and sometimes unfathomable) changes to your initial ideas that you introduced only after I'd made the post you're complaining of and making absolutely no effort to rebuff my refutations.

You're not only resurrecting @tyxgc's discredited assertion that a large enough material difference can be assumed a win, you're also copying his policy of ignoring any rebuttal and simply reposting the same.

In #15704 I asked you in large yellow letters to justify your comment, "implication: In situation 3 (which Martin so far refuses to distinguish from situations 1 and 2" by pointing out where I'd done that. Instead you choose to post more of the same.

Can you now either apologise or post the quote I asked for?

Avatar of OctopusOnSteroids

I just thought of a hilarious position. Imagine whites rook in the corner... say a8. A lone black king on b6. A win for white of course no matter what. Then spawn two white knights on a7 and b8 that trap the rook... and black to move. LOL

Avatar of Vezcen

wow

Avatar of MrChatty

I will just keep meeting sunrises and sunsets waiting for the proper technology...

Avatar of MARattigan
OctopusOnSteroids wrote:
  • I just thought of a hilarious position. Imagine whites rook in the corner... say a8. A lone black king on b6. A win for white of course no matter what. Then spawn two white knights on a7 and b8 that trap the rook... and black to move. LOL

But that would be adding to a KRNvK position. @playerafar will probably just say you're missing the point because you've got far too many pieces altogether and you're only allowed to talk about K+R versus K. (You wouldn't want to score black marks in his bulletins, would you?)

Let's ask him and see.

@playerafar - this position is winning for White.

 
Black to play
 
 
 

Would you say that this position with an added knight is therefore also winning for White?

 
Black to play
Avatar of iifireyt
Omg
Avatar of playerafar
MARattigan wrote:
playerafar wrote:

...
How long will it take for Martin to post a diagram with King and Rook against King?
And then add another piece to the side with the rook?
A trillion years?
...

It will be coming up in the post I saved a draft to but I'll do it now.

To make matters simplest I've assumed a DTM tablebase and a position where there is a unique winning line in the tablebase.

This position is winning for white in the Nalimov tablebase only with the move Ra8-h8 shown.

White to play
 
 
 

And if we add a bishop on say d8 the mate Ra8-h8 no longer works. Stalemate is not a consideration.

 
White to play
 
 

(Could you not have thought of that for yourself?)

Have you stopped answering my posts altogether?

You've made a whole series of posts saying I've missed the point of arbitrary (and sometimes unfathomable) changes to your initial ideas that you introduced only after I'd made the post you're complaining of and making absolutely no effort to rebuff my refutations.

You're not only resurrecting @tyxgc's discredited assertion that a large enough material difference can be assumed a win, you're also copying his policy of ignoring any rebuttal and simply reposting the same.

In #15704 I asked you in large yellow letters to justify your comment, "implication: In situation 3 (which Martin so far refuses to distinguish from situations 1 and 2" by pointing out where I'd done that. Instead you choose to post more of the same.

Can you now either apologise or post the quote I asked for?

This time - you didn't mess up on your first two diagrams.
But then you went off on your tangents.
You already know that Rook and King against King is a win unless its illegal or a stalemate..
---------------------------
The point is that you've missed the points. Plural.
As to why - perhaps you don't know - otherwise you wouldn't have missed things that seem obvious. If you really did miss them that is.
I don't think Elroch missed it. Not 100% sure.
His objection was concerning too low a percentage of positions.
But its not low. And its gazillions of positions.
Because you add a piece to the side with the rook. And later - pieces.
The fact that it might get harder the more pieces that are added - in some positions is easily misinterpreted.
Because whatever the 'degree of difficulty' it can't match the waste of time of having to calculate through to checkmate every time and having to catalogue all the ways the side with the rook plus extra could mess up the win.
Game theory. Remember?
A stratetegy exists for white (or black) to force a win.
--------------------------------------
What percentage of chessplayers would not know K+R versus K is a win - unless its a stalemate - or an illegal position?
A low percentage.
--------------------
I come to forums knowing this kind of thing happens on the internet.
I can and do simply choose 'to not be annoyed'.
And that includes regarding whatever Octo does now too.
What is really going on? Martin was obviously annoyed by Dubro/Avro.
Is Martin now annoyed that 'O' and C-Rat aren't here right now?
M should blame those guys for their behaviour. Not I.
------------------
When does Martin either say that he's 'got it now' or stop trying to talk about Iceland in reaction to me talking about France? (figuratively speaking).
There's no 'suspense'.
Might not happen unless at least one member says things like:
'Yes its kind of obvious that King plus rook against King wins unless its an illegal position or its stalemate.
And its also obvious why many players resign that. Its an established win.
And its also obvious that if you add a bishop to the side with the rook then its still a win whenever its not stalemate.
And its obvious that a kind of progression can be built here which invokes logic instead of just computer-crunching.
--------------------------
and then later:
And its also obvious that computers can be instructed to assign such positions as wins without crunching through to mate - provided there's no 'exotic positions' where the side with the rook is on move and plus that - is on move but can't avoid stalemating ...
And its obvious that the more pieces you add - the more of such positions might exist.
And its obvious that that's part of solving anyway!
And its obvious that if you also add a lot of pieces to the side that's down material and continues to be down material - then you're eventually going to have positions that have to be solved like other positions - (although more easily when its lopsided) - and that's part of solving too.
-----------------------------

Avatar of MrChatty

> K+R

Does K stand for King, Knight or even Kueen (for those who play with high temperature)?

Avatar of playerafar
emilio1689 wrote:

> K+R

Does K stand for King, Knight or even Kueen (for those who play with high temperature)?

K stands for King and R stands for Rook and M wants to pick a fight for some reason?
Or he just doesn't get it. (seems unlikely. Its not deep.)
Why don't I just ignore him?
Well because he finally did post the K and R versus King diagram but then started on his tangents again.
He posted the diagram to start - but then undid that progress.
But - no big deal.
---------------------------------------
@ emilio
I had a session with AI just now. Finding various ways to get Grok to extend its sessions.
I was specifically discussing white K+R versus black King - in situations where its white's move.
And how the solving supercomputer would be instructed to proceed with that (without crunching through to checkmate) as preparation to starting to add pieces to white.
And there was progress - but there's a semantics trap even that early.
If its white's move there - then stalemate can't happen.
The two are in conflict.
The 'tautology' would be 'if the game is already over then it can't be white's move. Its nobody's move.'
But the real point seems to be that in all diagrams of white K+R versus black King where its white's move - you don't even have to check for stalemate at all because there's no such thing.
Checkmate wouldn't exist at the time either - not if its white's move.
Nor would check.
But those last two have to be noted. As illegal.
-----------------------------
then we discussed 'mutual stalemate' and Grok was hopeless at that though.
but after the sessions I came up with this position on my own:

Its got a Rat in it though. Not quite what I was looking for.
White has five ways to reach this position in one move. All of them pawn moves.
But what was black's move before that?
Well that's okay. Black could have played Nf6 and white took with e5xf6. For example.
But what if it was Black reaching this position instead?
There doesn't appear to be a way he could have got there.
That's the Rat.
Yes - M probably knows about this and 'double stalemate' did come up here but I forgot the details.
The point is whether you can produce a mutual stalemate position where either player moved into it.

Avatar of MARattigan
playerafar wrote:
MARattigan wrote:
playerafar wrote:

...
How long will it take for Martin to post a diagram with King and Rook against King?
And then add another piece to the side with the rook?
A trillion years?
...

It will be coming up in the post I saved a draft to but I'll do it now.

To make matters simplest I've assumed a DTM tablebase and a position where there is a unique winning line in the tablebase.

This position is winning for white in the Nalimov tablebase only with the move Ra8-h8 shown.

White to play
 
 
 

And if we add a bishop on say d8 the mate Ra8-h8 no longer works. Stalemate is not a consideration.

 
White to play
 
 

(Could you not have thought of that for yourself?)

Have you stopped answering my posts altogether?

You've made a whole series of posts saying I've missed the point of arbitrary (and sometimes unfathomable) changes to your initial ideas that you introduced only after I'd made the post you're complaining of and making absolutely no effort to rebuff my refutations.

You're not only resurrecting @tyxgc's discredited assertion that a large enough material difference can be assumed a win, you're also copying his policy of ignoring any rebuttal and simply reposting the same.

In #15704 I asked you in large yellow letters to justify your comment, "implication: In situation 3 (which Martin so far refuses to distinguish from situations 1 and 2" by pointing out where I'd done that. Instead you choose to post more of the same.

Can you now either apologise or post the quote I asked for?

This time - you didn't mess up on your first two diagrams.
But you messed up very very badly anyway.
Because I never claimed that won Rook and King positions don't exist.
You might not realize this - but by now agreeing they exist you're contradicting your own position.

Show me where I claimed that won Rook and King positions don't exist.

Until you concede that Rook and King against King is a win unless its illegal or a stalemate - then you're still going in circles that have nothing to do with what I'm saying.
You already know that.
If you don't want to concede it - then acknowledge it.

Gladly acknowledge it. I could only concede it if I've ever said anything different - see above. 

But after that - try not to go off on tangents.
You can apologize for doing so - or not.

I will happily apologise if you give me an example where I'm guilty of that. Bear in mind if I post something that is relevant to what you've said but not related to something different that you happen to be thinking about at the time you read it, apology will not be fothcoming.

Give me an example. 

The point is that you've missed the points. Plural.
As to why - perhaps you don't know - otherwise you wouldn't have missed things that seem very very obvious.

I can tell you exactly why.

You claimed in #15685

You don't start the process with the losing side having a rook. You start with lone king.
And you don't start with losing positions for the side up material.
Should I be disappointed that Martin didn't catch those things instantly?

the post you were commenting on was a counterexample to an idea in your post #15542 namely

In all the solved tablebase positions (in other words all 7-piece or fewer legal chess positions) that have been found to be wins for white or for black - 
Each won position has a further algorithm run on it - 
where adding more pieces to the winning side in all ways that do not interfere with that side's win - is considered - but with no further evaluation - they are simply counted and added and a number of such is determined.
A huge amount of work could then be saved.

(The subject of most of our recent posts)

That doesn't mention that the winning tablebase positions referred to do not include positions where neither side has a lone king, nor that they don't include positions where the losing side has a rook, nor that they don't include losing positions for the side up in material. It says specifically, "all 7-piece or fewer legal chess positions". Indeed your first mention of those restrictions is in that post where you accuse me of missing the points you hadn't yet raised. (Also since the restrictions appear to be fatuous additions, simply to allow you make the accusation, there was no reasonable way for me to anticipate them.) 

Again in your post #15655 you say

MARattigan dead wrong again.
I made it clear the positions would have to be checked regarding stalemates.

But I saw no mention of such checks prior to the post you complained of. My request

Can you highlight where you made it clear?

in #15667 fell on deaf ears. So try again

Can you highlight where you made it clear?

Again (#15682)

MARattigan again trying to argue by posting a diagram that's not about the suggestion.Proving again that he doesn't get it.Should I again talk about K+R versus King and then adding material to the side with the R?If he didn't get it the first time ...He needs a diagram for that?

First mention of the fact that your idea is only intended to cover K+R versus King positions after the post you're criticising. 

I don't think Elroch missed it. Not 100% sure.
His objection was concerning too low a percentage of positions.
But its not low. And its gazillions of positions.
Because you add a piece to the side with the rook. And later - pieces.
The fact that it gets harder the more pieces that are added is easily misinterpreted.
Because whatever the 'degree of difficulty' it can't match the waste of time of having to calculate through to checkmate every time and having to catalogue all the ways the side with the rook plus extra could mess up the win.
Game theory. Remember?
A stratetegy exists for white (or black) to force a win.

Here you are missing four points, because they have already been posted and you're ignoring them.

Firstly, your procedure as described wouldn't save any time at all. Note the clause

... but with no further evaluation - they are simply counted and added and a number of such is determined.

Simply having a number for some set of positions saves nothing in solving those or other positions, even if it's the correct number. Pointed out in various posts, e.g. #15629 .

Secondly, @Elroch was correct in saying it's low (compared with the total) if you had a correct idea of what your further algorithm needs to do to give correct results - see post #15584 almost immediately following your originally floating the idea. (You have since talked about it checking for stalemates and I suspect you even think that a single stalemate check when a piece is added is sufficient, ignoring all posts to the contrary as missing the point.) 

Thirdly, if your further algorithm checks only for stalemate conditions be that just in the position in which the piece is added or throughout a forced mate half tree you'll just get incorrect results. (See #15719 - which you might like to answer - and various preceding.)

Fourthly, unless you are thinking of a faster way to check if your positions after adding a piece to a tablebase win are still won, with the original forced mate moves, than crawling the full forced mate half tree and making all the necessary checks (not just stalemate), then your further algorithm for each position will in many cases take longer than just generating the corresponding tablebase (again #15584).

--------------------------------------
What percentage of chessplayers would not know K+R versus K is a win - unless its a stalemate - or an illegal position?
A low percentage.

Wow, I'd never have guessed that.

Avatar of MrChatty

At least there is no more red on green

Avatar of MARattigan

@playerafar

If you come up with an idea and somebody points out a flaw you can either rebut the reasoning or admit the flaw.

In the latter case if you think you can rescue the idea by adding caveats you can refloat the idea with the caveats.

And so on recursively.

This is preferable to starting a vendetta and accusing the person who pointed out the flaw of missing the caveats you come up with when you haven't even posted them. You don't save face, you just make yourself look vindictive. (Apart from which, do you not already have enough vendettas in progress carried over from other threads?)

And any chance of answering the yellow questions I posted recently (or simply admitting you're in error as I suggested above - you should have enough counterexamples by now)?

Avatar of MARattigan

@playerafar

When does Martin either say that he's 'got it now' or stop trying to talk about Iceland in reaction to me talking about France? (figuratively speaking).

If you make an assertion about Iceland that I take issue with and instead of discussing the issue I've raised you start talking about France in response, then I stop talking about Iceland when you've adequately responded to the issue I raised about Iceland. (figuratively speaking).

(That doesn't preclude subsequently discussing France if I think you have said something interesting on the subject.)

I might say that I've got 'it' if you ever specify what you mean by 'it', but only, necessarily, if it has any relevance to anything we've been discussing (not just you).

Is that reasonable?

Avatar of MARattigan

@playerafar

I notice you've removed some of the text from your post that I responded to in #15724.

If that was intended to signify that you're withdrawing the claims/demands in the deleted sections, I should point out that the thread normally works forward rather than backwards and a later retraction would be preferable. This would avoid people needing to scan back through the thread to notice the change and make clear your intention, if indeed your intention was as I have surmised.

Simply deleting the text leaves your intention unclear.

I haven't checked any other of your related posts for additions or deletions (and may not have copies of the text to compare) so perhaps you could indicate which of your posts you have changed and what the changes were.

As a general rule you shouldn't make changes to posts people have already responded to or referenced or which materially affect any discussions underway, rather put your changes in new posts.

Avatar of playerafar

@MARattigan
Your posting diagrams of drawn positions does not demonstrate any 'flaw'.
The more you post such diagrams the more appropriate it is for me to ignore them.
As to what's really going on it appears you're annoyed about something that has little or nothing to do with the ideas I'm suggesting.
And little or nothing to do with me.
Perhaps its people using AI. It annoys you. You let that happen.
Which could mean you have much annoyance about that in front of you.
Year in year out.
---------------------------
Rook and King against King is one example among several of an idea that you want to build a federal case against.
I could have started with King plus two bishops against lone King instead.
Or King and Queen versus lone King. Or King and pawn against lone King.
I started with King plus rook against lone King as 'example' because its the best example to begin with.
--------------------------
From me:
"What percentage of chessplayers would not know K+R versus K is a win - unless its a stalemate - or an illegal position?
A low percentage."
And then reply from MARattigan
"Wow, I'd never have guessed that."
---------------------
That's right. You'd never have guessed because you already knew and have been knowing that.
Now if you can hold that thought - you can progress from there -
and then you won't need to talk about things like the Blathy diagram ...
(you may as well have posted the opening position and said 'see? this isn't K+R versus K.)
That's right. It isn't. So what?
But - you can keep on posting what you post.
As long as it doesn't break the rules of the website - or not too blatantly - then chess.com will not interfere with you doing so.

Avatar of playerafar

Now - the bigger picture.
Three years of this forum talking about how and why chess will not be solved with current technology. That's pretty much beat to death.
But - other conversations have been happening here too.
About things peripheral or related to the forum subject or reinterpretations of it.
Including alternatives to collisions of computer projects with the Shannon number (10^120) and John Tromp's number (4.8 x 10^44). (which ignores the 75 move rule but who's worried?)
Those numbers prevail.
Supercomputers and brute-force algorithms and the like going into battle against those numbers - are going to continue to lose.
The tablebase projects people know that.
But they have other reasons for doing those projects.
--------------
With checkers - something different was tried.
An alternative to computer-crunching of all checkers positions.
And the computers won.
Because they went at an 'alternative solution' to solving checkers.
Instead of trying to crunch every possible position.
---------------
We're allowed here to talk about 'alternative approaches' to solving chess too.
Including the use of logic.
Start with positions of lopsided material advantage against a lone King ...
then add more material to the winning side. Its still a win except for when its stalemate.
Do you want the lone King to be able to checkmate? To check?
But later on- add some material to the lone king too.
But that's later on. In other words remember the proverb 'don't do cart before the horse'
------------------------------------------
I don't have to defend starting with lone king either.
In fact I don't have to defend any of this. I could but don't intend to.
(Somebody not getting those points - because of imagining otherwise and 'acting out' on same.)
(and yes we're allowed to evolve the way something is posted about too)
Did somebody have a stroke and imagine that's not the case?
happy

Avatar of MARattigan
playerafar wrote:

@MARattigan
Your posting diagrams of drawn positions does not demonstrate any 'flaw'.
The more you post such diagrams the more appropriate it is for me to ignore

If you have asserted that the drawn positions are invariably wins, then of course it demonstrates a flaw. 

Even if I post a winning position added to a tablebase position that you have asserted is a win with the same moves as the tablebase and those moves can't be played that also demonstrates a flaw.

As to what's really going on it appears you're annoyed about something that has little or nothing to do with the ideas I'm suggesting. And little or nothing to do with me.
Perhaps its people using AI.
---------------------------
Rook and King against King is one example among several of an idea that you want to build a federal case against.

Rook and king against king is supremely irrelevant to the topic which you raised and I'm discussing. viz.

In all the solved tablebase positions (in other words all 7-piece or fewer legal chess positionsᵃ) that have been found to be wins for white or for black - Each won position has a further algorithm run on it - where adding more pieces to the winning side in all ways that do not interfere with that side's winᵇ- is considered - but with no further evaluation - they are simply counted and added and a number of such is determinedᶜ. A huge amount of work could then be saved.

It says "all 7-piece or fewer legal chess positions". Rook and king against king only appeared later so you could tell me I was missing the point because you only intended to talk about rook and king against king positions (despite continuing to talk about other positions yourself). And that was the only reason I posted a rook and king against king counterexample.

I could have started with King plus two bishops against lone King instead.

This position is a win for White with the single move Be4 in a DTM tablebase.

White to play
 

 
 
 

if you add a pawn on c2 the mate Be4 no longer works.

White to play
 
 

 

Another counterexample for you. Do you think I could leave it to you to do your remaining suggestions?
 
Or King and Queen versus lone King. Or King and pawn against lone King.
I started with King plus rook against lone King as 'example' because its the best example to begin with.

But if I'm giving you counterexamples to your theory you don't get to choose what I decide to start with.

--------------------------
From me:
"What percentage of chessplayers would not know K+R versus K is a win - unless its a stalemate - or an illegal position?
A low percentage."
And then reply from MARattigan
"Wow, I'd never have guessed that."

It was ironical. After all it was a very dumb statement.

---------------------
That's right. You'd never have guessed because you already knew and have been knowing that.
Now if you can hold that thought - you can progress from there -
and then you won't need to talk about things like the Blathy diagram ...

I talked about the Bláthy diagram in connection with you other assertion, viz.

The idea of computer projects seeking to solve chess by shortening the process with no further handling of positions that are obviously wins (corresponds to 'resign' in chess games) is a valid one.

which we were discussing until you switched to the assertion I quoted earlier so you could say the Bláthy diagram was irrelevant.

In any case, you still got it wrong because 

this is a Win for Black. 

White to play

 
 

If you add a black pawn on f2, then

This is a win for White.

White to play
 

 
 

So it's a counterexample to both of your assertions.

(you may as well have posted the opening position and said 'see? this isn't K+R versus K.)
That's right. It isn't. So what?

Apart from the fact that the result is known neither for the opening position nor for the opening position with a piece removed, I wouldn't have posted any such thing, because, unlike you, I don't have some strange fixation with KRvK. 

(You do like your little fantasies, don't you?)

But - you can keep on posting what you post.
As long as it doesn't break the rules of the website - or not too blatantly - then chess.com will not interfere with you doing so.

I note not a single answer to any questions, nor any admission that both (or even either) of the ideas you posted are invalid.

Bit like @tygxc really, except @tygxc came up with one of your ideas before you did.

Avatar of MARattigan
playerafar. wrote:

...
Start with positions of lopsided material advantage against a lone King ...
then add more material to the winning side. Its still a win except for when its stalemate.
...

Did you get round to reading #15719? (You certainly didn't get round to answering it.)

If ChatGPT told you that, I already told you - stop running to ChatGPT, it's bad for your brain.