第6题
平面上有 条线段,任意两条都相交,且没有三条线段共点。Geoff 必须为每条线段选定一个端点,在那里放一只青蛙,面朝另一个端点。然后他会拍手 次;每拍一次手,每只青蛙都立即向前跳到其所在线段上的下一个交点(青蛙从不改变跳跃的方向)。Geoff 希望这样放置青蛙,使得任何两只青蛙都不会在同一时刻占据同一个交点。(a) 证明当 为奇数时,Geoff 总能实现他的愿望。(b) 证明当 为偶数时,Geoff 永远无法实现他的愿望。
通俗地说
把所有初始青蛙放在奇数标号的点上并让它们运行,可以保持一个简单的奇偶不变量,从而防止碰撞。
详细分析
当 为奇数时,写成 ,令 ()表示青蛙从奇数标号点 出发的线段( 的指标按模 读取);它的另一端点是 。因此放置是明确的:青蛙从所有奇数标号点 出发, 条线段各放一只,并且 上的青蛙沿 到 的方向前进。固定 。当 时, 的端点 位于从 到 的开圆弧上;当 时, 位于该圆弧上的端点是其对径点 ,它相对于 的指标为 。因为 ,这些相对指标分别为 和 ,所以按圆弧顺序恰好是全部整数 。因此,若 与 相交,从 上的青蛙开始数,该交点的次序为:当 时 ,当 时 。将同一论证旋转到任意一对 ,并把它们起点指标的循环差记为 ,则从两只青蛙分别数起,该交点的两个次序是 和 :第二只青蛙看到的交点顺序正好相反。这就是不变量/奇偶计数:每一对的两个次序都是 中的正整数,且和为 ,所以由于 为奇数它们不可能相等(若相等则有 )。第 次拍手后(),青蛙位于其前进方向上第 个交点;所以两只青蛙只有在这两个次序相等时才会相撞,而这一点刚刚已经排除。因此,这个明确的奇数点放置方式避免了所有碰撞。