Cursed win at TCEC

Discussion of anything and everything relating to chess playing software and machines.

Moderators: hgm, Rebel, chrisw

User avatar
hgm
Posts: 27789
Joined: Fri Mar 10, 2006 10:06 am
Location: Amsterdam
Full name: H G Muller

Re: fortress_draw_rule

Post by hgm »

Lyudmil Tsvetkov wrote:btw., FIDE rules of chess are quite adamant on this: an existing mate on the board overrides any other possible outcome. A tablebase mate in 72 is certainly an existing mate, it should definitely override any other specific ad-hoc rule, like current TCEC draw rule, and the end position, as we all know perfectly well, was simply a mate in 72, rigth?
The nonsense you spawn is of such an exceptional quality that I am starting to wonder whether it would not be my duty as moderator to delete it, in order to protect those inadvertantly reading it from brain damage.

The FIDE rule you abusively quote and misinterpret here of course refers to a mate in 0, not to a mate in 72. There is nothing 'existing' on a mate in 72. It is something that might or might not materialize somewhere in the future based on how the players move.
Lyudmil Tsvetkov
Posts: 6052
Joined: Tue Jun 12, 2012 12:41 pm

Re: fortress_draw_rule

Post by Lyudmil Tsvetkov »

Uri Blass wrote:
Lyudmil Tsvetkov wrote:
syzygy wrote:
Lyudmil Tsvetkov wrote:no one knows how the game would have ended, as top engine analysis is imperfect, even in relatively simple positions.
I am afraid you have far too little knowledge of the engines and how they deal with tablebases.

It is 100% certain that the game would have ended in a draw. Thanks to its tablebases, H5 knew how to keep the mate beyond the 50-move horizon.

Try it out for yourself:
https://syzygy-tables.info/?fen=K5Q1/8/ ... _b_-_-_0_1

You are white and may play whatever moves you like. Black always plays the move shown at the top.

You won't get DTZ down by more than 1 ply on each move and black won't let DTZ go down by more than 1 ply on each move. Since you start at DTZ=124, you need more than 60 moves to get to a capture or mate. The 50-move rule kicks in after 50 moves. QED.

Now that you have learned something new, you might want to reconsider your earlier statements in this thread.
Rigth, I just start learning about engines and engine code, and often have hell of a time while reading and trying to understand some stuff: for example your SF tbs code, not the easiest code to read, but still understandable.

Nothing to reconsider for me, the GUI already adjudicated. :) (definitely this will be the longest thread of the year, and Nuno desrves some special prize for starting it)

Whether the game was won or draw depends on where you start analysing, you migth start a few plies earlier or later; in any case, if we are going to follow engine scores, the same way you proceed with your tablebases, then 105cps in the mg is certainly won. But, again, the point is not so much this particular game, but rather why on earth a KNOWN WIN should be adjudicated as a DRAW? Simply because there is some ancient rule concerning fortress drawing?

If we have witnessed at least a couple of similar developments in TCEC with only couple of hundred games played, then you can certainly imagine how many objective wins are adjudicated as artificial draws in a much larger pool of games that is statistically relevant. Why artificially distort the result?

btw., FIDE rules of chess are quite adamant on this: an existing mate on the board overrides any other possible outcome. A tablebase mate in 72 is certainly an existing mate, it should definitely override any other specific ad-hoc rule, like current TCEC draw rule, and the end position, as we all know perfectly well, was simply a mate in 72, rigth?

So, what should be done is for tbs adjudication to fall in line with FIDE rules, and the stupid 50-moves restriction be lifted as soon as possible, only in pawnless endgames.
chess programs played based on the assumption that there is 50 move rule.
Chess programs are programmed to use rules of game A(with the 50 move rule).

Adjudicating based on rule B without the 50 move rule in 5 piece positions is not fair when you did not tell the programmers in advance about the rules.

Note that using distance to mate and not using the 50 move rule in tablebases also is not going to solve the problem because in this case a program may force 6 piece tablebases position that is mate in 80 but draw by the 50 move rule and TCEC does not adjudicate 6 piece tablebases positions.

If you want programs not to use the 50 move rule you are free to organize your own tournament when you declare the rules before the tournament
and invite programmers to change their programs in order to participate.
all programmers that sent engines knew in advance what the rules would be, rigth?
the fact that a bug is discovered in the process of the tournament, actually a good bug, does not mean engine authors did not have foreknowledge of the rules, they did.

besides, this tournament is supposed to be automated, rigth?

you wanna instruct the TD to change the game result and spark another outcry along the lines of the outcry against Komodo team when they lost their first game to H5 in stage 3? I guess then everyone agreed this should not have been done, but now suddenly everyone supports the opposite opinion. :shock:

why should anything be changed, when everything is automated and the GUI says black loses?
Lyudmil Tsvetkov
Posts: 6052
Joined: Tue Jun 12, 2012 12:41 pm

Re: fortress_draw_rule

Post by Lyudmil Tsvetkov »

In case we do not solve this discussion in the next 2 and a half months, I suggest we go get Miguel and give him a good lashing. :)
Maharadja
Posts: 78
Joined: Thu Dec 24, 2009 1:22 pm

Re: fortress_draw_rule

