数学 › 組合せ論 › グラフと行列式

mex と Grundy 値

定義 9.3(「グラフと行列式」§9)

非負整数の有限集合 SS に対し mex(S)\mathrm{mex}(S) を、SS に含まれない最小の非負整数とする。局面 uu の Grundy 値を h(u)h(u) についての再帰で g(u)=mex{g(v):u→v}g(u)=\mathrm{mex}\{g(v):u\to v\} と定める(手がなければ g(u)=mex ∅=0g(u)=\mathrm{mex}\,\varnothing=0)。

本文で読む(前後の説明と例)→

閉包の状態

定義

定義は閉包の起点です(証明を要しません)。

印の意味: ✓公理まで証明済み ・ △証明あり(閉包未完)・ ※主張のみ。テーマごとの集計は 閉包の状況。

これを使っている定理

証明で明示的に参照している定理は、まだありません。