圈来救援！用于快速计算最大平面子图的新约束
数据结构与算法
2018-06-22 v1
摘要
NP 困难的最大平面子图问题要求给定图 的一个平面子图 ，使得 具有最大边基数。二十多年来，唯一已知的非平凡精确算法基于整数线性规划与 Kuratowski 著名的平面性判据。我们基于该方法，提出新的约束类，并结合多面体的提升，以获得可证明更强的 LP 松弛，进而在实践中更快的算法。新约束以 Euler 多面体公式为出发点，并将其与考虑 中的圈相结合。本文讨论了这种强化的理论层面与实践层面。
引用
@article{arxiv.1806.08283,
title = {Cycles to the Rescue! Novel Constraints to Compute Maximum Planar Subgraphs Fast},
author = {Markus Chimani and Tilo Wiedera},
journal= {arXiv preprint arXiv:1806.08283},
year = {2018}
}