O(log n) 基数双部份图完美匹配的高效隔离
计算复杂性
2025-11-27 v1
摘要
我们证明，给定 基数双部份图的嵌入，即可构造一个在对数空间内的边权函数，使得该图中是否存在唯一的最小权重完美匹配。作为结果，我们得到 whether such a graph has a perfect matching or not is in SPL。1999年，Reinhardt、Allender 和 Zhou 证明，如果可以为对数空间内的图构造一个有界多项式权函数，使得其隔离最小权重完美匹配，则完美匹配问题可在SPL中解决。本文给出了对于 基数双部份图的确定性对数空间构造方法。
引用
@article{arxiv.2511.21217,
title = {Efficient Isolation of Perfect Matching in O(log n) Genus Bipartite Graphs},
author = {Chetan Gupta and Raghunath Tewari and Vimal Raj Sharma},
journal= {arXiv preprint arXiv:2511.21217},
year = {2025}
}
备注
Accepted in MFCS'2020