基于云端的组件化应用自动部署中，优化求解器和对称性打破的基准测试（扩展摘要）
摘要：基于约束编程（OR-Tools、Chuffed、Gecode）、理论模组优化（Z3）和数学规划（CPLEX）方法的优化求解器如今成功应用于解决许多非平凡问题。然而，对于解决部署云端基于组件的应用程序的问题，它们的计算要求巨大，使得使用当前的通用优化技术进行自动优化几乎成为不可能。为了克服这个困难，我们利用了底层问题的优势点，以确定搜索空间缩减方法。我们提出了15种对称性破坏策略，并在上述解算器上以静态对称性破坏设置和4类问题上进行了测试。结果是，所有对称性破坏策略都显著改善了所有解算器的计算时间，尤其是Z3表现最好。作为观察，对称性破坏策略证实，在静态设置下应用时，它们可能与解算器实施的底层技术产生不良互动。
作者：Bogdan David and Madalina Erascu
论文ID：2305.15231
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2023-08-23