グランディ数の問題の解き方メモ (ARC072 D - Alice&Brown)
あまりに苦手なので、やまさん(@yamasangamasan)に解き方のコツを聞いたのでメモしました。文章だらけなのでかなり読みづらいです...
グランディ数を使う問題は、
二人零和有限確定完全情報ゲームです(!)
AとBの2人がいて、ある操作行うようなゲームをします。お互いが最適な行動をしたときに、どちらが勝つか判定してください。
今回は以下の問題を例として使って行きます。
ARC072 D - Alice&Brown
とは、便宜上としておきます。
基本方針
操作ができずに負けが決まる状態をグランディ数が0であるとし、小さいケースについてのグランディ数を求めていく
後で詳しく述べます。
先にグランディ数を簡単に説明すると、0のときは後手が勝ち、それ以外だと先手が勝ちになるようなものです(逆もあります)。グランディ数が0になるパターンとならないパターンの規則性に目星をつける
ある条件を満たすとグランディ数が0に、満たさない時には0以外になる、というような規則性を探します。先ほどの規則性によって求められる数が、実際に正しいグランディ数であることを証明する
これは、2つのことを証明します。
ある状態においてグランディ数が0であったときに、そこから1回操作をすると起こり得る全ての状態(以降は遷移先と表現します)についてグランディ数が0となるものが存在しないこと(もちろん、遷移先が必ず0以外になる、ということと同じです)
ということと、
ある状態においてグランディ数が0でないときに、遷移先にグランディ数が0となるものが少なくとも1つは存在すること
の2つです。これは、帰納法を用いて証明することができます。
小さいケースのグランディ数を求める
ある状態についてのグランディ数を求めます。
のとき、なにも操作ができない状態ならばグランディ数が0となります。
それ以外の場合、の遷移先のうちどれか1つの状態をとしたときに、あり得る全てのについてのグランディ数を求め、に存在しない数のなかで最小の非負整数となります。
今回の問題において、ありうるの状態をという表記をすると、
(0,0), (0,1), (1,1)はこれ以上遷移ができないのでグランディ数は0です。
(0,2)は(0,1)に遷移できます。(0,1)はグランディ数が0なので(0,2)のグランディ数は1になります。
(1,2)は(0,2)に遷移できます。(0,2)はグランディ数が1なので(1,2)のグランディ数は0になります。
(0,4)は(0,2)と(1,2)に遷移できます。この2つのグランディ数はそれぞれ0と1なので、(0,4)のグランディ数は2になります。
そして、グランディ数が0のときは後手の勝ち、それ以外のときは先手の勝ちとなります。
グランディ数が0のときは、必ず0以外の状態に遷移するしかなく、またグランディ数が0以外のときは必ず0となるような遷移が存在します。
なので、グランディ数が0でないような状態で自分のターンが回ってきたとき、グランディ数が0となるように操作をしてから相手にターンを回せば、必ず勝つことができます。
こうして求めたグランディ数について、どのような場合に0、どのような場合に0以外になるか、規則性を見つけます。
今回の問題における規則性は、
ならばグランディ数は0、それ以外なら0以外
という規則です。規則の見つけ方については、最後に簡単に述べますが、基本的には経験と発想力で見つけるしかないかと思います…
帰納法で示す
数学的帰納法で、2つのことを証明します。
ある状態において、規則性を適用して求めたグランディ数をとします。このが実際のグランディ数と一致することは、以下の二つを示すことができればよいです。
ある状態においてであったときに、任意の遷移先についてであること(もしくは遷移先が存在しないこと)
ある状態においてのときに、遷移先にとなるものが少なくとも1つは存在すること
です。この2つを示すことができれば、は正しくグランディ数を求められていることになります。
今回用いる帰納法についての軽いおさらいです。ある自然数に関する事柄(今回は上記の2つのことです)が成り立つことを、
の場合に成り立つ
のとき(もしくはのときに成り立つとき)に、で成り立つ
の2つのパートに分けて証明します。
これを組み合わせると、で成り立つのでで成り立ち、 (と )で成り立つのでで成り立ち…と全てのについて成り立つことができます。
帰納法を用いてどうやって証明するかというと、まずは全ての状態をグループ分けしていきます。そのときに番号を割り振り、を決めていきます。
今回は、とします。(0,0)は、(0,2)と(1,1)が、といった具合です。
ここで、の決め方で注意するべきポイントが存在します。
- ある状態においてだったとき、その遷移先ではは未満であること
です。でないと、証明の際にループをしてしまい証明できなくなります。
例えば、のように定義をしてしまうと、(2,2)の遷移先に(0,3)が存在するため、の遷移先にが存在することになってしまいます。これでは証明ができません。
規則性を探す実験の段階で、このについても気を配りつつ探していくといいでしょう。
ということで上記のことに気を付けながらを定義していきます。
ということで、定義したをもとにして、見つけた規則がグランディ数を求めることができていることを証明していきます。
規則性を振り返ってみます。
- ならばグランディ数は0、それ以外なら0以外
です。これを適用して求めた数が、
ある状態においてであったときに、任意の遷移先についてであること(もしくは遷移先が存在しないこと)
ある状態においてのときに、遷移先にとなるものが少なくとも1つは存在すること
という2つの条件を満たしていくことを示していきます。
- の場合に成り立つ
とは限らず、小さい数ケースについて成り立つ、でも大丈夫です。
小さいケースは最初に実験をしていれば、その規則が実験結果と等しくなっていることで証明になります。
今回は、についてまとめて証明します。
[1].
(0,0)のみです。です。遷移先が存在していないのでこれは条件を満たします。
[2].
(0,1)のみです。です。これも遷移先が存在しません。
[3].
(1,1)および(0,2)です。前者は、後者はです。(1,1)は遷移先が存在
しません。(0,2)の遷移先には(0,1)があり、これはなので条件を満たします(とは、便宜上としていたので、本来なら(1,0)に遷移をするのですが(0,1)と表記しています)。
ということで、の場合は条件を満たしていることがわかりました。
のとき(もしくはのときに成り立つとき)に、で成り立つ
ここがふんばりどころになります。うまくの条件を利用できるようにして当てはめていきます。今回はあまりこの条件は必要ないですが…
の場合についてのみこれが示せればいいです(0,1,2は証明済みのためです)。
このとき、のうちどちらか片方はすくなくとも2より大きく、必ず操作ができます。
という条件をたてていたので、を操作することを考えていきます。
、、の3つのパターンに分けることができます。最初の二つは、で、最後のパターンのみです。のとき
からだけ減らし、にその半分を追加するとします。
このとき、となります。
であることから、となり、であることから、3以上の差が生まれます。ということで、遷移先はとの差が必ず1より大きいので、です。のとき
上と同じことを考えます。
からだけ減らし、にその半分を追加するとします。
このとき、となります。
この差は、となり、差は2以上です。
よって、です。のとき
からだけ減らし、にその半分を追加するとします。すると、差は次のようになります。
となるようにを決めます。
とすると、遷移先のの差が1以下になり、になります。
ということで、全てののペアにたいして、のときに条件を満たすことがわかりました。
ので、
- ならばグランディ数は0、それ以外なら0以外
という規則はめでたくグランディ数を求めていることになりました。
あとは、これをもとに答えを出力していけば答えとなります。
規則性の見つけ方
グランディ数の規則性の見つけ方は、経験によるものが多いです(やまさん談)。
問題の操作でどんなことをするかによって、ある程度目星をつけることができるみたいです。
一例を以下に示します。もちろん例外もありますので、頭の片隅に入れておく程度がいいかと思います。あくまで経験による感覚的なものですので、違っている場合もあります。ご了承ください。
2つの数字を操作するパターン
今回の問題のパターンです。このパターンの場合、
2つの数字を式で表した結果が規則になっている場合が多い
みたいです。特に、
操作において、片方で減算してもう片方で加算、のような操作をすると2つの数字を加算、もしくは減算した式が規則になることが多いそうです。
もし操作が、掛け算や割り算だった場合は、規則に掛け算や割り算、余りなどが絡むことが多いそうです。文字列を扱うパターン
1文字ずつ減らしていく操作ならば、文字列の長さの偶奇が基本的に絡んできます。終了条件が多いパターン
終了条件だけをみて、何かしらの規則が見つかることが多いです。
おそらくこれだけでなく、膨大な量のパターンがあると思います。経験していくしかなさそうです…
あとは、この問題に限ったことではないですが、小さいケースにコーナーケースが潜んでいることがありますので注意をしましょう…
これらをもとにして、問題の時間制限内に答えを見つけられるような計算量の規則を探していけば、この手の問題に答えることができるようになります(といいですね!)。
終わりに
グランディ数は個人的にあまり見かけない問題ではありますが、解けるようにしておくとだいぶ変わってくるかなと思っているので、このメモをもとに自分も解けるようにしていきたいですね…