Chomp游戏可以先行必胜 ·存在性证明方法的一种典范 ·存在性证明的非构造法的一种典范 ·证明思路： ·不可能平局：最多MN步骤必定出结果 ·假设后手可以必胜： ·先手取走(m,n),后手根据自己的必胜策略，取走(a,b),然后按照拟定的后续步 骤s1,5,2,,sk获胜 （剧情回退)先手取走(a,b,然后按照s1,5,2,,sk获胜 ·先手可以必胜Chomp游戏可以先行必胜 • 存在性证明方法的一种典范 • 存在性证明的非构造法的一种典范 • 证明思路： • 不可能平局：最多MN步骤必定出结果 • 假设后手可以必胜： • 先手取走（m,n）,后手根据自己的必胜策略，取走（a,b）,然后按照拟定的后续步 骤s1,s,2,…,sk获胜 • （剧情回退）先手取走(a,b),然后按照s1,s,2,…,sk获胜 • 先手可以必胜