首先，请注意无后效性一般是针对问题的分析方式的，不是描述一个问题的。
我们说某问题不具有无后效性往往是指他的通常解法不具有这种性质，而如果我们把状态定义成满足无后效性原理
的方式，状态太多，也没有意义。
无后效性，就是说当前状态是历史的完全总结，和如何达到这一个状态无关。
例如，对于这道单词接龙的题目，每个单词最多用两次。
那么“当前接到的单词”就不能概括整个“历史”，因为同样是接到的这个单词，以前考虑过的单词究竟是用过
没有，用过多少次，将同样影响今后的发展，而单一的状态参量无法概括这些信息。如果把这些信息加到状态
参量中，状态太多（指数级），动态规划也没有多大意义。
如果影响历史的信息并不多，我们可以通过升维的方法让我们的状态具有无后效性，
所以我们在思考状态的时候，指导思想就是“简洁而又完全的概括历史”
摘要: 一篇关于ACM的文章，有时间的朋友可以进来看看
阅读全文
证明方法：反证法
使用公理：任何一个非空正整数集合存在切仅存在一个最小元素
证明大致过程：
1、构造反命题：存在一个命题集合P，P(1)成立，P(n)成立时P(n+1)成立，但存在至少一个正整数m，使得P(m)不成立。
2、所有的m构成一个非空正整数集合A，根据公理，其中存在最小元素m1，那么m1>1一定成立（因为P(1)为真）
3、对于m1 - 1，存在如下矛盾：P(m1 - 1)应该为真，因为m1为集合A的最小元素，而如果P(m1 - 1)为真，那么根据题设P(m1 - 1 + 1) ＝ P(m1)应该为真，与已知P(m1)为假矛盾
摘要: 其实，递归和数学归纳法里面所隐含的思想其实是一样的
阅读全文