miguel-ambrona / D3-Chess

Chess Unwinnability Analyzer is an implementation of a decision procedure for checking whether there exists a sequence of legal moves that allows a certain player to checkmate their opponent in a given chess position.
https://chasolver.org
GNU General Public License v3.0
51 stars 8 forks source link

Unidentified dead positions #37

Closed viktpal closed 1 year ago

viktpal commented 1 year ago

CHA doesn't identify unwinnible positions in the following examples:

1k6/pPp5/BpP4b/1P6/8/7B/8/5B1K b - - white image

8/8/1k1p1p2/3PpP2/3pKp2/b2P1P2/8/3B1B2 b - - white 8/8/1k1p1p2/3PpP2/3pKp2/b2P1P2/8/3B1B2 b - - black image

miguel-ambrona commented 1 year ago

Thank you so much @viktpal ! This is great! :)

We need to revisit and extend the static algorithm. I'm wondering why they are not currently captured.