概述
-
现实是复杂而困难的。
-
很多问题是 NP 的。
-
同样很多的问题我们连它们是不是 NP 都不知道。
-
更多的问题我们甚至无法把它归约到某种逻辑学的形式上，更无从谈起了。
-
-
但是，我们还是想知道。我们还是想知道：
-
这个命题是否很可能/很不可能是真的？
-
这个问题的足够优秀的解/决策集是怎样的？
-
-
于是我们考虑模仿现实中许多混沌系统的演化或者说自组织方式，试图以此在可以接受的时间内获得一个足够好，也即足够现在用的解（判定性问题一般交给随机探测，不在这里）。
-
它们就是近似算法。
-
我个人认为下面三种算法有递进关系。
约定
-
本系列文章中，“估价函数”指的是需求下对应状态的优秀程度，“状态评估函数”指的是在期望意义下对应状态能转移到的最终状态的优秀程度。
-
不过大部分情况下后者不可求，所谓的“用状态评估函数来进行转移”只是一种美好的愿望，故盲目性总是存在的。