Permainan pembuktian

Sebuah permainan pembuktian adalah partai sah yang dimulai dari posisi awal dan mencapai diagram sasaran. Tujuan dasarnya adalah menunjukkan bahwa posisi tersebut dapat dicapai. Karena itu, bentuk ini secara alami termasuk dalam analisis retrograd, tempat sejarah papan sebelumnya menjadi bagian dari problem.

Dalam komposisi, stipulasi PG, dengan PG sebagai singkatan dari Proof Game, biasanya meminta pemecah merekonstruksi partai yang mencapai diagram tepat dalam panjang yang ditetapkan. Kedua pihak dapat membuat langkah yang tampak aneh dalam permainan kompetitif, karena tujuan problem bukan memenangkan partai melainkan mencapai posisi yang diminta.

Terminologi berbeda antar sumber. Dalam analisis retrograd, permainan pembuktian dapat berarti setiap rute sah dari posisi awal ke diagram. Beberapa sumber komposisi memakai proof game untuk konstruksi terpendek, sedangkan Shortest Proof Game, atau SPG, menyatakan syarat minimalitas secara tegas. Karena itu, stipulasi yang dinyatakan menentukan apa yang harus dibuktikan.