Доказова партія

Доказова партія є дозволеною партією, що починається з початкової позиції та доходить до цільової діаграми. Її основна мета полягає в доведенні досяжності позиції. Тому вона природно належить до ретроградного аналізу, де попередня історія дошки є частиною задачі.

У композиції умова PG, де PG є скороченням від Proof Game, зазвичай просить розв'язувача відтворити партію, яка доходить до діаграми за вказану довжину. Обидві сторони можуть робити ходи, що виглядали б дивними в змагальній партії, оскільки мета задачі полягає не в перемозі, а в досягненні потрібної позиції.

Термінологія відрізняється між джерелами. У ретроградному аналізі доказова партія може означати будь-який дозволений шлях від початкової позиції до діаграми. Деякі джерела з композиції використовують доказову партію для найкоротшої побудови, тоді як Shortest Proof Game, або SPG, прямо вимагає мінімальної довжини. Отже, саме зазначена умова визначає, що потрібно довести.