[논문 리뷰] Approximate Generalized Matching: $f$-Factors and $f$-Edge Covers

Dawei Huang, Seth Pettie|arXiv (Cornell University)|2017. 06. 19.

Complexity and Algorithms in Graphs참고 문헌 26인용 수 7

한 줄 요약

이 논문은 비이분할 그래프에서 최대 무게 $f$-매칭과 최소 무게 $f$-에지 커버에 대해 거의 선형 시간 근사 알고리즘을 제시한다. 이는 근사 보존 감소와 에드몬즈의 블로섬 알고리즘에서의 보완 타당성의 새로운 완화를 통해 이루어진다. 주요 결과는 $(1-\epsilon)$-근사 $f$-매칭과 $(1+\epsilon)$-근사 $f$-에지 커버에 대해 $O_{\epsilon}(m\alpha(m,n))$-시간 알고리즘이다.

ABSTRACT

In this paper we present linear time approximation schemes for several generalized matching problems on nonbipartite graphs. Our results include $O_ε(m)$-time algorithms for $(1-ε)$-maximum weight $f$-factor and $(1+ε)$-approximate minimum weight $f$-edge cover. As a byproduct, we also obtain direct algorithms for the exact cardinality versions of these problems running in $O(m\sqrt{f(V)})$ time. The technical contributions of this work include an efficient method for maintaining {\em relaxed complementary slackness} in generalized matching problems and approximation-preserving reductions between the $f$-factor and $f$-edge cover problems.

연구 동기 및 목표

• 비이분할 그래프에서 일반화된 매칭 문제에 대해 효율적이고 근사 보존 감소가 부족한 문제를 해결한다.
• 입력 크기의 증가를 피하고 이중 구조를 유지하는 $f$-매칭과 $f$-에지 커버에 대한 직접 알고리즘을 개발한다.
• $(1\pm\epsilon)$-근사 보장을 갖는 가중 $f$-매칭과 $f$-에지 커버에 대해 거의 선형 시간 근사 체계를 설계한다.
• 근사 기반 반올림을 통해 정확한 카디널리티 $f$-매칭과 $f$-에지 커버를 $O(m\alpha(m,n)\sqrt{f(V)})$ 시간 내에 계산할 수 있도록 한다.
• 선형 프로그래밍 공식의 이중성과 구조를 유지하여 가중 및 근사 변형을 자연스럽게 지원한다.

제안 방법

• 일반화된 매칭에서 증가 경로 탐색 중 이중 타당성을 유지하기 위해 이완된 보완 타당성 조건을 도입한다.
• 이중성과 보완적 구조를 활용하여 $f$-매칭과 $f$-에지 커버 문제 간의 근사 보존 감소를 사용한다.
• 에드몬즈의 블로섬 알고리즘을 이완된 이중 조건 하에서 작동하도록 수정하여 엄격한 이중 타당성이 없더라도 증가 경로를 효율적으로 탐색할 수 있도록 한다.
• 검색 트리와 블로섬 구조를 동적으로 유지하며, 간선 고갈과 조상-자식 관계를 사용해 중복 탐색을 방지한다.
• 이중 단계 접근법을 적용한다: 먼저 이완된 이중 조건을 사용해 $\epsilon$-근사 해를 계산하고, 이후 표준 증가 경로 탐색을 통해 해를 완성한다.
• $\epsilon$-근사 해를 사용해 초과/부족을 $O(\sqrt{f(V)})$ 이내로 제한하여 거의 선형 시간 내에 정확한 해를 완성할 수 있도록 한다.

실험 결과

연구 질문

• RQ1 입력 크기의 증가 없이 거의 선형 시간 내에 $(1-\epsilon)$-근사 최대 무게 $f$-매칭을 달성할 수 있는가?
• RQ2 $f$-에지 커버에서 $f$-매칭으로의 근사 보존 감소를 설계할 수 있는가? 이는 이중 구조를 유지하고 입력 크기의 증가를 피할 수 있는가?
• RQ3 에드몬즈 알고리즘에서 보완 타당성 조건을 어떻게 이완하여 일반화된 매칭 문제에서 효율적인 근사 계산을 지원할 수 있는가?
• RQ4 근사 기반 반올림을 사용하여 정확한 $f$-매칭과 $f$-에지 커버를 계산하는 데 필요한 복잡도는 무엇인가?
• RQ5 통합 알고리즘 프레임워크를 통해 $(1\pm\epsilon)$-근사 $f$-매칭과 $f$-에지 커버에 대해 $O(m\alpha(m,n))$-시간 복잡도를 달성할 수 있는가?

주요 결과

• 논문은 $(1-\epsilon)$-근사 최대 무게 $f$-매칭에 대해 $O_{\epsilon}(m\alpha(m,n))$-시간 알고리즘을 제시한다.
• 또한 $(1+\epsilon)$-근사 최소 무게 $f$-에지 커버에 대해 $O_{\epsilon}(m\alpha(m,n))$-시간 알고리즘을 제공한다.
• 근사 체계를 사용하여 정확한 $f$-매칭 또는 $f$-에지 커버를 $O(m\alpha(m,n)\sqrt{f(V)})$ 시간 내에 계산할 수 있다.
• $f$-매칭과 $f$-에지 커버 간의 근사 보존 감소는 이중 구조를 유지하고 입력 크기의 증가를 피한다.
• 이완된 보완 타당성 프레임워크는 일반화된 매칭 문제에 대해 효율적인 거의 선형 시간 근사 계산을 가능하게 한다.
• $\epsilon = 1/\sqrt{f(V)}$로 설정할 경우, 알고리즘은 초과 또는 부족이 $O(\sqrt{f(V)})$ 이내인 해를 도출하여 거의 선형 시간 내에 정확한 해를 완성할 수 있다.