一个用于3-边连通性的简单证书算法
数据结构与算法
2022-02-01 v2
摘要
本文提出一个线性时间的3-边连通性证书算法。给定无向图G,若G是3-边连通的,该算法生成构造序列作为G的正证书。否则,该算法将G分解为它的3-边连通分量,同时为每个连通分量以及桥和G中割点对的一种仙人掌表示生成构造序列。所有这些仅通过对G进行一次遍历并使用一种创新的图收缩技术即可完成。此外,该图不必是2-边连通的。
引用
@article{arxiv.2002.04727,
title = {A simple certifying algorithm for 3-edge-connectivity},
author = {Yung H. Tsin},
journal= {arXiv preprint arXiv:2002.04727},
year = {2022}
}
备注
Section 3.2 has been rewritten to improve clarity. In Section 3.3, the correctness proof is elaborated. Figures 5 and 8 are shifted to the end as an appendix. Their captions are more detailed