[论文解读] Exact Matching: Correct Parity and FPT Parameterized by Independence Number

Nicolas El Maalouly, Raphael Steiner+1 more|arXiv (Cornell University)|Jul 20, 2022

Advanced Graph Theory Research被引用 2

一句话总结

本文提出了一种确定性多项式时间算法，用于在边染色图中计算具有正确红色边奇偶性的完美匹配，解决了参数化为独立数的精确匹配问题的FPT算法中的关键一步。它证明了确定奇偶性是可 tractable 的，并将完整问题约化为求解有界色彩奇偶性匹配问题，推动了长期悬而未决的开放问题：精确匹配是否具有确定性多项式时间解法。

ABSTRACT

Given an integer $k$ and a graph where every edge is colored either red or blue, the goal of the exact matching problem is to find a perfect matching with the property that exactly $k$ of its edges are red. Soon after Papadimitriou and Yannakakis (JACM 1982) introduced the problem, a randomized polynomial-time algorithm solving the problem was described by Mulmuley et al. (Combinatorica 1987). Despite a lot of effort, it is still not known today whether a deterministic polynomial-time algorithm exists. This makes the exact matching problem an important candidate to test the popular conjecture that the complexity classes P and RP are equal. In a recent article (MFCS 2022), progress was made towards this goal by showing that for bipartite graphs of bounded bipartite independence number, a polynomial time algorithm exists. In terms of parameterized complexity, this algorithm was an XP-algorithm parameterized by the bipartite independence number. In this article, we introduce novel algorithmic techniques that allow us to obtain an FPT-algorithm. If the input is a general graph we show that one can at least compute a perfect matching $M$ which has the correct number of red edges modulo 2, in polynomial time. This is motivated by our last result, in which we prove that an FPT algorithm for general graphs, parameterized by the independence number, reduces to the problem of finding in polynomial time a perfect matching $M$ with at most $k$ red edges and the correct number of red edges modulo 2.

研究动机与目标

• 解决精确匹配问题是否具有确定性多项式时间算法的开放问题。
• 弥合具有有界独立数的图中精确匹配问题的XP与FPT算法之间的差距。
• 证明计算具有正确红色边奇偶性的完美匹配可在多项式时间内求解。
• 将完整精确匹配问题约化为有界色彩奇偶性匹配问题，从而推动FPT算法的发展。

提出的方法

• 利用F2上的线性代数将完美匹配表示为向量空间中的向量。
• 使用Schwartz-Zippel引理和多项式恒等式检测来确定完美匹配中红色边的奇偶性。
• 应用完美匹配的特征向量基，以检测是否存在奇数条红色边的匹配。
• 采用递归的边删除过程，构造具有正确红色边奇偶性的完美匹配。
• 将一般问题约化为求解有界色彩奇偶性匹配问题（BCPM），并证明该问题对FPT算法而言已足够。
• 通过与一条红色边的不相交并集变换，处理偶数k的情况，将其约化为奇数情况。

实验结果

研究问题

• RQ1 对于一般图，能否在确定性多项式时间内判断完美匹配中红色边的奇偶性？
• RQ2 在参数化复杂度下，是否可以将精确匹配问题约化为有界色彩奇偶性匹配问题？
• RQ3 解决奇偶性问题是否能促成基于独立数参数化的精确匹配的完整FPT算法的构建？
• RQ4 能否将问题约化为从大小为k−1的红色边匹配出发的设定，从而简化搜索空间？

主要发现

• 对于任意边染色图，存在一种确定性多项式时间算法，用于判断是否存在具有指定红色边奇偶性的完美匹配。
• 即使在非二分图中，寻找具有正确红色边奇偶性的完美匹配问题也可在多项式时间内求解。
• 此类奇偶性算法的存在性，将完整精确匹配问题约化为求解有界色彩奇偶性匹配问题。
• 对于非二分图情形，基于独立数参数化的FPT算法，可约化为求解有界色彩奇偶性匹配问题。
• 本文建立：基于独立数参数化的精确匹配的FPT算法可被构造，当且仅当有界色彩奇偶性匹配问题可在FPT时间内求解。
• 该结果提供了结构性洞见：FPT算法可不失一般性地假设解从k−1条红色边的匹配开始。