@@问题=>模型=>求解
求解问题的时候,我们其实往往是先把问题描述为一个模型,然后给问题的模型求解
@@证明问题的基本思路
1演绎法
2归纳法
3反证法
4把这个问题转换为它的逆否命题再做证明
@@对算法进行分类
第一类:评估子空间而非个体解
贪婪算法、动态规划、分枝界定法
第二类:将整个搜索空间看成潜在解的统一集合,只评估单个完整解,而没有子空间的概念。
爬山法、模拟退火、禁忌搜索
第三类:演化算法
结合以上两类的特点,允许个体既描述子空间,又描述特定解
@@候选解的组织形式
SAT问题可以用树的形式来组织,这样可以方便剪枝等操作。
@@如何设计评估函数?
评估函数可以比目标函数更加简单,这样可以提高效率。
@@对参数调整进行分类
1)运行前的参数调整
2)运行时的参数调整
2.1)确定性的
2.2)适应的
2.3)自适应的
@@关于演化算法
1 由所解决任务的候选解构成一个种群,通过随机变化和选择等一代代演化下去。其中随机变化提供了发现新解的机制,而选择则确定了保持哪些解作为下一步搜索的基础。
2 如果没有办法快速找到完美解,那么应该退而求其次,尝试快速产生近似最优解。
一些疑惑存于心中,我接下来会把以下问题弄清楚。
1什么样的问题适合动态规划?
2模拟退火与禁忌搜索的异同比较
3书中谈假设检验时用了下面的说法:我们即使有再多的证据也不能说“接受”零假设,我们只能说不拒绝零假设。
这样的表述反映了假设检验的怎样的实质?我需要好好研究一下。