|
|
(1) Posted by Eugene Rosner [Friday, Jun 10, 2016 19:38]; edited by Eugene Rosner [16-06-10] |
#2 SAT 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...)
Hauke |
|
(6) Posted by Sarah Hornecker [Wednesday, Jun 15, 2016 19:50]; edited by Sarah 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:
https://en.wikipedia.org/wiki/3-satisfiability
(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 |