《如何求解问题+现代启发式方法(Modern Heuristics)》读书笔记1

@@问题=>模型=>求解

求解问题的时候，我们其实往往是先把问题描述为一个模型，然后给问题的模型求解

 

@@证明问题的基本思路

1演绎法

2归纳法

3反证法

4把这个问题转换为它的逆否命题再做证明

 

@@对算法进行分类

第一类：评估子空间而非个体解

贪婪算法、动态规划、分枝界定法

第二类：将整个搜索空间看成潜在解的统一集合，只评估单个完整解，而没有子空间的概念。

        爬山法、模拟退火、禁忌搜索

第三类：演化算法

       结合以上两类的特点，允许个体既描述子空间，又描述特定解

 

@@候选解的组织形式

SAT问题可以用树的形式来组织，这样可以方便剪枝等操作。

 

@@如何设计评估函数？

评估函数可以比目标函数更加简单，这样可以提高效率。

 

@@对参数调整进行分类

1)运行前的参数调整

2)运行时的参数调整

         2.1)确定性的

         2.2)适应的

         2.3)自适应的

 

 

@@关于演化算法

1 由所解决任务的候选解构成一个种群，通过随机变化和选择等一代代演化下去。其中随机变化提供了发现新解的机制，而选择则确定了保持哪些解作为下一步搜索的基础。

2 如果没有办法快速找到完美解，那么应该退而求其次，尝试快速产生近似最优解。

 

 

一些疑惑存于心中，我接下来会把以下问题弄清楚。

1什么样的问题适合动态规划？

2模拟退火与禁忌搜索的异同比较

3书中谈假设检验时用了下面的说法：我们即使有再多的证据也不能说“接受”零假设，我们只能说不拒绝零假设。

这样的表述反映了假设检验的怎样的实质？我需要好好研究一下。