[논문 리뷰] Finding small separators in linear time via treewidth reduction

Dániel Marx, Barry O’Sullivan외 1명|arXiv (Cornell University)|2011. 10. 21.

Advanced Graph Theory Research참고 문헌 45인용 수 5

한 줄 요약

이 논문은 크기가 최대 k인 모든 최소 s−t 분리집합을 유지하면서 트리폭을 감소시키는 기법을 제안한다. 이를 통해 다양한 분리집합 문제에 대해 고정 매개변수 가능성 시간(FPT) 알고리즘을 선형 시간에 해결할 수 있다. k에 대한 함수로 트리폭을 감소시킴으로써, 쿠르셀의 정리에 기반하여 제약 조건이 있는 s−t 컷, 멀티컷, 바이파트라이제이션 문제를 효율적으로 해결할 수 있으며, 연결성 또는 독립집합과 같은 비유전적 제약 조건이 있을 경우에도 적용 가능하다.

ABSTRACT

We present a method for reducing the treewidth of a graph while preserving all of its minimal $s-t$ separators up to a certain fixed size $k$. This technique allows us to solve $s-t$ Cut and Multicut problems with various additional restrictions (e.g., the vertices being removed from the graph form an independent set or induce a connected graph) in linear time for every fixed number $k$ of removed vertices. Our results have applications for problems that are not directly defined by separators, but the known solution methods depend on some variant of separation. for example, we can solve similarly restricted generalizations of Bipartization (delete at most $k$ vertices from $G$ to make it bipartite) in almost linear time for every fixed number $k$ of removed vertices. These results answer a number of open questions in the area of parameterized complexity. Furthermore, our technique turns out to be relevant for $(H,C,K)$- and $(H,C,\le K)$-coloring problems as well, which are cardinality constrained variants of the classical $H$-coloring problem. We make progress in the classification of the parameterized complexity of these problems by identifying new cases that can be solved in almost linear time for every fixed cardinality bound.

연구 동기 및 목표

• 모든 고정 매개변수 k에 대해 선형 시간 내에 고정 매개변수 가능성 시간(FPT) 분리집합 문제를 해결할 수 있는 일반적인 방법을 개발한다.
• 트리폭 감소 과정에서 최소 분리집합을 유지함으로써, 유전적 그래프 성질을 초월한 FPT 알고리즘을 확장한다.
• 매개변수 복잡도 이론 분야의 열린 문제를 해결한다. 예를 들어, 간선 유도 정점 컷 문제와 (H,C,≤K)-색칠 문제를 포함한다.
• 연결성 또는 균형과 같은 전역적 또는 비유전적 제약 조건이 있는 문제들에 대해 트리폭 감소 기법의 강건성을 입증한다.
• 카디널리티 및 구조적 제약 조건이 있는 멀티컷, 바이파트라이제이션, 호모모르피즘 문제를 통합된 프레임워크로 해결한다.

제안 방법

• 크기가 최대 k인 포함 관계로 최소인 s−t 분리집합을 모두 유지하면서 그래프의 트리폭을 감소시킨다.
• 두 단계 과정을 사용한다. 첫째, 모든 작은 분리집합을 포괄하는 작은 정점 집합 C′′를 식별한다. 둘째, C′′ 외부의 컴포넌트를 각각 최대 두 개의 정점으로 수축한다.
• 해결책의 동치성을 유지하기 위해 토르소 연산과 리스트 할당을 적용한다.
• 감소된 그래프에서 모나딕 이차논리(MSO)로 표현 가능한 문제를 해결하기 위해 쿠르셀의 정리를 활용한다.
• 비이분할 그래프와 H-색칠 제약 조건을 다루기 위해 분할 및 리스트 수정 기법을 사용한다.
• 기존의 FPT 알고리즘(예: 바이파트라이제이션에 대한 것들)과 트리폭 감소를 조합하여 선형 시간 FPT 결과를 달성한다.

실험 결과

연구 질문

• RQ1 크기가 ≤k인 최소 s−t 분리집합을 유지하면서 그래프를 유계 트리폭으로 감소시킬 수 있는가?
• RQ2 이 기법은 연결성 또는 유도된 부분그래프 성질과 같은 비유전적 제약 조건으로까지 확장될 수 있는가?
• RQ3 EDGE-INDUCED VERTEX CUT 문제는 고정된 k에 대해 선형 시간 내에 FPT인가?
• RQ4 고정된 k와 H에 대해 (H,C,K)- 및 (H,C,≤K)-색칠 문제는 선형 시간 내에 해결 가능한가?
• RQ5 이 방법은 균형 또는 방향 그래프와 같은 전역 제약 조건을 다룰 수 있도록 확장될 수 있는가?

주요 결과

• 모든 고정된 k에 대해 MINIMUM STABLE s−t CUT 문제는 선형 시간 내에 해결 가능하며, 이는 또한 유전적 그래프 클래스로의 일반화에도 적용된다.
• ℓ개의 터미널 쌍과 해 집합이 유전적 클래스 G에서 유도하는 그래프를 유도하는 MULTICUT 문제 역시 매개변수 k와 ℓ에 대해 선형 시간 FPT이다.
• CONNECTED s−t CUT 문제 역시 연결성이 유전적 성질이 아니므로 문제 특화의 트리폭 감소 기법을 통해 선형 시간 FPT로 해결 가능하다.
• EDGE-INDUCED VERTEX CUT 문제는 고정된 k에 대해 선형 시간 내에 해결되었으며, 2007년에 제기된 열린 질문을 해결했다.
• 고정된 k와 H에 대해 (H,C,≤K)-색칠 문제는 그래프 G의 트리폭이 유계일 경우 선형 시간 내에 해결 가능하다.
• 이 방법은 문제를 유계 트리폭 그래프로 감소시키면서 해결책의 동치성을 유지함으로써, FPT 알고리즘의 의미 있는 일반화를 가능하게 한다.