逆向分析

从当前局面向后推理，判断哪些先前着法或事件符合现有局面及国际象棋合法规则。

从国际象棋初始局面出发，到达指定局面的合法着法序列，用来证明目标局面可以形成。

一种约定，当某些特殊着法的许可取决于彼此不相容的合法历史时，把解答分成若干部分。