[논문 리뷰] Diverse Collections in Matroids and Graphs

Fedor V. Fomin, Petr A. Golovach외 3명|arXiv (Cornell University)|2021. 01. 01.

Advanced Graph Theory Research인용 수 8

한 줄 요약

이 논문은 매트로이드에서의 가중치 있는 다각도 기반, 두 매트로이드에서의 가중치 있는 공통 독립 집합, 그리고 그래프에서의 다각도 완벽 매칭이라는 세 가지 기본 문제에 대해 다각도 솔루션 컬렉션을 찾는 문제의 매개변수 복잡도를 조사한다. 저자들은 이 세 문제 모두 NP-난이도이지만, 솔루션 수 $k$와 다각도 임계값 $d$에 대해 고정된 매개변수 복잡도(FPT)임을 보여주며, 실행 시간 $2^{2^{O(kd)}}n^{O(1)}$인 FPT 알고리즘과 유한 체 위에서의 가중치 있는 다각도 기반 문제에 대해 다항식 커널을 제시한다.

ABSTRACT

We investigate the parameterized complexity of finding diverse sets of solutions to three fundamental combinatorial problems, two from the theory of matroids and the third from graph theory. The input to the Weighted Diverse Bases problem consists of a matroid M, a weight function ω:E(M)→N, and integers k ≥ 1, d ≥ 0. The task is to decide if there is a collection of k bases B_1, ..., B_k of M such that the weight of the symmetric difference of any pair of these bases is at least d. This is a diverse variant of the classical matroid base packing problem. The input to the Weighted Diverse Common Independent Sets problem consists of two matroids M₁,M₂ defined on the same ground set E, a weight function ω:E→N, and integers k ≥ 1, d ≥ 0. The task is to decide if there is a collection of k common independent sets I_1, ..., I_k of M₁ and M₂ such that the weight of the symmetric difference of any pair of these sets is at least d. This is motivated by the classical weighted matroid intersection problem. The input to the Diverse Perfect Matchings problem consists of a graph G and integers k ≥ 1, d ≥ 0. The task is to decide if G contains k perfect matchings M_1, ..., M_k such that the symmetric difference of any two of these matchings is at least d. The underlying problem of finding one solution (basis, common independent set, or perfect matching) is known to be doable in polynomial time for each of these problems, and Diverse Perfect Matchings is known to be NP-hard for k = 2. We show that Weighted Diverse Bases and Weighted Diverse Common Independent Sets are both NP-hard. We show also that Diverse Perfect Matchings cannot be solved in polynomial time (unless P=NP) even for the case d = 1. We derive fixed-parameter tractable (FPT) algorithms for all three problems with (k,d) as the parameter. The above results on matroids are derived under the assumption that the input matroids are given as independence oracles. For Weighted Diverse Bases we present a polynomial-time algorithm that takes a representation of the input matroid over a finite field and computes a poly(k,d)-sized kernel for the problem.

연구 동기 및 목표

• 매트로이드 기반, 공통 독립 집합, 완벽 매칭이라는 세 가지 기본 조합 문제에 대해 다각도 솔루션을 찾는 매개변수 복잡도를 연구한다.
• 단일 최적 솔루션을 찾는 데서 비롯되는 실용적 제약을 해결하기 위해 다각도를 핵심 기준으로 도입하여, 대칭 차집합 기준으로 충분히 다른 솔루션을 확보한다.
• 클래식한 다항식 시간 내에 해결 가능한 문제의 다각도 변형이 매개변수 복잡도 이론 하에서 여전히 타당한지, 특히 대칭 차집합 무게를 기반으로 한 다각도 측정 방식일 때를 조사한다.
• 솔루션 수 $k$와 최소 다각도 임계값 $d$의 조합 매개변수 $(k, d)$에 기반해 세 문제 모두에 대해 FPT 알고리즘을 유도한다.
• 다양한 솔루션의 구조적 및 알고리즘적 성질을 탐색하며, 특히 유한 체 위에서의 가중치 있는 다각도 기반 문제에 대해 커널화를 고려한다.

제안 방법