Post by Maharadja »

Lyudmil Tsvetkov wrote:
btw., FIDE rules of chess are quite adamant on this: an existing mate on the board overrides any other possible outcome.
Sometimes it takes me more than 50 moves to mate with bishop and knight.
So when my opponent claims the 50 move rule after 50 moves I can show him this rule, no?
Last edited by Maharadja on Mon Nov 21, 2016 1:02 pm, edited 1 time in total.
User avatar
hgm
Posts: 27789
Joined: Fri Mar 10, 2006 10:06 am
Location: Amsterdam
Full name: H G Muller

Re: fortress_draw_rule

Post by hgm »

That the tournament is automated is not a rule, but just for convenience. If the automation malfunctions, e.g. because the GUI crashes, or they suffer a power blackout, they would obviously interfere, and restart it by hand, rather than declare the tournament finished.
Lyudmil Tsvetkov
Posts: 6052
Joined: Tue Jun 12, 2012 12:41 pm

Re: fortress_draw_rule

Post by Lyudmil Tsvetkov »

hgm wrote:That the tournament is automated is not a rule, but just for convenience. If the automation malfunctions, e.g. because the GUI crashes, or they suffer a power blackout, they would obviously interfere, and restart it by hand, rather than declare the tournament finished.
also in the case of a huge meteorite crashing somewhere close to Denmark, alien invasion, etc.
Lyudmil Tsvetkov
Posts: 6052
Joined: Tue Jun 12, 2012 12:41 pm

Re: fortress_draw_rule

Post by Lyudmil Tsvetkov »

hgm wrote:
Lyudmil Tsvetkov wrote:btw., FIDE rules of chess are quite adamant on this: an existing mate on the board overrides any other possible outcome. A tablebase mate in 72 is certainly an existing mate, it should definitely override any other specific ad-hoc rule, like current TCEC draw rule, and the end position, as we all know perfectly well, was simply a mate in 72, rigth?
The nonsense you spawn is of such an exceptional quality that I am starting to wonder whether it would not be my duty as moderator to delete it, in order to protect those inadvertantly reading it from brain damage.

The FIDE rule you abusively quote and misinterpret here of course refers to a mate in 0, not to a mate in 72. There is nothing 'existing' on a mate in 72. It is something that might or might not materialize somewhere in the future based on how the players move.
you migth delete whatever you want, would not be the first time; persons who say the truth are usually persecuted.

mate in 72=mate in 0 + tablebase adjudication, I think this is very obvious

following your logic of thought, a drawn tbs position is not a draw, because the draw is achieved in another 40 or so moves.

as soon as a tb position is reached, it gets adjudicated, an in the present case the tb position is a win, and the particular win=mate.
User avatar
Evert
Posts: 2929
Joined: Sat Jan 22, 2011 12:42 am
Location: NL

Re: fortress_draw_rule

Post by Evert »

Lyudmil Tsvetkov wrote: why should anything be changed, when everything is automated and the GUI says black loses?
Because it's wrong to say that?
User avatar
Evert
Posts: 2929
Joined: Sat Jan 22, 2011 12:42 am
Location: NL

Re: fortress_draw_rule

Post by Evert »

Lyudmil Tsvetkov wrote: you migth delete whatever you want, would not be the first time; persons who say the truth are usually persecuted.
You're simply wrong and being obtuse about it. By all means tell yourself it's a form of persecution if it helps you cope with this.
mate in 72=mate in 0 + tablebase adjudication, I think this is very obvious
Not only thing that's obvious about this statement is that it's bullshit.
following your logic of thought, a drawn tbs position is not a draw, because the draw is achieved in another 40 or so moves.
That would be correct.
A drawn tablebase position is a position that cannot be won, assuming perfect play from both sides, under the rules of the game. It doesn't say why the position is drawn though.
as soon as a tb position is reached, it gets adjudicated, an in the present case the tb position is a win, and the particular win=mate.
What part of the following sentence do you find unclear:
"The game is drawn if the last 50 moves by each player have been completed without the movement of any pawn and without any capture."

That's the rule that is in effect here. Say you disagree, fine. You have that right. Doesn't change a thing for the matter at hand. You seem either too dense to understand this, which I find unlikely, or you're deliberately obtuse and trolling around.
User avatar
MikeB
Posts: 4889
Joined: Thu Mar 09, 2006 6:34 am
Location: Pen Argyl, Pennsylvania

Re: fortress_draw_rule

Post by MikeB »

Evert wrote: ...
That's the rule that is in effect here. Say you disagree, fine. You have that right. Doesn't change a thing for the matter at hand. You seem either too dense to understand this, which I find unlikely, or you're deliberately obtuse and trolling around.
He understands perfectly, this is fun for him. Definitely wasn't worth 100,000+ views. Most of us have fairly good sense of justice and what is right and what is wrong and that why we are so passionate about this alleged win. Alledged because most of us know, understand and acknowledge it should have been adjudicated draw even if required human intervention. But the engines don't care and I doubt if the authors care at this point. Clearly and those running this tournament do not care either and if they do not care why should any of us care. In hindsight , this tournament is not what it is cracked up to be. Not sure why anybody should care going forward. I know I will not.