arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 2409.04855cs.DM
收藏

判定匹配数相等性的复杂性

Complexity of Deciding the Equality of Matching Numbers

Guilherme C. M. Gomes, Bruno P. Masquio, Paulo E. D. Pinto, Dieter Rautenbach, Vinicius F. dos Santos, Jayme L. Szwarcfiter, Florian Werner

AI总结:

本文研究匹配数、不连通匹配数与诱导匹配数相等判定的复杂性,证明若干NP完全与co-NP完全情形,并给出直径3或有界度图上的多项式时间刻画算法。

摘要:

如果一个匹配的饱和顶点诱导出一个不连通子图,则称该匹配是不连通的;如果饱和顶点诱导出一个1-正则图,则称该匹配是诱导的。不连通匹配数和诱导匹配数分别定义为此类匹配的最大基数,并且已知计算它们都是NP难的。本文研究这两个参数与匹配数之间的关系。特别地,我们讨论两个判定问题的复杂性:第一,判定匹配数与不连通匹配数是否相等;第二,判定不连通匹配数与诱导匹配数是否相等。我们证明,给定直径为4的二分图,判定匹配数与不连通匹配数是否相等是NP完全的;对于最大度为3的二分图,结论同样成立。我们刻画了匹配数与不连通匹配数相等的直径为3的图,由此得到一个多项式时间识别算法。随后,我们证明对于直径为3的二分图,判定诱导匹配数与不连通匹配数是否相等是co-NP完全的。当诱导匹配数相对于最大度足够大时,我们刻画了这些参数相等的图,从而得到一种适用于有界度图的多项式时间算法。

英文摘要:

A matching is said to be disconnected if the saturated vertices induce a disconnected subgraph and induced if the saturated vertices induce a 1-regular graph. The disconnected and induced matching numbers are defined as the maximum cardinality of such matchings, respectively, and are known to be NP-hard to compute. In this paper, we study the relationship between these two parameters and the matching number. In particular, we discuss the complexity of two decision problems; first: deciding if the matching number and disconnected matching number are equal; second: deciding if the disconnected matching number and induced matching number are equal. We show that given a bipartite graph with diameter four, deciding if the matching number and disconnected matching number are equal is NP-complete; the same holds for bipartite graphs with maximum degree three. We characterize diameter three graphs with equal matching number and disconnected matching number, which yields a polynomial time recognition algorithm. Afterwards, we show that deciding if the induced and disconnected matching numbers are equal is co-NP-complete for bipartite graphs of diameter 3. When the induced matching number is large enough compared to the maximum degree, we characterize graphs where these parameters are equal, which results in a polynomial time algorithm for bounded degree graphs.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