[논문 리뷰] Polynomial-time Algorithms for the Subset Feedback Vertex Set Problem on Interval Graphs and Permutation Graphs

Charis Papadopoulos, Spyridon Tzimas|arXiv (Cornell University)|2017. 01. 17.

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

한 줄 요약

이 논문은 AT-free 그래프의 두 상이한 부분집합인 구간 그래프와 순열 그래프에서 가중치가 부여된 부분집합 피드백 정점 집합 문제에 대한 최초의 다항시간 알고리즘을 제시한다. 이러한 그래프의 구조적 성질을 활용하고 정점 분할에 기반한 동적 프로그래밍을 적용하여 효율적인 해법을 도출하였으며, 이는 멀티웨이 컷과 같은 관련 문제에 대한 응용을 가능하게 한다.

ABSTRACT

Given a vertex-weighted graph $G=(V,E)$ and a set $S \subseteq V$, a subset feedback vertex set $X$ is a set of the vertices of $G$ such that the graph induced by $V \setminus X$ has no cycle containing a vertex of $S$. The extsc{Subset Feedback Vertex Set} problem takes as input $G$ and $S$ and asks for the subset feedback vertex set of minimum total weight. In contrast to the classical extsc{Feedback Vertex Set} problem which is obtained from the extsc{Subset Feedback Vertex Set} problem for $S=V$, restricted to graph classes the extsc{Subset Feedback Vertex Set} problem is known to be NP-complete on split graphs and, consequently, on chordal graphs. However as extsc{Feedback Vertex Set} is polynomially solvable for AT-free graphs, no such result is known for the extsc{Subset Feedback Vertex Set} problem on any subclass of AT-free graphs. Here we give the first polynomial-time algorithms for the problem on two unrelated subclasses of AT-free graphs: interval graphs and permutation graphs. As a byproduct we show that there exists a polynomial-time algorithm for circular-arc graphs by suitably applying our algorithm for interval graphs. Moreover towards the unknown complexity of the problem for AT-free graphs, we give a polynomial-time algorithm for co-bipartite graphs. Thus we contribute to the first positive results of the extsc{Subset Feedback Vertex Set} problem when restricted to graph classes for which extsc{Feedback Vertex Set} is solved in polynomial time.

연구 동기 및 목표

• 클래식한 피드백 정점 집합 문제가 다항시간으로 해결 가능한 그래프 클래스에서 부분집합 피드백 정점 집합(SFVS) 문제의 계산 복잡도를 다루는 것.
• 스플릿 그래프와 체로드랄 그래프에서 SFVS가 NP-완전임을 고려할 때, 특정 부분집합에서의 긍정적 결과를 도출하여 이를 극복하는 것.
• 구간 그래프와 순열 그래프에서 가중치가 부여된 SFVS 문제에 대한 효율적인 알고리즘을 개발하는 것. 이들은 AT-free 그래프의 진부분집합이다.
• SFVS로의 감소를 통해 이러한 그래프 클래스에서 멀티웨이 컷과 같은 관련 문제를 해결할 수 있는 기반을 마련하는 것.
• 공백 그래프에서 SFVS의 다항시간 해법을 입증함으로써 AT-free 그래프에서 SFVS의 복잡도 이해에 기여하는 것(부산물로서 공백 그래프에서의 다항시간 해법을 확보함).

제안 방법

• 정점들을 네 집합으로 분할하는 기반의 동적 프로그래밍 접근법을 설계: X(해결책에 포함된 S-정점), Y(X에 인접한 비-S 정점), Z(해결책에 포함되지 않은 S-정점이지만 Y에 인접한 정점), W(X 또는 Z에 인접하지 않은 비-S 정점).
• 최대 S-포레스트를 형성할 수 있는 이러한 네 집합의 가능한 모든 구성(configuration)을 열거하며, S-정점에 의해 유도되는 부분그래프에서 사이클이 발생하지 않도록 보장한다.
• 구간 그래프와 순열 그래프의 구조적 성질을 활용하여 이러한 구성의 수를 경우의 수당 O(n^4)로 제한함으로써 다항시간 열거가 가능하도록 한다.
• 구간 그래프와 순열 그래프의 표현 방식(예: 구간 순서 및 순열 행렬 구조)을 활용한 재귀적 분해 전략을 적용하여 상태 공간을 이끌어낸다.
• 안전한 가지치기 규칙 도입: X 또는 Z에 인접한 S-정점이 없는 정점은 S-사이클을 생성하지 않는 한 해답에 안전하게 포함시킬 수 있다.
• 정당성 증명을 위해 모든 최대 S-포레스트가 22개의 표준 구성 중 하나에 해당하며, 각각이 다항시간 내에 확인 및 처리 가능하다는 것을 보여준다.

실험 결과

연구 질문

• RQ1 가중치가 부여된 부분집합 피드백 정점 집합 문제는 구간 그래프에서 다항시간으로 해결 가능한가?
• RQ2 가중치가 부여된 부분집합 피드백 정점 집합 문제는 순열 그래프에서 다항시간으로 해결 가능한가?
• RQ3 구간 그래프와 순열 그래프에서 SFVS에 대한 다항시간 알고리즘이 존재한다면, 이는 AT-free 그래프의 다른 부분집합으로까지 확장 가능한가?
• RQ4 공백 그래프에서 SFVS 문제는 다항시간으로 해결 가능한가? (구간 및 순열 그래프와 유사한 구조적 성질을 가짐을 고려하여)
• RQ5 SFVS 알고리즘은 이러한 그래프 클래스에서 멀티웨이 컷과 같은 관련 문제를 얼마나 널리 적용할 수 있는가?

주요 결과

• 논문은 구간 그래프에서 가중치가 부여된 부분집합 피드백 정점 집합 문제에 대한 최초의 다항시간 알고리즘을 제시한다.
• 유사한 다항시간 알고리즘이 순열 그래ph에 대해서도 개발되었으며, 이는 AT-free 그래프의 어떤 부분집합에서도 SFVS에 대한 최초의 긍정적 결과이다.
• 최대 22n^4개의 최대 S-포레스트를 열거함으로써 알고리즘이 O(n^4) 시간 내에 실행되며, 각각은 정점 집합의 유효한 구성에 해당한다.
• 이 접근법을 통해 SFVS로의 감소를 통해 구간 그래프와 순열 그래프에서 멀티웨이 컷 문제에 대한 다항시간 해법을 확보할 수 있다.
• 공백 그래프(=AT-free 그래프의 부분집합)에 대해서도 다항시간 알고리즘이 확립되었으며, 이는 SFVS가 다항시간으로 해결 가능한 그래프의 범위를 더욱 확장한다.
• 결과적으로 SFVS는 스플릿 그래프와 체로드랄 그래프에서 NP-완전이지만, 구간 그래프와 순열 그래프에서는 다항시간으로 해결 가능하다는 것이 입증되었다.