|
|
| (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 |
ISC 2024
