[논문 리뷰] Representative sets and irrelevant vertices: New tools for kernelization

Stefan Kratsch, Magnus Wahlström|arXiv (Cornell University)|2011. 11. 09.

Advanced Graph Theory Research참고 문헌 38인용 수 4

한 줄 요약

이 논문은 매트로이드 이론의 대표 집합을 활용하여 매개변수 복잡도 이론에서 기본적인 문제들에 대한 다항식 커널화를 달성하는 새로운 응용을 제시한다. 로바슈와 마르크스의 대표 집합 레미마를 활용하여, 그래프 컷 문제에서 불필요한 정점들을 식별하는 방법을 개발함으로써, Almost 2-SAT에 대한 첫 번째 다항식 커널과 s개의 종단점이 있는 Multiway Cut에 대해 O(ks+1) 크기의 커널을 도출하였다. 이는 NP-난이도 문제에 대한 커널화 기법을 크게 발전시킨다.

ABSTRACT

The existence of a polynomial kernel for Odd Cycle Transversal was a notorious open problem in parameterized complexity. Recently, this was settled by the present authors (Kratsch and Wahlström, SODA 2012), with a randomized polynomial kernel for the problem, using matroid theory to encode flow questions over a set of terminals in size polynomial in the number of terminals. In the current work we further establish the usefulness of matroid theory to kernelization by showing applications of a result on representative sets due to Lovász (Combinatorial Surveys 1977) and Marx (TCS 2009). We show how representative sets can be used to give a polynomial kernel for the elusive Almost 2-SAT problem. We further apply the representative sets tool to the problem of finding irrelevant vertices in graph cut problems, i.e., vertices which can be made undeletable without affecting the status of the problem. This gives the first significant progress towards a polynomial kernel for the Multiway Cut problem; in particular, we get a kernel of O(k^{s+1}) vertices for Multiway Cut instances with at most s terminals. Both these kernelization results have significant spin-off effects, producing the first polynomial kernels for a range of related problems. More generally, the irrelevant vertex results have implications for covering min-cuts in graphs. For a directed graph G=(V,E) and sets S, T \subseteq V, let r be the size of a minimum (S,T)-vertex cut (which may intersect S and T). We can find a set Z \subseteq V of size O(|S|*|T|*r) which contains a minimum (A,B)-vertex cut for every A \subseteq S, B \subseteq T. Similarly, for an undirected graph G=(V,E), a set of terminals X \subseteq V, and a constant s, we can find a set Z\subseteq V of size O(|X|^{s+1}) which contains a minimum multiway cut for any partition of X into at most s pairwise disjoint subsets.

연구 동기 및 목표

• Almost 2-SAT 문제에 대한 다항식 커널화라는 오랜 열린 문제를 해결하기 위해.
• 그래프 컷 문제에서 불필요한 정점을 식별하는 새로운 방법을 개발하여 효율적인 커널화를 가능하게 하기 위해.
• 특히 매트로이드 이론적 도구—구체적으로 대표 집합—을 매개변수 복잡도 이론의 커널화에 확장하기 위해.
• 상수 개의 종단점이 있는 Multiway Cut에 대해 첫 번째 다항식 커널을 제공하기 위해.
• 모든 관련 종단점 분할에 대해 최소 (A,B)-정점 컷과 다중 컷을 포함하는 작은 컷 커버링 집합을 구성하기 위해.

제안 방법

• 매트로이드 이론의 대표 집합 레미마(Lovász와 Marx)를 적용하여, 해에 영향을 주지 않고 삭제 불가능하게 만들 수 있는 정점을 식별하기 위해.
• 다중 레이어에 걸쳐 감모이드 구조를 구성하여 잠재적 컷의 도달 가능성과 포화 조건을 인코딩하기 위해.
• 이행 집합의 대표 집합을 사용하여 모든 최소 컷에 반드시 포함되어야 하는 핵심 정점을 효율적으로 포착하기 위해.
• 모든 종단점 분할이 최대 s개의 부분집합으로 나뉘는 경우에 대해 최소 다중 컷을 포함하는 작은 집합 Z를 선택하는 랜덤화된 감소 규칙을 설계하기 위해.
• 매트로이드 표현과 대표 집합에 기반한 불필요한 정점 추론 기반 커널화 과정을 수립하기 위해.
• 랜덤화된 구조의 실패 확률을 입력 크기 n에 대해 지수적으로 작게 줄이기 위해.

실험 결과

연구 질문

• RQ1 매트로이드 이론의 대표 집합을 사용하여 매개변수 복잡도 이론에서 NP-난이도 문제에 대한 다항식 커널을 구성할 수 있는가?
• RQ2 대표 집합을 활용하여 그래프 컷 문제에서 불필요한 정점을 식별하고 제거하여 커널화를 가능하게 할 수 있는가?
• RQ3 이 기법을 사용하여 Almost 2-SAT 문제에 대해 다항식 커널을 달성할 수 있는가?
• RQ4 모든 종단점의 부분집합 A, B에 대해 최소 (A,B)-정점 컷을 포함하는 작은 정점 집합을 계산할 수 있는가?
• RQ5 유사한 구조를 사용하여 종단점의 최대 s개의 부분집합으로 분할된 모든 최소 다중 컷을 커버할 수 있는가?

주요 결과

• 논문은 Almost 2-SAT 문제에 대해 첫 번째 다항식 커널을 제시하여, 커널화 분야에서 주요 열린 문제를 해결하였다.
• s개의 종단점이 있는 Multiway Cut에 대해 O(ks+1) 크기의 커널을 확보하여, 이 문제에 대한 다항식 커널에 대한 첫 번째 중대한 진전을 이룩하였다.
• 랜덤화된 다항식 시간 알고리즘을 개발하여, 종단점이 최대 s개의 서로소 부분집합으로 나뉘는 모든 분할에 대해 최소 다중 컷을 포함하는 크기 O(|X|s+1)의 집합 Z를 계산하였다.
• 임의의 방향 그래프 G와 집합 S,T ⊆V에 대해, 크기가 O(|S|·|T|·r)인 집합 Z를 랜덤화된 다항식 시간 내에 계산하여, 모든 A⊆S, B⊆T에 대해 최소 (A,B)-정점 컷을 포함한다.
• 이 방법은 이전에 Odd Cycle Transversal에 사용된 간접적인 압축 기반 접근과는 달리, 모든 커버링 문제에 대해 감소 규칙 기반 커널화를 가능하게 한다.
• 랜덤화된 구조의 실패 확률은 입력 크기 n에 대해 지수적으로 작아져 높은 신뢰성을 보장한다.