面向云中基于组件应用的自动化部署的优化求解器与对称性破缺器基准测试（扩展摘要）
计算机科学中的逻辑
2023-08-23 v1
摘要
基于约束规划（OR-Tools、Chuffed、Gecode）、优化模理论（Z3）和数学规划（CPLEX）方法的优化求解器如今已成功应用于解决许多非平凡实例。然而，对于解决云中基于组件应用的自动化部署问题，它们的计算需求巨大，使得利用当前通用优化技术进行自动优化在实践中不可能。为克服该困难，我们利用了底层问题的优势点以识别搜索空间缩减方法。我们提出了 15 种对称性破缺策略，并在上述求解器及 4 类问题上以静态对称性破缺设置进行了测试。结果，所有对称性破缺策略均显著改善了所有求解器的计算时间，最值得注意的是，Z3 相较于其他求解器表现最佳。作为一个观察，对称性破缺策略证实，当应用于静态设置时，它们可能与求解器实现的底层技术发生不良交互。
引用
@article{arxiv.2305.15231,
title = {Benchmarking Optimization Solvers and Symmetry Breakers for the Automated Deployment of Component-based Applications in the Cloud (EXTENDED ABSTRACT)},
author = {Bogdan David and Madalina Erascu},
journal= {arXiv preprint arXiv:2305.15231},
year = {2023}
}
备注
Presented at 7th International Workshop on Satisfiability Checking and Symbolic Computation (SC-square), Part of IJCAR 22, at FLOC 2022, August 12, 2022, Haifa, Israel. arXiv admin note: substantial text overlap with arXiv:2006.05401