# {$w(x) = SC$}, daca exista o stare $u$ astfel incat din $x$ sa se poata ajunge in $u$ printr-o mutare si {$w(u) = SP$}
# {$w(x) = minim(n ≥ 0 | n diferit de w(u), oricare ar fi u stare vecina a lui x pentru care w(u) este numar natural)$}. Prin stare vecina se intelege ca se poate ajunge dintr-o singura mutare din $x$ in {$u$}.

Altfel spus, pozitiile superpierzatoare vor avea asociat indicatorul $SP$ iar cele supercastigatoare indicatorul $SC$. Pozitiile normale vor avea atasate valorile Sprague-Grundy obtinute prin functia {$mex$}, luand in considerare doar aceste pozitii.

Altfel spus, pozitiile superpierzatoare vor avea asociat indicatorul $SP$, iar cele supercastigatoare indicatorul $SC$. Eliminand toate aceste pozitii speciale vom obtine un graf in care toate pozitiile sunt normale. Daca aplicam algoritmul functiei $mex$ de determinare a valorilor Sprague-Grundy pe pozitiile ramase obtinem chiar valorile returnate de functia {$w$} pentru aceste pozitii.

Asemanator cu functia {$mex$}, o pozitie $x$ este pierzatoare daca si numai daca {$w(x) = SP$} sau {$w(x) = 0$}.

_Demonstratie_:

_Demonstratie_: Daca {$w(x) = SP$}, atunci evident $x$ este o pozitie de pierdere. Daca {$w(x)$} este numar natural si {$w(x) > 0$}, atunci este posibil ca jucatorul la mutare sa mute intr-o pozitie $y$ cu {$w(y) = 0$} (conform definitiei). Dintr-o pozitie {$w(x) = 0$} se poate muta numai in pozitii supercastigatoare sau in pozitii cu {$w(x) > 0$} (intr-o stare superpierzatoare nu se poate muta, deoarece in aceste stari se poate ajunge doar din stari supercastigatoare). Dat fiind faptul ca jocul este finit, se va ajunge la situatia in care din pozitia {$w(x) = 0$} nu mai exista decat mutari in pozitii {$SC$}.

p{margin:1em; padding: 0.5em; height: 45px; border-top: 1px solid silver;}=.
'Notiuni de baza':teoria-jocurilor | 'Jocul NIM':teoria-jocurilor/jocul-nim | 'Numere Sprague-Grundy':teoria-jocurilor/numere-SG |