首先，請(qǐng)注意無(wú)后效性一般是針對(duì)問(wèn)題的分析方式的，不是描述一個(gè)問(wèn)題的。
我們說(shuō)某問(wèn)題不具有無(wú)后效性往往是指他的通常解法不具有這種性質(zhì)，而如果我們把狀態(tài)定義成滿足無(wú)后效性原理
的方式，狀態(tài)太多，也沒(méi)有意義。
無(wú)后效性，就是說(shuō)當(dāng)前狀態(tài)是歷史的完全總結(jié)，和如何達(dá)到這一個(gè)狀態(tài)無(wú)關(guān)。
例如，對(duì)于這道單詞接龍的題目，每個(gè)單詞最多用兩次。
那么“當(dāng)前接到的單詞”就不能概括整個(gè)“歷史”，因?yàn)橥瑯邮墙拥降倪@個(gè)單詞，以前考慮過(guò)的單詞究竟是用過(guò)
沒(méi)有，用過(guò)多少次，將同樣影響今后的發(fā)展，而單一的狀態(tài)參量無(wú)法概括這些信息。如果把這些信息加到狀態(tài)
參量中，狀態(tài)太多（指數(shù)級(jí)），動(dòng)態(tài)規(guī)劃也沒(méi)有多大意義。
如果影響歷史的信息并不多，我們可以通過(guò)升維的方法讓我們的狀態(tài)具有無(wú)后效性，
所以我們?cè)谒伎紶顟B(tài)的時(shí)候，指導(dǎo)思想就是“簡(jiǎn)潔而又完全的概括歷史”
摘要: 一篇關(guān)于ACM的文章，有時(shí)間的朋友可以進(jìn)來(lái)看看
閱讀全文
摘要: TSP程序的遞歸實(shí)現(xiàn)
閱讀全文
證明方法：反證法
使用公理：任何一個(gè)非空正整數(shù)集合存在切僅存在一個(gè)最小元素
證明大致過(guò)程：
1、構(gòu)造反命題：存在一個(gè)命題集合P，P(1)成立，P(n)成立時(shí)P(n+1)成立，但存在至少一個(gè)正整數(shù)m，使得P(m)不成立。
2、所有的m構(gòu)成一個(gè)非空正整數(shù)集合A，根據(jù)公理，其中存在最小元素m1，那么m1>1一定成立（因?yàn)镻(1)為真）
3、對(duì)于m1 - 1，存在如下矛盾：P(m1 - 1)應(yīng)該為真，因?yàn)閙1為集合A的最小元素，而如果P(m1 - 1)為真，那么根據(jù)題設(shè)P(m1 - 1 + 1) ＝ P(m1)應(yīng)該為真，與已知P(m1)為假矛盾
摘要: 其實(shí)，遞歸和數(shù)學(xué)歸納法里面所隱含的思想其實(shí)是一樣的
閱讀全文