局部搜索定义为候选解集合课件.pptVIP

中国科学院软件研究所InstituteofSoftware,ChineseAcademyofSciences

中国科学院软件研究所InstituteofSoftware,ChineseAcademyofSciences§组合优化问题u优化问题可以分为两类：一类是连续变量的问题，另一类是离散变量的问题，后者称为组合优化问题。u组合优化问题的任务：从一个有限或可数无限集里，寻找一个使得目标函数最优的对象——典型地包括：一组赋值，一个集合，一个排列。u组合优化问题随处可见，具有很强的工程代表性应用。u许多组合优化问题都是NP难的：最大可满足性（MaxSAT)问题，最大团问题，最小顶点覆盖问题，旅行商问题。。。

中国科学院软件研究所InstituteofSoftware,ChineseAcademyofSciences§组合优化问题u优化问题可以分为两类：一类是连续变量的问题，另一类是离散变量的问题，后者称为组合优化问题。u组合优化问题的任务：从一个有限或可数无限集里，寻找一个使得目标函数最优的对象——典型地包括：一组赋值，一个集合，一个排列。u组合优化问题随处可见，具有很强的工程代表性应用。u许多组合优化问题都是NP难的：最大可满足性（MaxSAT)问题，最大团问题，最小顶点覆盖问题，旅行商问题。。。u分支限界：完备算法（保证解的最优性），回溯搜索，遍历解空间u启发式搜索（包括局部搜索，演化算法等）：不完备算法，迭代改进，采样解空间

中国科学院软件研究所InstituteofSoftware,ChineseAcademyofSciencesu先产生一个（或一群）完整的候选解，然后进行迭代改进，每一步只修改解的某个局部（比如一个基本单元），直到得到一个令人满意的解或者达到某个资源限制（一般是时间限制）。

中国科学院软件研究所InstituteofSoftware,ChineseAcademyofSciencesu先产生一个（或一群）完整的候选解，然后进行迭代改进，每一步只修改解的某个局部（比如一个基本单元），直到得到一个令人满意的解或者达到某个资源限制（一般是时间限制）。u邻域关系N:S-2^S，对于每个候选解s，N(s)={s′∈S|N(s,s′)}?S;（一般是基于候选解的海明距离，最常见的是1-海明距离邻域）u跳转函数（Stepfunction）：定义了如何从当前候选解跳转到它的一个邻居候选解

中国科学院软件研究所InstituteofSoftware,ChineseAcademyofSciencesu容易实现；u可扩展性强；u许多NP难问题在求解性能上最好的算法都是基于局部搜索§什么时候使用局部搜索u组合爆炸：对于NP难问题，解空间是问题规模的指数级别u时间限制短，或者时间资源非常重要u关于问题的领域知识太少u接受近似解

中国科学院软件研究所InstituteofSoftware,ChineseAcademyofSciences§一个例子：最大可满足性问题（MaxSAT）变元：x,x,x,…,x123n文字：变元或者其否定形式x,~x,…11子句：文字的析取x\/~x,x\/x\/~x,….12124CNF公式：子句的合取，可看为一个子句集合

中国科学院软件研究所InstituteofSoftware,ChineseAcademyofSciences§一个例子：最大可满足性问题（MaxSAT）变元：x,x,x,…,x123n文字：变元或者其否定形式x,~x,…11子句：文字的析取x\/~x,x\/x\/~x,….12124CNF公式：子句的合取，可看为一个子句集合u用局部搜索求解以下MaxSAT（或SAT）实例u{x\/~x,x\/x,x\/x,~x\/x\/~x}121223123不满足的子句初始000Step1001Step2101Step31101223x1\/x2~x\/x\/~x123无（找到最优解）

中国科学院软件研究所InstituteofSoftware,ChineseAcademyofSciences§局部搜索的循环问题u花费很长时间在解空间的某个区域（比如某个局部最优附近的区域）搜索u导致：容易陷入局部最优，花费太多时间在做无效搜索。。。u很多局部搜索的文献其实都是围绕如何解决这个问题u这是由局部搜索的无记忆性决定的u不可能增加一个记忆机制来记住访问过的候选解，空间时间要求都太庞大

中国科学院软件