搜索及优化例题分析.pdf

搜索及优化例题分析 陈子旸 常州市第一中学 November,3,2012 概览  用Dancing Links 解决Exact Cover问题  启发式搜索A-star  其他技巧：  剪枝  双向搜索  状态表示及判重 Exact cover问题  Exact Cover Problem （精确覆盖问题）  给定 一个由0和1组成的矩阵，是否能够找到一 个行的集合，使得集合中每一列都恰好包含一 个1？例如： 对于上面的矩阵，第1、4、5行就 是一个符合要求的集合 Dancing Links  什么是Dancing Links?  形象理解：一个双向循环链表（一维）  二维推广，双向循环邻接十字链表  主要操作  较快地完成一系列满足栈的性质的删 除、恢复操作（一维情况可以删除元 素，二维可以删除行或列）  注：栈的性质指先删除的元素后插入 一维Dancing Links实现  结构：  每个节点有L，R指针，记录前驱后继  表头的L指向表尾，表尾的R指向表头  操作：  删除x：R[L[x]]=R[x],L[R[x]]=L[x]  恢复x：L[R[x]]=x,R[L[x]]=x 一个简单的例子  求全排列  一种常见的实现方式： void search (int dep) { if (depn) print(); else { for (int i=1;i=n;i++) if (!used[i]) { used[i]=true; ans[dep]=i; search(dep+1); used[i]=true; } } } 层次越高，空循环越多! 双向循环连表实现全排列 void search (int dep) { if (depn) print(); else { for (int i=R[0];i!=0;i=R[i]) if (!used[i]) { L[R[i]]=L[i]; R[L[i]]=R[i]; ans[dep]=i; search(dep+1); R[L[i]]=i; L[R[i]]=i; } } }