平面图中层状 3-分离符极大集的线性时间求解
数据结构与算法
2018-10-22 v1 组合数学
摘要
我们考虑使用大小为三的层状分离符来分解一个 3-连通平面图 。我们展示了如何在线性时间内找到此类图中一组极大的层状 3-分离符。我们还讨论了如何从特殊族中找到极大的层状 3-分离符集。例如我们讨论了非平凡割,即把 分成两个大小均至少为二的连通分量的割。对于任意顶点 ,我们还展示了如何找到一组极大的、与 不相交的 3-分离符,它们层状且满足:分离符 中的每个顶点在 的唯一包含 的连通分量外有两个邻点。在所有情况下,我们展示了如何构造一个粘附度为三的相应树分解。我们的新算法是近期在非平面图中寻找不相交路径方法的重要组成部分。
引用
@article{arxiv.1810.07825,
title = {Finding Maximal Sets of Laminar 3-Separators in Planar Graphs in Linear Time},
author = {David Eppstein and Bruce Reed},
journal= {arXiv preprint arXiv:1810.07825},
year = {2018}
}
备注
25 pages, 10 figures. To appear in the Proceedings of the 30th ACM-SIAM Symposium on Discrete Algorithms (SODA 2019)