Strategia wygrywająca Metodą „kradzieży strategii” można udowodnić, że pierwszy gracz zawsze ma strategię wygrywającą (czyli pozwalającą rozstrzygnąć rozgrywkę na jego korzyść niezależnie od postępowania drugiego gracza). Należy w tym celu przypuścić, że drugi gracz dysponowałby strategią wygrywającą. Niech pierwszy gracz rozpocznie grę, biorąc jedynie dolną prawą kostkę. Wówczas – zgodnie z założeniem – istnieje kostka x, którą może wziąć gracz drugi, aby ponownie postawić gracza pierwszego w pozycji przegrywającej. Można jednak zauważyć, że gracz pierwszy mógłby już w swoim pierwszym ruchu wziąć kostkę x, doprowadzając do dokładnie tej samej pozycji – stawiając gracza drugiego w pozycji przegrywającej. To uzupełnia dowód przez sprowadzenie do sprzeczności pokazujący, że drugi gracz nie może dysponować strategią wygrywającą. Jako że gra nie zawiera elementów losowych i zawsze zostaje rozstrzygnięta po skończonej liczbie ruchów (liczba kostek jest skończona, a w każdym ruchu trzeba „zjeść” przynajmniej jedną), któryś z graczy musi dysponować strategią wygrywającą, a zatem jest to gracz pierwszy.
Źródło i licencja
Fragment artykułu Wikipedia — Chomp · historia autorów.
Tekst: CC BY-SA 4.0. Wydzielono fragment z dłuższego artykułu.