|(1) Posted by Eugene Rosner [Friday, Jun 10, 2016 19:38]; edited by Eugene Rosner [16-06-10]|
A question about this fairy condition. consider the bottom left corner W;Ka1 Pa2 Rb1 B:Pa3 b2
The WK is not in check as there are no places for the WK to play. But what is the status of the move 1...bxKa1? Is this a legal move?
|(2) Posted by Juraj Lörinc [Friday, Jun 10, 2016 23:03]|
It is not allowed to capture king in SAT.
|(3) Posted by Eugene Rosner [Saturday, Jun 11, 2016 00:09]|
so if it's the only choice, it is stalemate?
|(4) Posted by Juraj Lörinc [Saturday, Jun 11, 2016 11:38]|
Yes, if there no move except self-checks or otherwise illegal moves, it is stalemate. Actually, capture of king is neither self-check, or illegal, it is "physically" impossible move, just like move by rook in initial diagram position or pushing the blocked pawn.
|(5) Posted by Hauke Reddmann [Wednesday, Jun 15, 2016 18:56]|
Good it was no #3 SAT, because #3 SAT is undecidable :-)
(OK, this was the obscurest of my worst jokes...)
|(6) Posted by Siegfried Hornecker [Wednesday, Jun 15, 2016 19:50]; edited by Siegfried Hornecker [16-06-15]|
It was the most obscure because it is aimed at a German TV station. For those who don't get the joke, there is nothing to be gained from it.
I however, propose promotion problems with the condition. I call that knights in White SAT in play.
|(7) Posted by Hauke Reddmann [Saturday, Jun 18, 2016 00:26]|
Wrong! It was even obscurer:
(Studying computer science made me even more geeky -
you are the first to know when I solve P=NP :-)
No more posts
MatPlus.Net Forum General #2 SAT