首先，請注意無后效性一般是針對問題的分析方式的，不是描述一個問題的。
我們說某問題不具有無后效性往往是指他的通常解法不具有這種性質，而如果我們把狀態定義成滿足無后效性原理
的方式，狀態太多，也沒有意義。
無后效性，就是說當前狀態是歷史的完全總結，和如何達到這一個狀態無關。
例如，對于這道單詞接龍的題目，每個單詞最多用兩次。
那么“當前接到的單詞”就不能概括整個“歷史”，因為同樣是接到的這個單詞，以前考慮過的單詞究竟是用過
沒有，用過多少次，將同樣影響今后的發展，而單一的狀態參量無法概括這些信息。如果把這些信息加到狀態
參量中，狀態太多（指數級），動態規劃也沒有多大意義。
如果影響歷史的信息并不多，我們可以通過升維的方法讓我們的狀態具有無后效性，
所以我們在思考狀態的時候，指導思想就是“簡潔而又完全的概括歷史”
摘要: 一篇關于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)為假矛盾
摘要: 其實，遞歸和數學歸納法里面所隱含的思想其實是一樣的
閱讀全文