مباراة إثبات

مباراة الإثبات مباراة قانونية تبدأ من الوضع الابتدائي وتصل إلى الرسم المستهدف. وغرضها الأساسي إثبات أن الوضعية قابلة للوصول. لذلك تنتمي طبيعيًا إلى التحليل الرجعي، حيث يكون تاريخ الرقعة السابق جزءًا من المسألة.

في التأليف، يطلب شرط PG، حيث إن PG اختصار Proof Game، عادةً من حلّال المسألة إعادة بناء مباراة تصل إلى الرسم بالطول المحدد. وقد يلعب الطرفان نقلات تبدو غريبة في المنافسة، لأن هدف المسألة ليس الفوز بالمباراة بل بلوغ الوضعية المطلوبة.

تختلف المصطلحات بين المصادر. ففي التحليل الرجعي قد تعني مباراة الإثبات أي مسار قانوني من الوضع الابتدائي إلى الرسم. وتستخدم بعض مصادر التأليف مباراة الإثبات للدلالة على بناء هو الأقصر، بينما يجعل Shortest Proof Game، أو SPG، شرط الحد الأدنى صريحًا. لذلك يحدد الشرط المذكور ما يجب إثباته.