arXiv:2504.11864v1 优化类型: 新颖 摘要: 灰盒优化提出了一种有效且高效的通用优化器。为此，它利用了变量依赖性信息和基于子函数的问题表示。这些方法已经通过允许在多个依赖变量需要修改的情况下在局部最优解之间进行“隧穿”来证明其有效性。隧穿在解决最大满足性问题（MaxSat）中非常有用，该问题可以重新表述为Max3Sat。由于许多实际问题都可以归结为解决MaxSat/Max3Sat实例，有效地解决它们变得非常重要。因此，我们专注于隧穿无法在局部最优高质量解和全局最优解区域之间引入改进移动的Max3Sat实例。我们基于相变分析这些实例的特征。基于这些观察结果，我们提出了一种操作方式，允许连接在解空间中相距较远的高质量解。我们利用从典型灰盒机制构建的优化器中的多满足性特征。实验研究显示，所提出的优化器可以解决那些超出最先进的灰盒优化器能力范围的Max3Sat实例。同时，它对已经通过灰盒成功解决的实例仍然有效。