[논문 리뷰] Fast FPT algorithms for vertex subset and vertex partitioning problems using neighborhood unions

Binh-Minh Bui-Xuan, Jan Arne Telle외 1명|arXiv (Cornell University)|2009. 03. 27.

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

한 줄 요약

이 논문은 그래프 컷에서의 이웃 집합의 유니온 수에 기반한 새로운 그래프 파라미터인 부울 너비(boolean-width)를 도입하고, 광범위한 정점 부분집합 및 정점 분할 문제에 대해 고정파rametertractable(FPT) 알고리즘을 제시한다. 주요 기여는 최적의 분해가 주어졌을 때 런타임이 부울 너비에 대해 단일 지수적일 수 있음을 보이며, 이는 랭크 너비나 클리크 너비를 사용할 경우의 이중 지수적 의존성보다 크게 향상된 것으로, 부울 너비가 랭크 너비의 제곱근 정도 이내임을 보여주는 엄밀한 이론적 연결을 제공한다.

ABSTRACT

We introduce the graph parameter boolean-width, related to the number of different unions of neighborhoods across a cut of a graph. Boolean-width is similar to rank-width, which is related to the number of $GF[2]$-sums (1+1=0) of neighborhoods instead of the boolean-sums (1+1=1) used for boolean-width. We give algorithms for a large class of NP-hard vertex subset and vertex partitioning problems that are FPT when parameterized by either boolean-width, rank-width or clique-width, with runtime single exponential in either parameter if given the pertinent optimal decomposition. To compare boolean-width versus rank-width or clique-width, we first show that for any graph, the square root of its boolean-width is never more than its rank-width. Next, we exhibit a class of graphs, the Hsu-grids, for which we can solve NP-hard problems in polynomial time, if we use the right parameter. An $n imes \frac{n}{10}$ Hsu-grid on ${1/10}n^2$ vertices has boolean-width $Θ(\log n)$ and rank-width $Θ(n)$. Moreover, any optimal rank-decomposition of such a graph will have boolean-width $Θ(n)$, i.e. exponential in the optimal boolean-width. A main open problem is to approximate the boolean-width better than what is given by the algorithm for rank-width [Hliněný and Oum, 2008]

연구 동기 및 목표

• 새로운 그래프 파라미터인 부울 너비를 도입하여 NP-난이도 정점 부분집합 및 정점 분할 문제에 대해 더 빠른 FPT 알고리즘을 개발한다.
• 부울 너비가 랭크 너비 및 클리크 너비와 어떻게 관련되어 있는지 이론적 프레임워크를 구축하며, 부울 너비가 항상 랭크 너비의 제곱근 이내임을 보인다.
• 특정 그래프 가족, 예를 들어 Hsu-그리드에서 부울 너비가 랭크 너비가 아닌 경우에 NP-난이도 문제의 다항시간 해법을 가능하게 함을 보여준다.
• 부울 너비를 효율적으로 근사하는 데 대한 열린 문제를 다루며, 현재의 랭크 너비 근사 알고리즘들이 부울 너비에 대해 2^{2*OPT}-근사값을 제공할 수 있음을 제안한다.

제안 방법

• 정점 컷을 기준으로 이웃 집합의 유니온 수의 로그를 부울 너비로 정의하며, 랭크 너비에서 사용하는 GF[2]-합을 부울 합(1+1=1)으로 대체한다.
• 모든 그래프에 대해 부울 너비의 제곱근이 랭크 너비를 초과하지 않음을 증명함으로써 기본 상한을 확립한다.
• 이웃 집합 유니온의 구조를 활용하는 트리 분해 기반 동적 프로그래밍 알고리즘을 설계하여 독립 집합, 호모모르피즘, 색칠 문제 등을 해결한다.
• 이웃 동치류의 표준 표현을 사용하여 상태 공간을 압축하고 재귀 하위 문제 간의 정확성을 보장한다.
• 다수의 문제에서 d-이웃 동치류의 수가 1-이웃 동치류의 함수로 유 bounds됨을 활용하여 효율적인 상태 집약을 가능하게 한다.
• Hsu-그리드에 알고리즘을 적용하여 부울 너비가 Θ(log n)일 경우 다항시간 해법이 가능함을 보이며, 랭크 너비가 Θ(n)일 경우 지수적 런타임이 발생함을 시사한다.

실험 결과

연구 질문

• RQ1 최적의 부울 너비 분해가 주어졌을 때, 부울 너비에 대해 단일 지수적 런타임을 갖는 FPT 알고리즘을 설계할 수 있는가?
• RQ2 부울 너비는 랭크 너비 및 클리크 너비와 비교해 어떤 점근적 상한을 가지는가?
• RQ3 부울 너비가 랭크 너비가 아닌 경우에 NP-난이도 문제의 다항시간 해법을 가능하게 하는 그래프 가족이 존재하는가?
• RQ4 그래프의 부울 너비가 2 이하임을 결정하는 다항시간 알고리즘이 존재하는가, 또는 부울 너비가 k인 그래프의 특성화가 가능한가?
• RQ5 현재의 랭크 너비 분해로부터 유도되는 2^{2*OPT}-근사보다 더 효율적으로 부울 너비를 근사할 수 있는가?

주요 결과

• 부울 너비는 하위항의 요소를 제외하면 항상 랭크 너비의 제곱근 이내이므로, 점근적 상한 측면에서 더 강력한 파라미터임을 보여준다.
• 크기가 n²/10인 Hsu-그리드의 경우 부울 너비는 Θ(log n)이며, 랭크 너비는 Θ(n)이므로 두 파라미터 사이에 초다항적 격차가 있음을 입증한다.
• 최적의 부울 너비 분해가 주어졌을 때, 제안된 알고리즘은 시간 복잡도 O(n⁴ · 2^{3qd·βw²}) 내에서 문제를 해결하며, 부울 너비에 대해 단일 지수적 의존성을 보인다.
• d=1인 문제(예: H-호모모르피즘)의 경우 부울 너비에 대해 선형 지수적 런타임으로 개선 가능하나, 이는 특수한 처리가 필요하다.
• Hsu-그리드의 경우 부울 너비에 대해 파arameterized된 알고리즘의 런타임은 다항시간이지만, 랭크 너비에 대해 파arameterized된 경우 지수적 런타임이 되므로 부울 너비의 우월성을 강조한다.
• 논문은 βw(G) ≤ ¼ rw(G)² + ⁵⁄₄ rw(G) + log rw(G)의 경계가 다항계수 상에서 최적인지 여부를 열어두며, 부울 너비를 효율적으로 계산하는 데 도전 과제를 제기한다.