arXiv:2403.06568v2 宣告类型: 替换 摘要: 尽管已经提出了众多MaxSAT问题的求解器，且MaxSAT Evaluations等基准环境为最先进的求解器提供了比较平台，但现有的评估通常基于给定运行时间预算内找到的最优解的质量，例如适应度。然而，仅关注特定时间预算下最终获得的解可能限制我们理解求解器在收敛过程中的行为。本文展示了经验累积分布函数可以用于跨多个问题实例和不同时间预算比较MaxSAT随机局部搜索求解器的任何时间性能。评估揭示了求解器性能的差异，并显示求解器的优势和劣势随着运行时间的不同而变化。此外，本文还展示了定量和高方差的任何时间性能评估可以指导机器（即自动配置器）搜索更好的参数设置。实验结果表明，当使用任何时间性能作为成本函数时，超参数优化工具（如SMAC）可以比基于找到的最优解适应度的指标找到更好的求解器参数设置。