[논문 리뷰] Exact Matching: Correct Parity and FPT Parameterized by Independence Number

Nicolas El Maalouly, Raphael Steiner외 1명|arXiv (Cornell University)|2022. 07. 20.

Advanced Graph Theory Research인용 수 2

한 줄 요약

이 논문은 독립수(parameterized by independence number)에 대해 정확히 매칭(Exact Matching) 문제를 위한 FPT 알고리즘으로 향하는 핵심 단계를 해결하기 위해, 색이 칠해진 그래프에서 빨간 모서리의 올바른 기수성(pariry)을 갖는 완전 매칭을 결정적 다항시간에 계산하는 알고리즘을 제시한다. 기수성 판단이 해결 가능함을 증명하고 전체 문제를 유한한 색 수의 기수성 매칭 문제로 감소시켜, 오랫동안 열려있던 정확히 매칭 문제에 대해 결정적 다항시간 해법이 존재하는지 여부라는 오랜 열린 문제에 진전을 이룬다.

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개의 빨간 모서리를 갖는 매칭에서 시작된다고 가정해도 손실가지 않는다.