[論文レビュー] 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

ひとこと要約

本稿では、独立数をパラメータとするExact Matching問題に対するFPTアルゴリズムに向けた重要なステップを解決する、赤辺の数の偶奇が正しい完全マッチングを計算する決定的多項式時間アルゴリズムを提示する。赤辺の偶奇を特定することが容易であることを証明し、全問題を有界色数の偶奇マッチング問題に還元することで、長年の未解決問題であるExact Matchingが決定的多項式時間解法を持つかどうかという問いに前進をもたらす。

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.

研究の動機と目的

• Exact Matching問題が決定的多項式時間アルゴリズムを持つかどうかという未解決問題に取り組むこと。
• 独立数が有界なグラフにおけるExact Matching問題のXPとFPTのアルゴリズムのギャップを埋めること。
• 正しい赤辺の偶奇を持つ完全マッチングを計算できることを確立すること。
• 全Exact Matching問題を有界色数の偶奇マッチング問題（BCPM）に還元することにより、FPTアルゴリズムへの前進を図ること。

提案手法

• F2上での線形代数を用いて、完全マッチングをベクトル空間内のベクトルとして表現する。
• Schwartz-Zippelの補題と多項式恒等性テストを用いて、完全マッチングにおける赤辺の偶奇を特定する。
• 完全マッチングの特性ベクトルの基底を用いて、奇数個の赤辺を持つマッチングが存在するかをテストする。
• 再帰的な辺削除手順を用いて、正しい赤辺の偶奇を持つ完全マッチングを構築する。
• 一般問題を、有界色数の偶奇マッチング問題（BCPM）に還元し、FPTアルゴリズムに十分であることを示す。
• 互いに素な辺の集合に赤辺を追加する変換を用いて、偶数kの場合は奇数の場合に還元する。

実験結果

リサーチクエスチョン

• RQ1 一般のグラフにおいて、完全マッチングにおける赤辺の偶奇を決定的多項式時間で特定できるか？
• RQ2 パラメータ計算複雑性の下で、Exact Matching問題を有界色数の偶奇マッチング問題に還元可能か？
• RQ3 偶奇問題が解けるならば、独立数をパラメータとするExact Matchingの完全なFPTアルゴリズムが構築可能か？
• RQ4 解法の探索空間を単純化するために、k−1本の赤辺からなるマッチングから出発する設定に問題を還元可能か？

主な発見

• 任意の辺彩色グラフにおいて、指定された赤辺の偶奇を持つ完全マッチングが存在するかどうかを決定的多項式時間で判定するアルゴリズムが存在する。
• 非二部グラフに対しても、正しい赤辺の偶奇を持つ完全マッチングを計算する問題は多項式時間で解ける。
• このような偶奇アルゴリズムの存在により、全Exact Matching問題は有界色数の偶奇マッチング問題に還元される。
• 非二部グラフの場合、独立数をパラメータとするFPTアルゴリズムは、有界色数の偶奇マッチング問題の解法に還元される。
• 本稿では、独立数をパラメータとするExact MatchingのFPTアルゴリズムが構築可能であるための必要十分条件として、有界色数の偶奇マッチング問題がFPT時間内で解けることであると確立した。
• 本結果は構造的洞察を提供する：FPTアルゴリズムは、一般性を失わず、解がk−1本の赤辺からなるマッチングから出発することを仮定できる。