Schreier-Sims 割集遇上稳定集：在处理对称性时保持问题结构
最优化与控制
2021-11-16 v1
摘要
对称性处理不等式（SHIs）是处理整数规划中对称性的常用工具。尽管在实践中应用成功，人们对 SHIs 与优化问题的相互作用却知之甚少。本文关注一类有吸引力的 SHIs——SST 割集，并研究其对优化问题的计算与多面体后果。在证明它们不会增加求解优化问题的计算复杂度后，我们聚焦于稳定集问题，并基于 SST 割集推导了预处理技术。此外，我们推导了 SST 割集的加强版本，并确定了将这些不等式加入稳定集多面体后保持整数性的情形。初步计算实验表明，我们的技术在减小稳定集问题规模与求解时间方面具有很高潜力。
引用
@article{arxiv.2111.07576,
title = {Schreier-Sims Cuts meet Stable Set: Preserving Problem Structure when Handling Symmetries},
author = {Christopher Hojny and Marc E. Pfetsch and José Verschae},
journal= {arXiv preprint arXiv:2111.07576},
year = {2021}
}