OMCE011
OMCE011(F)
正の整数 に対して, で問題文の条件を満たすような移動を 回したときに がいる可能性のある点の個数を で表す.求めるのは の値である.
一辺 のマス目で正方形を作り,その対辺どうしをつないでトーラスを作る.このとき,問題の条件を満たす経路とはすなわちその 個のマスをちょうど 度ずつ通るような経路である.経路長の を考えれば, 回 は非負整数, の操作を終わらせたあとに がいるべきマスは図1 の場合 のように塗り分けたマスのうち と書き込まれた場所のどこかであり,特にすべての移動が終わったあとにいるべきマスは が書かれたマスである.
さて,以下 が書かれたマス 個を総称してスタートマス, が書かれたマス 個を総称してゴールマスと呼ぶことにする.このとき, は 回の移動の中で 回スタートマスからゴールマスへの移動 経路長 をし,また 回ゴールマスからスタートマスへの移動 経路長 をすることになる.スタートマス,ゴールマスを除いた 個のマス目を前者の移動ですべて網羅しなければならないことから,前者の移動の仕方は 回すべてにおいて合同でなければならないことがわかる(これは経路中で が曲がる部分に着目すると示すことができる).
ここで, が最終的にいるマス目の 座標はすなわち, が右に動いた回数である.この動いた回数は, 以上 未満の整数 を用いて と一意的に表せるため,以下 が右に動いた回数を の形で表すこととする.このとき, の値はスタートマスからゴールマスへの各移動で右に何マス動いたかを示すものであり, の値はゴールマスからスタートマスへの計 回の移動のうち何回右に動いたかを示すものである.
この の値が一定ならば,スタートマスからゴールマスへの移動の仕方は,実際にそのような移動が可能かどうかに影響しない.すなわち,スタートマスからゴールマスへの移動は, 軸方向に マス動き,その後 軸方向に マス動く場合のみを考えればよい.
このとき,実際に最終的な 座標が とすることができるかどうかは,図2( の場合)のように実際に経路を書き,ゴールへたどり着くまでにすべての経路を通れるかを検証すればいい.たとえば図2では,ゴールへたどり着くまですべての経路を通っていないので, において とすることはできない.ここで,どの隣接するスタートマスとも直接連結されていないゴールマスを行き止まりとよぶ.
さて, の値によって場合分けをする.
のとき
回目にたどり着くゴールマスの 座標は と で合同.行き止まりとなるゴールマスは 上のものであるため, が で初めて の倍数となればよい.つまり と が互いに素であることが条件であるため,場合の数は ( はEuler関数).のとき
始めにたどりつくゴールマスが行き止まりなので,明らかに不適.それ以外
が最初にいたスタートマスと同じ 座標のマス及び最初に着いたゴールマスと同じ 座標のマスを削除し,離れた部分をくっつけるようにして新たに一辺 の正方形を作る(図3).
このとき場合分けより行き止まりのゴールマスは消去されず,もとの正方形で が または 回目の操作で到着したマス 及び行き止まり以外はすべての出入りが連結される.また新たにループが生まれる・消えることもないため,このマス を新たに点 の初期位置と定めると,一辺 の正方形における新たな経路を得ることができる.この場合分けに該当する の組は 個であり,操作によって消去される 方向の移動の回数に着目すれば,一辺 の正方形の経路における 方向の移動の回数は であり,場合分けの条件下においてこれは 以上 未満の任意の整数値をちょうど一度ずつとる.したがって,この場合に問題の条件を満たす の個数は に等しい.
以上より,任意の 以上の整数 について を得る.さらに なので, であり,これを計算すればよい. 以下の正の整数の組 であって と が互いに素となるようなものの個数は に等しく,一方でこれは がともに の倍数である場合をそれぞれ計算することで に等しいことがわかる.これより がわかり,これが解答すべき値である.
解説YouTube
解説YouTubeが存在しません.