Partia dowodowa

Partia dowodowa to legalna partia, która zaczyna się od pozycji początkowej i prowadzi do diagramu docelowego. Jej podstawowym celem jest wykazanie, że dana pozycja jest osiągalna. Dlatego naturalnie należy do analizy retrogradnej, w której wcześniejsza historia szachownicy stanowi część zadania.

W kompozycji warunek PG, przy czym PG jest skrótem od Proof Game, zwykle wymaga od rozwiązującego odtworzenia partii, która dochodzi do diagramu dokładnie w podanej liczbie posunięć. Obie strony mogą wykonywać ruchy wyglądające dziwnie w grze turniejowej, ponieważ celem zadania nie jest wygranie partii, lecz osiągnięcie wymaganej pozycji.

Terminologia różni się między źródłami. W analizie retrogradnej partia dowodowa może oznaczać dowolną legalną drogę od pozycji początkowej do diagramu. Niektóre źródła kompozycyjne używają określenia partia dowodowa dla konstrukcji najkrótszej, natomiast Shortest Proof Game, czyli SPG, wyraźnie wprowadza wymóg minimalnej długości. O tym, co dokładnie trzeba udowodnić, decyduje więc podany warunek.