• 세 가지 다각도 솔루션 문제를 정형화한다: 매트로이드에서의 가중치 있는 다각도 기반, 두 매트로이드에서의 가중치 있는 다각도 공통 독립 집합, 그래프에서의 다각도 완벽 매칭.
• 다양도 측정으로 대칭 차집합 무게를 사용한다: 임의의 두 솔루션 $S_i$와 $S_j$에 대해 $\omega(S_i \triangle S_j) \geq d$.
• 반복 매칭과 동적 프로그래밍 기법을 사용해 세 문제 모두에 대해 FPT 알고리즘을 개발하며, 색상 칠하기와 색상 부분집합 기반 동적 프로그래밍에 기반한 핵심 서브루틴을 활용한다.
• 가중치 있는 다각도 기반 문제에 대해, 매트로이드가 유한 체 위에 표현될 경우 다항식 시간 커널화 알고리즘을 제시하여 $\text{poly}(k,d)$ 크기의 커널을 계산한다.
• 독립성 오рак불과 색상 칠하기를 활용해 매트로이드와 그래프의 구조를 효율적으로 활용하여 다각도 솔루션 집합을 탐색한다.
• 확률적 감소와 반복적 매칭 구성 기법을 사용해 다각도를 확보한다: 먼저 다각도를 고려해 초기 집합을 탐욕적으로 구성한 후, 재귀적 추측과 정밀화 전략을 통해 솔루션을 완성한다.

실험 결과

연구 질문

• RQ1 가중치 있는 다각도 기반, 가중치 있는 다각도 공통 독립 집합, 다각도 완벽 매칭이라는 매트로이드 및 그래프 문제의 다각도 변형은 매개변수 $k$와 $d$에 대해 고정된 매개변수 복잡도(FPT)인가?
• RQ2 매트로이드 문제의 다각도 변형은 $k=1$ 또는 $k=2$일 때 다항식 시간 내에 해결 가능한가, 아니면 작은 $k$와 $d$일 때도 NP-난이도가 되는가?
• RQ3 가중치 있는 다각도 기반 문제의 경우, $k$만 또는 $d$만 매개변수로 삼을 때 FPT가 되는가? (이미 $k=2$일 때도 NP-난이도이므로)
• RQ4 모든 가중치가 1이고 $d=1$ 또는 $d=2$일 때, 가중치 있는 다각도 기반 문제의 비가중치 수량 변형은 여전히 P에 속하는가, 아니면 NP-난이도인가?
• RQ5 모든 가중치가 1일 때, 가중치 있는 다각도 공통 독립 집합 문제를 다항식 시간 내에 해결할 수 있는가, 아니면 작은 $k$나 $d$일 때도 NP-난이도인가?

주요 결과

• 가중치 있는 다각도 기반 문제와 가중치 있는 다각도 공통 독립 집합 문제 모두, 작은 $k$와 $d$ 값에 대해서도 NP-난이도이다.
• 다각도 완벽 매칭 문제 역시 $d=1$일 때도 NP-난이도이며, $P = NP$가 아닐 경우 다항식 시간 내에 해결될 수 없다.
• 세 문제 모두 솔루션 수 $k$와 다각도 임계값 $d$에 대해 고정된 매개변수 복잡도(FPT) 알고리즘을 갖는다. 실행 시간은 $2^{2^{O(kd)}}n^{O(1)}$이다.
• 가중치 있는 다각도 기반 문제에 대해, 매트로이드가 유한 체 위에 표현될 경우 다항식 시간 알고리즘이 $\text{poly}(k,d)$ 크기의 커널을 계산한다.
• 다각도 완벽 매칭 문제의 알고리즘은 이중 단계 접근법을 사용한다: 먼저 다각도를 고려해 매칭의 초기 집합을 탐욕적으로 구성한 후, 확률적 추측과 동적 프로그래밍을 통해 높은 확률로 솔루션을 완성한다.
• 다각도 완벽 매칭 문제의 알고리즘 성공 확률은 $2^{2^{O(kd)}}$번 반복한 후 최소 $1 - 1/e$ 이상이 보장되어 높은 신뢰성을 확보한다.