证明对局

证明对局是从初始局面开始并到达目标图示的合法对局。其基本用途是证明该局面可以形成。因此，它自然属于逆向分析领域，因为棋盘此前的历史正是问题的一部分。

在排局中，PG 条件通常要求解题者重建一盘恰好在规定长度到达图示局面的对局，PG 是 Proof Game 的缩写。双方都可能走出在竞技对局中显得奇怪的着法，因为棋题的目标不是赢棋，而是到达指定局面。

不同资料采用的术语有所不同。在逆向分析中，证明对局可以指从初始局面到图示局面的任何合法路径。有些排局资料用证明对局专指最短构造，而Shortest Proof Game，即 SPG，则明确要求长度最短。因此，题目给出的条件决定需要证明什么。