[논문 리뷰] Using Neighborhood Diversity to Solve Hard Problems

Robert Ganian|arXiv (Cornell University)|2012. 01. 15.

Advanced Graph Theory Research참고 문헌 14인용 수 24

한 줄 요약

이 논문은 이웃성 다수성(parameterized by neighborhood diversity)에 기반한 고정파rameter능행(FPT) 알고리즘을 제시한다. 이 알고리즘은 p-Vertex-Disjoint Paths, Graph Motif, Precoloring Extension 세 가지 NP-완전 그래프 문제를 다룬다. 이웃성 다수성이 유계된 그래프에서 유형 클래스의 구조적 특성을 활용한 정수선형계획법(ILP) 포지션을 통해, 기존의 트리폭과 정점커버와 같은 파rameter에서 실패하는 문제들에 대해서도 FPT 알고리즘을 달성한다.

ABSTRACT

Parameterized algorithms are a very useful tool for dealing with NP-hard problems on graphs. Yet, to properly utilize parameterized algorithms it is necessary to choose the right parameter based on the type of problem and properties of the target graph class. Tree-width is an example of a very successful graph parameter, however it cannot be used on dense graph classes and there also exist problems which are hard even on graphs of bounded tree-width. Such problems can be tackled by using vertex cover as a parameter, however this places severe restrictions on admissible graph classes. Michael Lampis has recently introduced neighborhood diversity, a new graph parameter which generalizes vertex cover to dense graphs. Among other results, he has shown that simple parameterized algorithms exist for a few problems on graphs of bounded neighborhood diversity. Our article further studies this area and provides new algorithms parameterized by neighborhood diversity for the p-Vertex-Disjoint Paths, Graph Motif and Precoloring Extension problems -- the latter two being hard even on graphs of bounded tree-width.

연구 동기 및 목표

• 트리폭과 정점커버를 초월해, 이웃성 다수성을 구조적 파라미터로 사용하여 고정파라미터능행 알고리즘의 적용 가능성을 넓히기.
• 트리폭이 유계된 그래프에서도 여전히 어려운 문제들, 예를 들어 Graph Motif와 Precoloring Extension과 같은 문제들을 다루기.
• 이웃성 다수성이 유계된 그래프에서 p-Vertex-Disjoint Paths 및 기타 문제에 대해 효율적인 FPT 알고리즘을 설계하기.
• 기존의 정점커버 기반 알고리즘의 한계를 극복하기 위해, 이웃성 다수성을 통해 조밀한 그래프로 일반화하기.
• 이웃성 다수성이 이전에는 타당하지 않다고 여겨졌던 문제들에 대해서도 FPT 알고리즘을 가능하게 한다는 것을 보여주기.

제안 방법

• 이웃성 동치성 기반의 유형 클래스를 사용해 그래프를 모델링: 서로의 이웃을 제외한 이웃이 동일한 정점들은 같은 유형에 속한다.
• 각 문제를 정수선형계획법(ILP)으로 포지션화하며, 변수는 경로 수, 색상 할당, 또는 유형 간 상호작용을 나타낸다.
• 경로의 타당성(예: 유형당 정점 용량, 경로의 연속성)과 색상 일관성(예: 적절한 색상 할당, 사전색상 보존)을 보장하는 제약 조건을 인코딩한다.
• 유형 클래스의 수가 유계되어 있음(최대 $2^k + k$)을 이용해 ILP의 크기를 제한함으로써, 이웃성 다수성 $k$에 대해 FPT 런타임을 확보한다.
• 모든 유형 내 정점들이 상호교환 가능하다는 사실을 활용해, ILP 해에서 해를 탐색적으로 재구성할 수 있다.
• 변수와 제약 조건의 수가 유계된 ILP 솔버를 적용하여 FPT 런타임을 달성하며, 지수는 오직 $k$에만 의존한다.

실험 결과

연구 질문

• RQ1 이웃성 다수성이 트리폭이 유계된 그래프에서 W[1]-완전인 문제들을 해결하는 데 유용한 파라미터가 될 수 있는가?
• RQ2 이웃성 다수성을 사용해 p-Vertex-Disjoint Paths와 Graph Motif에 대해 FPT 알고리즘을 설계할 수 있는가?
• RQ3 정점커버 기반 방법이 일반화되지 않는 이웃성 다수성이 유계된 그래프에서 Precolored Extension 문제를 효율적으로 해결할 수 있는가?
• RQ4 이웃성 다수성의 어떤 구조적 성질이 다른 파라미터에서 어려운 문제들에 대해 FPT 알고리즘을 가능하게 하는가?
• RQ5 이웃성 다수성이 조밀한 그래프에서 정점커버보다 더 일반적이고 실용적인 파라미터인가?

주요 결과

• p-Vertex-Disjoint Paths 문제는 이웃성 다수성에 대해 FPT 알고리즘을 갖으며, 런타임이 $O(2^{O(k)} ext{poly}(n))$ 이다.
• Graph Motif 문제는 이웃성 다수성을 파라미터로 사용해 FPT 시간 $O(2^{O(k)} ext{poly}(n))$ 내에 해결 가능하다.
• Precoloring Extension 문제는 $O(q^{2.5q + o(q)} imes n)$ 시간 내에 해결되며, $q = 2^{2k}$ 이다. 이는 이웃성 다수성이 유계된 그래프에서 이 문제에 대해 FPT 알고리즘을 확립한 것이다.
• 이 세 문제 모두 트리폭이 유계된 그래프에서 W[1]-완전하므로, 이웃성 다수성이 더 넓은 트랙터블 인스턴스의 클래스를 포괄한다는 것을 보여준다.
• ILP 기반 접근법은 정점커버를 초월해 일반화되었으며, 이전에는 정점커버 기반 또는 전혀 해결되지 않았던 문제들에 대해서도 FPT 알고리즘을 가능하게 했다.
• 이웃성 다수성에서의 유형 클래스의 구조적 단순성 덕분에, 트리형 구조가 없더라도 효율적인 인코딩과 해 재구성 가능성이 있다.