ロボットが 軸正の向きに動き始めてから、再び 軸正の向きに動き始める直前までを 周とします。 すると、この 周の動きでのロボットの座標の変位は、入力した を用いて、 と表すことが出来ます。 これを用いて、ロボットの軌道を、 パターンに分けて考えましょう。すなわち、ロボットが停止前に最後に動いた向きによって場合分けします。
例えば、「①ロボットが最後に動いた向きが 軸正の向き」である場合を考えると、 周した後に最後の動きをしたと考えた場合、 周した時点でのロボットの座標は です。このあと、 軸正の向きに だけ進んだとしましょう。ロボットのプログラムより、 この直後に停止するためには であればよいです。そのため、 とすると なる を用いて、 ロボットの停止する座標は となります。
同様に考えると、他の場合にロボットが停止する座標も、以下のように求まります。
「②ロボットが最後に動いた向きが 軸正の向き」である場合:
「③ロボットが最後に動いた向きが 軸負の向き」である場合:
「④ロボットが最後に動いた向きが 軸負の向き」である場合:
したがって、これらの式のいずれかで が表せていればよいということになります。ただ、 という変数があるため、 これを残したままでは直接的に求めることは出来ません。これについては、具体的に条件を見て対処法を考えます。
①の場合、 ですので が偶数でなければいけないことが分かります。また、 が必要です。( 以上の部分は、 以上としてもよいです。) したがって、 の値が分かれば判定が出来ますが、 より一意には決まりません。しかし、問われているのはこのような表し方を構成することであり、 成立条件としては明らかに が大きいほど有利です。このことから、 の場合を除いては全て と決めてしまって構いません(これで構成できなければ、他の でも無理です)。 よって、この形で構成できる条件は、「 が偶数かつ、 の場合 」または「 の場合 」です。
③の場合の も、同様に と決め打つ考察が有効です。この場合は、「 が偶数かつ、 」という条件に帰着します。 また、④の場合の条件も実はこの中に含まれますので、④は改めて考えなくてもよいです。
最後に、②の場合の ですが、この場合は と定まりますので、直接確かめることが出来ます。 と表したとき、これを で割った余りが 以下であることが分かります。 逆にこの条件を満たすならば、 と は一意に適切に定めることが出来るはずです。よって、「 」が最後の条件です。
以上の つの条件のいずれかを満たす場合、その点でロボットを停止させることが可能、というのが最終的な答えです。
まとめ:
「 が偶数かつ、 」または
「 」または
「 が偶数かつ、 」または
「 」
①:実験によって法則をつかみ問題を分解する
手で軌道を書いてみることで、「 周」の規則性に気づくことが出来ます。 (これが出来なかった場合、手元で大きめのケースでも実験することを意識するとよいかもしれません。小さいケースがコーナーケースであり、 ある程度の大きさからしか一般性のある性質が見えない場合も少なくありません。) すると、「 周」に含まれない最後の部分の進み方によって停止点の座標が特徴づけられることが分かり、場合分けによって問題をいくつかの小問題に分割できます。
②:分かりやすい特徴量を定義する
この問題では、 と という数を選んでロボットの動きを決める、という設定ですが、考察においては が直接的に登場するのに対して、 は直接的に登場しません。 というのは、一番初めの進み方を直接的に特徴づける量なのですが、 問題を解くための場合分けにおいて着目するべきなのは(つまり、状況に差異があらわれるのは)むしろ「止まる直前」の動きであるからです。 そこで、 のかわりに、最後に進んだ量 や、 との差を取って という変数を定義します。これと、 および、場合分けのパターンから一意に を再構成できます。 このように、問題文において与えられた変数よりも、状況を分かりやすく説明できる「特徴量」に着目し両者の言い換えを行うことで見通しよく解くことが出来ます。
③:最も有利な状況を考える
場合分けの後、少々数学的な操作をすると成立条件を取り出すことが出来ますが、条件中の変数が確定していません。 十分な時間があれば、ありうる可能性を全探索するのも一手です(今回では、約数を全探索することになります)が、本問題ではTLEします。 今回は構成できるかどうかを聞かれていますので、Noと言い切るためには何が必要かと考えると、一番有利なケースでNoである必要がある、ということが出来る可能性に気づきます。 今回は条件が単純ですので、成立可能性に(広義の)単調性があり、この言い換えが成立します。 様々な可能性の中で、目的のために最善の状況を考えて絞り込むと問題がシンプルになることは少なくありません。