[논문 리뷰] Solving Problems on Graphs of High Rank-Width

Eduard Eiben, Robert Ganian외 1명|arXiv (Cornell University)|2015. 07. 20.

Advanced Graph Theory Research참고 문헌 21인용 수 6

한 줄 요약

이 논문은 크기가 크지만 잘 구조화된 모듈레이터를 가진 그래프에서 NP-난이도 그래프 문제에 대한 고정 매개변수 다항시간(FPT) 알고리즘을 가능하게 하는 하이브리드 매개변수인 잘 구조화된 수(wsn^H)를 소개한다. 이는 유한한 금지된 부분그래프로 정의된 그래프 클래스에 대해 wsn^H를 계산하는 FPT 알고리즘을 제시하며, 단순 2차 논리(MSO)로 표현 가능한 문제들이 wsn^H로 매개변수화되었을 때 FPT임을 증명한다. 반면 LinEMSO 문제들은 그렇지 않음을 보여, 결과의 날카로움(tightness)을 입증한다.

ABSTRACT

A modulator of a graph G to a specified graph class H is a set of vertices whose deletion puts G into H. The cardinality of a modulator to various tractable graph classes has long been used as a structural parameter which can be exploited to obtain FPT algorithms for a range of hard problems. Here we investigate what happens when a graph contains a modulator which is large but "well-structured" (in the sense of having bounded rank-width). Can such modulators still be exploited to obtain efficient algorithms? And is it even possible to find such modulators efficiently? We first show that the parameters derived from such well-structured modulators are strictly more general than the cardinality of modulators and rank-width itself. Then, we develop an FPT algorithm for finding such well-structured modulators to any graph class which can be characterized by a finite set of forbidden induced subgraphs. We proceed by showing how well-structured modulators can be used to obtain efficient parameterized algorithms for Minimum Vertex Cover and Maximum Clique. Finally, we use well-structured modulators to develop an algorithmic meta-theorem for deciding problems expressible in Monadic Second Order (MSO) logic, and prove that this result is tight in the sense that it cannot be generalized to LinEMSO problems.

연구 동기 및 목표

• 모듈레이터 크기와 랭크-폭을 조합하는 새로운 구조적 매개변수를 개발하여 더 복잡한 그래프 구조를 포괄한다.
• 유한한 금지된 부분그래프로 정의된 그래프 클래스 H에 대해 잘 구조화된 수 wsn^H를 계산하는 FPT 알고리즘을 설계한다.
• 최소 정점 커버 및 최대 클리크와 같은 문제들이 wsn^H로 매개변수화되었을 때 FPT가 되는지 보여준다. 이는 해당 문제들이 목표 클래스 H에서 다항시간으로 해결 가능할 경우에 국한된다.
• wsn^H로 매개변수화된 FPT MSO 모델 체킹을 위한 메타정리(Meta-theorem)를 수립하고, 그 필요성과 날카로움을 증명한다.
• LinEMSO 문제들이 wsn^H로 매개변수화되었을 때 FPT 시간 내에 해결될 수 없음을 보여, 이 접근의 경계를 입증한다.

제안 방법

• split 분해와 랭크-폭 분해를 사용하여, 그래프 클래스 H로의 모듈레이터 중에서 최소 랭크-폭을 가지는 것을 기반으로 잘 구조화된 수 wsn^H(G)를 정의한다.
• 다항시간 split 분해 알고리즘과 랭크-폭에 대한 FPT 알고리즘의 조합을 통해 wsn^H를 FPT 시간 내에 계산한다.
• 랭크-분해에 기반한 동적 프로그래밍을 적용하여 wsn^H로 매개변수화되었을 때 최소 정점 커버 및 최대 클리크 문제를 해결한다.
• H에서 문제의 가용성과 wsn^H 매개변수를 활용하여, FPT MSO 모델 체킹을 위한 메타정리를 개발한다.
• C4-free이고 차수 ≤3인 그래프에서의 독립 집합 문제에 대한 축소를 통해, wsn^H로 매개변수화되었을 때 MSO-Opt^≤_φ가 paraNP-난이도임을 보여, 날카로움을 입증한다.
• 검색 공간을 제한하고 분기 알고리즘의 정확성을 보장하기 위해 대표 집합과 관계 ≡에 기반한 동치류를 사용한다.

실험 결과

연구 질문

• RQ1 크기가 크지만 잘 구조화된 모듈레이터(유한한 랭크-폭)를 가진 그래프에서 NP-난이도 문제에 대한 FPT 알고리즘을 얻을 수 있는가?
• RQ2 유한한 금지된 부분그래프로 정의된 그래프 클래스 H에 대해 잘 구조화된 수 wsn^H를 FPT 시간 내에 계산할 수 있는가?
• RQ3 모노adic Second-Order(MSO) 논리로 표현 가능한 문제들이 wsn^H로 매개변수화되었을 때 FPT가 되는가?
• RQ4 wsn^H로 매개변수화된 FPT MSO 모델 체킹을 위해 H에서의 FPT 가용성이 반드시 필요한가?
• RQ5 LinEMSO 문제들은 wsn^H로 매개변수화되었을 때 FPT 시간 내에 해결될 수 있는가, 아니면 그 경계가 날카로운가?

주요 결과

• 잘 구조화된 수 wsn^H는 모듈레이터 크기와 랭크-폭보다 엄밀히 더 일반적인 개념으로, 더 넓은 알고리즘 적용 가능성을 제공한다.
• 모든 유한한 금지 집합을 가진 그래프 클래스 H에 대해, split 분해와 랭크-폭 계산을 조합한 FPT 알고리즘이 wsn^H 계산에 존재한다.
• 최소 정점 커버 및 최대 클리크 문제들은 wsn^H로 매개변수화되었을 때 FPT가 되며, 이는 H에서 다항시간으로 해결 가능할 경우에 국한된다.
• H에서 문제의 FPT 가용성이 보장될 경우, wsn^H로 매개변수화된 MSO 모델 체킹이 FPT임을 보여주는 메타정리가 수립된다.
• H에서의 FPT 가용성이 메타정리의 필요 조건임을, wsn^H로 매개변수화된 MSO-Opt^≤_φ의 paraNP-난이도 결과를 통해 입증한다.
• LinEMSO 문제들은 wsn^H로 매개변수화되었을 때 FPT 시간 내에 해결될 수 없으며, 이는 메타정리가 날카로운 경계를 가지며 LinEMSO로 일반화될 수 없음을 보여준다.