MatPlus.Net

 Website founded by
Milan Velimirović
in 2006

1:34 CET
 
  Forum*
 
 
 
 

Username:

Password:

Remember me

 
Forgot your
password?
Click here!
SIGN IN
to create your account if you don't already have one.
CHESS
SOLVING

Rating lists
01-Jul-2019

B P C F





 
 
MatPlus.Net Forum General #2 SAT
 
You can only view this page!
(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?
 
(Read Only)pid=14648
(2) Posted by Juraj Lörinc [Friday, Jun 10, 2016 23:03]

It is not allowed to capture king in SAT.
 
 
(Read Only)pid=14649
(3) Posted by Eugene Rosner [Saturday, Jun 11, 2016 00:09]

so if it's the only choice, it is stalemate?
 
   
(Read Only)pid=14651
(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.
 
   
(Read Only)pid=14653
(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
 
   
(Read Only)pid=14693
(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.
 
   
(Read Only)pid=14696
(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 :-)
 
 
(Read Only)pid=14715

No more posts


MatPlus.Net Forum General #2 SAT