ゲーム理論の問題
石が 個ある 1 つの山を使って、2 人のプレイヤーが交互に次の操作を行う。
操作:山から石をちょうど 個または 個取り除く(山にある石の個数より多くは取れない)。
操作できなくなったプレイヤーの負けとする。石が 個の山( は 以上の整数)のグランディ数を とする。 は、1 手で移れる局面のグランディ数の集合の mex(その集合に含まれない最小の 以上の整数)として定める。ただし、1 手も動かせない局面では集合が空なので、グランディ数は とする。 を求めよ。
この問題で使うもの
- グランディ数と mex(説明と入口の問題)
ヒント
行き詰まったら、上から順に 1 つずつ開いてください。
ヒント 1
技能「グランディ数と mex」を使います。 を、1 手で移れる局面のグランディ数の集合の mex として、 から順に表にしましょう。
ヒント 2
石が 個の山から移れるのは 個と 個の山なので、 です。表の値がくり返し始める場所(周期)を探しましょう。
ヒント 3
は で、 は となり、最初と同じ並びに戻ります。 を周期で割った余りを考えましょう。
答えと解説
答えを見る
どこでつまずきましたか?(選ぶと、戻る場所を案内します)
解説を読む
石が 個の山から 1 手で移れるのは、石が 個の山と 個の山である(ただし個数が 以上になるものだけ)。よって
である(存在しない項は集合に入れない)。小さい から順に表を作る。
- :動かせないので 。
- :2 個も 3 個も取れないので 。
- 。
- 。
- 。
- 。
- 。
- 。
- 。
- 。
表にすると
となる。 は直前の だけで決まるので、連続する 3 つの値が以前と一致すれば、その後はくり返しになる。 は と一致するから、 は周期 で をくり返す。つまり である。
なので
である。
別解
移れる先は と なので、(存在する項のみ)である。
順に計算する。
- , (動かせない)
-
-
-
-
-
-
よって となる。 は直前の連続 3 項だけで決まるので、 は周期 5 の数列 になる。
なので 。
検算:、 より 。一致する。