[논문 리뷰] Subexponential parameterized algorithm for interval completion

Ivan Bliznets, Fedor V. Fomin외 2명|arXiv (Cornell University)|2016. 01. 10.

Advanced Graph Theory Research참고 문헌 28인용 수 12

한 줄 요약

이 논문은 Interval Completion 문제에 대한 첫 번째 비지수적 매개변수 알고리즘을 제시하며, 실행 시간을 k^O(√k) · n^O(1)으로 개선하여 이전의 O(k²k n³m) bound보다 크게 향상시켰다. 알고리즘은 고도의 데이터 축소 및 분기 기법을 활용하여 매개변수 k에 대해 비지수적 실행 시간을 달성하며, 이는 Interval Completion이 비지수적 시간 내에 해결 가능한 희귀한 그래프 수정 문제의 클래스에 속하게 함을 의미한다.

ABSTRACT

In the Interval Completion problem we are given an n-vertex graph G and an integer k, and the task is to transform G by making use of at most k edge additions into an interval graph. This is a fundamental graph modification problem with applications in sparse matrix multiplication and molecular biology. The question about fixed-parameter tractability of Interval Completion was asked by Kaplan, Shamir and Tarjan [FOCS 1994; SIAM J. Comput. 1999] and was answered affirmatively more than a decade later by Villanger at el. [STOC 2007; SIAM J. Comput. 2009], who presented an algorithm with running time O(k2kn3m). We give the first subexponential parameterized algorithm solving Interval Completion in time kO([EQUATION])nO(1). This adds Interval Completion to a very small list of parameterized graph modification problems solvable in subexponential time.

연구 동기 및 목표

• Interval Completion이 비지수적 매개변수 알고리즘을 갖는지 여부라는 오랫동안 열려 있던 문제를 해결하기 위해.
• Villanger 등이 제안한 고정 매개변수 가역 알고리즘의 이전 O(k²k n³m) 실행 시간을 향상시키기 위해.
• Interval Completion을 매개변수 k에 대해 비지수적 시간 내에 해결 가능한 그래프 수정 문제의 소규모 클래스에 포함시키기 위해.
• 고도의 데이터 축소 및 분기 기법이 기본적인 그래프 문제에 대해 비지수적 향상을 이끌 수 있음을 보여주기 위해.

제안 방법

• 해결 공간을 유지하면서 인스턴스를 축소하는 새로운 데이터 축소 기법을 사용한다.
• Interval 그래프의 구조적 성질과 잠재적 최대 클리크에 기반한 정교한 분기 전략을 사용한다.
• Interval 그래프가 최대 클리크의 특정 순서를 가지며, 이 순서를 이용해 간선 추가 결정을 이끌어내는 것을 활용한다.
• 핵심 구성 요소로는 보완 그래프에서 최소 정점 커버를 사용하여 간선 추가 수를 제한하는 것이다.
• 커널화와 입력 그래프의 구조를 활용하는 재귀적 분기 절차를 조합한다.
• 실행 시간 분석은 임계 정점 수의 bound가 O(√k)임을 이용하여 k에 대한 비지수적 의존성을 가능하게 한다.

실험 결과

연구 질문

• RQ1 Interval Completion은 매개변수 k에 대해 비지수적 시간, 즉 c > 1에 대해 o(c^k)로 해결될 수 있는가?
• RQ2 Interval 그래프의 어떤 구조적 성질이 더 빠른 매개변수 알고리즘 설계에 활용될 수 있는가?
• RQ3 고도의 데이터 축소 및 분기 기법을 사용하여 Interval Completion에 대해 k^O(√k) · n^O(1)의 실행 시간을 달성할 수 있는가?
• RQ4 새로운 알고리즘은 이전의 O(k²k n³m) 솔루션과 비교해 실용적이고 이론적으로 어떻게 성능을 냈는가?
• RQ5 이 연구에서 개발된 기법들은 다른 그래프 수정 문제로 확장될 수 있는가?

주요 결과

• 논문은 k^O(√k) · n^O(1)의 실행 시간을 달성하여 매개변수 k에 대해 비지수적임을 입증하였다.
• 이 결과는 Kaplan 등이 제기한 질문과 이후 Villanger 등이 재확인한 질문에 대해 Interval Completion의 고정 매개변수 가역성을 비지수적 시간 내에 해결함으로써 해결하였다.
• 이 알고리즘은 Interval Completion을 비지수적 매개변수 시간 내에 해결 가능한 문제의 클래스에 포함시키는 최초의 사례이다.
• 효율적인 분기 결정을 이끌어내기 위해 Interval 그래프의 깊이 있는 구조 분석과 잠재적 최대 클리크를 기반으로 하는 방법론을 활용한다.
• 실행 시간 향상은 특히 k의 값이 작거나 중간일 경우에 매우 뚜렷하며, 기존의 k^k에서 k^O(√k)로의 지수적 의존성 감소를 포함한다.
• 이 결과는 Interval Completion을 비지수적 매개변수 알고리즘을 갖는 그래프 수정 문제의 희귀하고 중요한 범주에 포함시킨다.