摘要： 代价函数 —当前取得的价值+后面可以取得的最大价值 —如果这个价值比之前得到的路径的价值的最大值都小的话，那么这个分支不再需要继续延伸分支策略 —分支较少的结点先展开 —预计可以得到较多解的结点先展开 —每个节点的代价函数会有多个 —下一步解空间的计算Sk：如果直接越界了那么就不需要展开这个结点 —代价函数：如果比较小的话这个结点也不需要展开对称性 —比如n皇后问题，可以又中线纵轴分成等价的两部分的搜索空间搜索顺序 —对关键词从小到大 —对关键词从大到小 —更换关键词，选择新的搜索方法 —装箱问题中，可以以箱子的角度来回溯，... 阅读全文

摘要： 贪心法的证明 —归纳证明： —贪心法使用的条件是：最优子结构和贪心选择正确性 —贪心算法是一步一步实现的， —在归纳证明的时候，贪心的第一步贪心选择策略的正确性就是归纳基础，因为以后都是一个子问题的选取，每次都需要进行第一步的选择 —归纳步骤 —假设进行到第k步贪心选择都是正确的，证明第k+1步贪心选择也是正确的 —归纳过程 —归纳基础：第一步贪心选择的正确性，常常用 cut and paste 的思想证明贪心选择得到最优子结构 —如果现在有一个最优解，第一步选择未知，但是第一步选择明显可以换成贪心选项，那么说明选择第一步贪心选... 阅读全文