単元一覧 › 大学数学 ゲーム理論

ゲーム理論の問題

難易度 1教科書の例題レベル大学数学 ゲーム理論

石が 個ある 1 つの山を使って、2 人のプレイヤーが交互に次の操作を行う。

操作:山から石をちょうど 個または 個取り除く(山にある石の個数より多くは取れない)。

操作できなくなったプレイヤーの負けとする。石が 個の山( は 以上の整数)のグランディ数を とする。 は、1 手で移れる局面のグランディ数の集合の mex(その集合に含まれない最小の 以上の整数)として定める。ただし、1 手も動かせない局面では集合が空なので、グランディ数は とする。 を求めよ。

この問題で使うもの

ヒント

行き詰まったら、上から順に 1 つずつ開いてください。

ヒント 1

技能「グランディ数と mex」を使います。 を、1 手で移れる局面のグランディ数の集合の mex として、 から順に表にしましょう。

ヒント 2

石が 個の山から移れるのは 個と 個の山なので、 です。表の値がくり返し始める場所(周期)を探しましょう。

ヒント 3

は で、 は となり、最初と同じ並びに戻ります。 を周期で割った余りを考えましょう。

答えと解説

答えを見る
結果を記録する(このブラウザにだけ保存されます):
解説を読む

石が 個の山から 1 手で移れるのは、石が 個の山と 個の山である(ただし個数が 以上になるものだけ)。よって

である(存在しない項は集合に入れない)。小さい から順に表を作る。

  • :動かせないので 。
  • :2 個も 3 個も取れないので 。
  • 。
  • 。
  • 。
  • 。
  • 。
  • 。
  • 。
  • 。

表にすると

となる。 は直前の だけで決まるので、連続する 3 つの値が以前と一致すれば、その後はくり返しになる。 は と一致するから、 は周期 で をくり返す。つまり である。

なので

である。

別解

移れる先は と なので、(存在する項のみ)である。

順に計算する。
- , (動かせない)
-
-
-
-
-
-

よって となる。 は直前の連続 3 項だけで決まるので、 は周期 5 の数列 になる。

なので 。

検算:、 より 。一致する。

この問題の確認

AI が作成した問題です。公開前に次の確認を行いました。確認の方法について

間違いを報告する

この問題の誤り・分かりにくい点・難易度や学年のずれを知らせる
どこについての報告ですか

報告の内容と問題の番号を保存します。名前やメールアドレスは保存しません。

関連する問題