旋转证明韦东奕（韦东奕封神之题-会跳的蚱蜢-程序抓蚱蜢）

上篇文章里，说到，小程序找出了一个排列。对程序来说，找出所有没有陷阱的排列代码反而更简单，因为逻辑判断少了。

蚱蜢组长

蚱蜢副组长

为蚱蜢跳跃选排列

比如下面这6个互不相同的正整数，所有排列总数是6!=720，小样，你5个元素的集合M，最多不就5个陷阱嘛，怕什么！蚱蜢们都一起找吧。

互不相同的6个正整数：9, 4, 6, 2, 45, 12

包含5个元素的集合M：12,57,70,13,19

结果，312个纷纷掉进陷阱，408个跳到了终点！大家此刻想到了什么？终点加个陷阱！

程序遍历找排列

找到408种排列

有坑的路线很多，没坑的也很多。所以证明会很难很难… 从网上找了三种证明方法，列在这儿。

1、第一个是反证法，是归纳总结里带着反证，看了，好像明白了。

反证法

2、第二个证明方法，证明的中心思想是“如果蚱蜢要尝试的机会严格大于前方的陷阱个数的话，就一定会有一个机会，让蚱蜢不落入陷阱”。看了，好像明白了。

高斯学堂证明法

3、第三个证明方法，标准答案，就是韦神的答案。图片有点模糊，有些下标看不太清楚，不看了，等图片清楚了再看。

韦神证明法

诓了这么多蚱蜢。请请请～

烤蚂蚱

油炸蚂蚱

干杯

和蚱蜢在一起的其他五道题。

一个都不会