[논문 리뷰] A polynomial-time approximation algorithm for the number of k-matchings in bipartite graphs

Shmuel Friedland, Daniel Levy|arXiv (Cornell University)|2006. 07. 28.

Markov Chains and Monte Carlo Methods참고 문헌 7인용 수 7

한 줄 요약

이 논문은 이분 그래프에서 k-매칭의 수를 세는 문제를 더 큰 이분 그래프의 행렬식 계산으로 환원함으로써 다항 시간 근사 알고리즘을 제시한다. 이는 k-매칭과 완전 매칭 간의 관계를 규명하는 데 기여하는 새로운 변환을 활용한다. 주요 결과는 비음수 행렬의 행렬식에 대해 알려진 fpras를 활용하여 이분 그래프에서 k-매칭의 수를 완전 다항 시간 내에 근사할 수 있다는 것이다.

ABSTRACT

We show that the number of $k$-matching in a given undirected graph $G$ is equal to the number of perfect matching of the corresponding graph $G_k$ on an even number of vertices divided by a suitable factor. If $G$ is bipartite then one can construct a bipartite $G_k$. For bipartite graphs this result implies that the number of $k$-matching has a polynomial-time approximation algorithm. The above results are extended to permanents and hafnians of corresponding matrices.

연구 동기 및 목표

• 이분 그래프에서 k-매칭의 수를 세는 데 대해 완전 다항시간 랜덤화 근사 체계(fpras)의 존재를 확립하는 것.
• 비음수 행렬의 행렬식에 대한 fpras를 확장하여 k-매칭 및 부분행렬식(subpermanents)의 계산에 적용하는 것.
• 일반 그래프에서 k-매칭의 수를 세는 복잡도가 하프니안(hafnians)을 통한 완전 매칭 계산과 동일한지 보여주는 것.
• 통계역학 모델에서 매칭 다항식과 압력 함수를 근사하는 데 이르는 이론적 기반을 제공하는 것.
• 행렬 변환을 통해 행렬식, 하프니안, k-매칭 간의 구조적 관계를 명확히 하는 것.

제안 방법

• 원래 그래프 $G$의 k-매칭 수와 비례하는 완전 매칭 수를 가지는 변환된 이분 그래프 $G_k$를 구성하며, 이는 총 $2n - 2k$개의 정점을 가진다.
• 항등식 $\mathop{\mathrm{perm}}\nolimits_k B = \frac{\mathop{\mathrm{perm}}\nolimits B_k}{(m-k)!(n-k)!}$ 를 사용하여 $k$-매칭을 더 큰 행렬 $B_k$ 의 행렬식과 연결한다.
• Jerrum, Sinclair, 및 Vigoda의 결과에 기반한 비음수 행렬의 행렬식에 대한 fpras를 적용하여 $\mathop{\mathrm{perm}}\nolimits_k B$ 를 효율적으로 근사한다.
• 일반 그래프의 경우, $\mathop{\mathrm{haf}}\nolimits_k A = \frac{\mathop{\mathrm{haf}}\nolimits A_k}{(m-2k)!}$ 를 만족하는 행렬 $A_k$ 를 정의하여 $k$-매칭을 더 큰 행렬의 하프니안과 연결한다.
• 대칭 양정부호 행렬의 구조와 블록 행렬 구성 기법을 활용하여 무게와 매칭의 대응 관계를 유지한다.
• 초평면 다항식과 행렬식 이론에 대한 기존 결과를 활용하여 환원의 이론적 타당성을 뒷받침한다.

실험 결과

연구 질문

• RQ1 이분 그래프에서 k-매칭의 수는 다항 시간 내에 근사 가능할 수 있는가?
• RQ2 확장된 그래프 구성에서 k-매칭과 완전 매칭 간의 관계는 어떠한가?
• RQ3 비음수 행렬의 행렬식에 대한 fpras 존재성이 이분 그래프에서 k-매칭의 fpras 존재성을 암시하는가?
• RQ4 하프니안과 행렬식은 일반 그래프에서 k-매칭 계산과 어떻게 관련되어 있는가?
• RQ5 임의의 그래프에서 k-매칭의 수를 세는 복잡도는 완전 매칭 계산과 동일한가?

주요 결과

• 이분 그래프 $G$에서 k-매칭의 수는 $\frac{\mathop{\mathrm{perm}}\nolimits B_k}{(m-k)!(n-k)!}$ 와 같다. 여기서 $B_k$ 는 $G$ 의 인cidenc 행렬에서 유도된 행렬이다.
• 이 변환은 비음수 행렬의 행렬식에 대한 fpras를 활용하여 다항 시간 내에 k-매칭의 수를 근사하는 데 기여한다.
• 일반 그래프의 경우, $\mathop{\mathrm{haf}}\nolimits_k A = \frac{\mathop{\mathrm{haf}}\nolimits A_k}{(m-2k)!}$ 를 만족하며, 이는 k-매칭 계산이 하프니안을 통한 완전 매칭 계산만큼 어렵다는 것을 보여준다.
• 따라서 비음수 행렬의 행렬식에 대한 fpras 존재성을 바탕으로 이분 그래프에서 k-매칭의 fpras 존재성이 입증된다.
• 이 방법은 가중치가 있는 그래프로도 확장 가능하며, 이분 그래프의 생성 매칭 다항식에 대한 계산 가능한 근사치를 제공한다.
• 결과적으로 이론적 프레임워크는 무한 격자에서의 통계역학 모델의 압력 함수를 근사할 수 있음을 암시한다.