بازی اثباتی

یک بازی اثباتی بازی قانونی‌ای است که از موقعیت آغازین شروع می‌شود و به نمودار هدف می‌رسد. هدف پایه‌ای آن اثبات دسترس‌پذیر بودن موقعیت است. ازاین‌رو به‌طور طبیعی در حوزهٔ تحلیل واپس‌نگر قرار می‌گیرد، جایی که تاریخچهٔ پیشین صفحه بخشی از مسئله است.

در مسئله‌پردازی، شرط PG، که در آن PG مخفف Proof Game است، معمولاً از حل‌کننده می‌خواهد بازی‌ای را بازسازی کند که در طول اعلام‌شده دقیقاً به نمودار برسد. هر دو طرف ممکن است حرکت‌هایی انجام دهند که در بازی رقابتی عجیب به نظر برسند، زیرا هدف مسئله بردن بازی نیست، بلکه رسیدن به موقعیت خواسته‌شده است.

چهار نیم‌حرکت نمودار را می‌سازند

8

7

6

5

4

3

2

a1

b

c

d

e

f

g

h

آغاز

a3

a6

Ra2

Ra7

پوزیسیون آغازین

اثبات از پوزیسیون آغازین استاندارد شروع می‌شود.

اصطلاح‌گذاری در منابع متفاوت است. در تحلیل واپس‌نگر، بازی اثباتی می‌تواند هر مسیر قانونی از موقعیت آغازین تا نمودار باشد. برخی منابع مسئله‌پردازی، بازی اثباتی را برای کوتاه‌ترین ساخت به کار می‌برند، درحالی‌که Shortest Proof Game یا SPG شرط کوتاه‌ترین بودن را صریح می‌کند. بنابراین شرط اعلام‌شده تعیین می‌کند چه چیزی باید اثبات شود.