Capture-Quiet Decomposition: A Verification Theorem for Chess Endgame Tablebases

Alexander Pavlov

We present the Capture-Quiet Decomposition (CQD), a structural theorem for verifying Win-Draw-Loss (WDL) labelings of chess endgame tablebases. The theorem decomposes every legal p…