Moving between high-quality optima using multi-satisfiability characteristics in hard-to-solve Max3Sat instances
💡
原文英文,约100词,阅读约需1分钟。
📝
内容提要
本研究探讨了在难以解决的Max3Sat实例中,通过操纵子句满足性特征来连接高质量局部最优解的方法。实验结果表明,该方法在解决特定Max3Sat实例时显著优于现有优化方法。
🎯
关键要点
- 本研究关注难以通过现有优化方法解决的Max3Sat实例。
- 提出了一种通过操纵子句满足性特征的方法,以连接高质量局部最优解。
- 该方法能够有效连接位于解空间中较远的高质量解。
- 实验结果显示,该优化器在解决特定Max3Sat实例时显著优于现有最先进的方法。
➡️