第6問
平面上に、どの2本も交わり、どの3本も1点で交わらないような 本の線分がある。ジェフは各線分の端点を1つ選び、そこにカエルを置いて、もう一方の端点の方を向かせる。その後、彼は手を 回叩く。手を叩くたびに、すべてのカエルは即座に自分の線分上の次の交点まで前方に跳ぶ(カエルは決して跳ぶ向きを変えない)。ジェフは、どの2匹のカエルも同時に同じ交点を占めることがないようにカエルを配置したいと考えている。(a) が奇数のとき、ジェフは常にその望みを実現できることを証明せよ。(b) が偶数のとき、ジェフは決してその望みを実現できないことを証明せよ。
ざっくり言うと
すべての開始時のカエルを奇数番目の点に置いて走らせると、衝突を防ぐ単純なパリティ不変量が保たれる。
詳しい解説
が奇数のとき、 と書き、()を、奇数番目の点 ( の添字は を法として読む)からカエルが出発する線分とする。もう一方の端点は である。したがって配置は明示的である:カエルはすべての奇数番目の点 から出発し、 本の各線分に1匹ずつ置かれ、 上のカエルは から へ向く。 を固定する。 では、 の端点 は から への開いた円弧上にある。 では、その円弧上にある の端点は対蹠点 であり、 からの相対的な添字は である。 なので、これらの相対添字はそれぞれ と であり、円弧上でちょうどすべての整数 を順に与える。したがって、 が と交わるとき、 上のカエルから数えた交点の順位は、 なら 、 なら である。同じ議論を任意の一対 に巡回的に適用し、始点の添字の巡回差を と書けば、2匹のカエルからそれぞれ数えたこの交点の順位は と である:2匹目のカエルからは同じ交点の順序が逆向きに見える。これが不変量/パリティの数え上げである:各ペアの2つの順位は に属する正整数で、その和は だから、 が奇数である以上、互いに等しくなれない(等しければ となる)。拍手 回目()の後、カエルは自分の向きの線分上で 番目の交点にいる。したがって2匹が衝突できるのはペアの2つの順位が等しい場合だけだが、それはすでに排除された。この明示的な奇数点配置は、すべての衝突を避ける。