[논문 리뷰] A new separation theorem with geometric applications

Farhad Shahrokhi|arXiv (Cornell University)|2015. 04. 20.

Advanced Graph Theory Research참고 문헌 5인용 수 5

한 줄 요약

이 논문은 클리크 커버 기반의 새로운 길이 파라미터와 측도 함수를 사용하여 그래프에 대한 새로운 조합적 분리 정리를 제안한다. 이 정리는 NP-난이도의 기하 문제에 대한 초지수적 알고리즘을 가능하게 한다. 주요 결과는 $ O(2^p l^{* (p-1)/p} u(G)^{(p-1)/p}) $ 개의 클리크로 덮일 수 있는 정점 분리집합이 존재할 경우, 각 성분의 측도가 $ 2\mu(G)/3 $ 이하가 되며, 이는 최대 독립집합, 최소 단위원판 커버링, 그리고 투과 문제에 대한 향상된 알고리즘으로 이어진다.

ABSTRACT

Let $G=(V(G), E(G))$ be an undirected graph with a measure function $μ$ assigning non-negative values to subgraphs $H$ so that $μ(H)$ does not exceed the clique cover number of $H$. When $μ$ satisfies some additional natural conditions, we study the problem of separating $G$ into two subgraphs, each with a measure of at most $2μ(G)/3$ by removing a set of vertices that can be covered with a small number of cliques $G$. When $E(G)=E(G_1)\cap E(G_2)$, where $G_1=(V(G_1),E(G_1))$ is a graph with $V(G_1)=V(G)$, and $G_2=(V(G_2), E(G_2))$ is a chordal graph with $V(G_2)=V(G)$, we prove that there is a separator $S$ that can be covered with $O(\sqrt{lμ(G)})$ cliques in $G$, where $l=l(G,G_1)$ is a parameter similar to the bandwidth, which arises from the linear orderings of cliques covers in $G_1$. The results and the methods are then used to obtain exact and approximate algorithms which significantly improve some of the past results for several well known NP-hard geometric problems. In addition, the methods involve introducing new concepts and hence may be of an independent interest.

연구 동기 및 목표

• 측도 함수가 부분가환성과 단조성을 만족하는 그래프에 대한 일반적인 분리 정리를 개발하기.
• 보조 그래프에서 순서가 지정된 클리크 커버 기반으로 정의된 새로운 길이 파라미터 $ l(G, H) $ 를 정의하여 구조적 희소성을 캡처하기.
• 이 분리 정리를 이용하여 최대 독립집합 및 단위원판으로의 커버링과 같은 NP-난이도 기하 문제에 대해 더 빠른 알고리즘을 유도하기.
• 새로운 분리 프레임워크를 통해 기하 문제에 대한 기존 PTAS 및 정확 알고리즘의 시간 및 공간 복잡도를 향상시키기.

제안 방법

• 부분그래프에 대해 단조성, 부분가환성, 그리고 분리된 구성요소에서의 모듈라리티를 만족하는 측도 함수 $ \mu $ 를 정의하기.
• 모든 순서가 지정된 클리크 커버에 대한 최소값으로 길이 파라미터 $ l(G, H) $ 를 정의하여, $ G $ 의 간선 끝점들을 포함하는 클리크들 간의 거리를 측정하기.
• 만약 $ G $ 가 $ p-1 $ 개의 그래프 $ G_i $ 와 하나의 순환 그래프 $ G_p $ 의 교집합이라면, $ O(2^p l^{* (p-1)/p} \mu(G)^{(p-1)/p}) $ 개의 클리크로 덮일 수 있는 분리집합이 존재함을 증명하기.
• 순환 그래프의 구조와 완벽한 제거 트리를 이용해 클리크 분리집합을 찾거나, 클리크 커버가 클 경우 길이 성질을 활용하기.
• 기하 문제에 적용하기 위해 $ \mu(F) $ 를 부분그래프에 제한된 원판 또는 직사각형 커버의 크기로 정의하기.
• 가능한 해가 작은 후보 집합 $ \mathcal{C} $ 에 제한될 수 있음을 활용하여 효율적인 동적 프로그래밍을 수행하기.

실험 결과

연구 질문

• RQ1 기하적 임bedding과 무관하게 측도 함수를 가진 그래프에 대해 일반적인 분리 정리를 제시할 수 있는가?
• RQ2 새로운 길이 파라미터 $ l(G, H) $ 는 대칭폭과 트리너비와 같은 기존 그래프 파라미터와 어떻게 관련이 있는가?
• RQ3 이 분리 프레임워크는 NP-난이도 기하 문제에 대해 초지수적 알고리즘을 도출할 수 있는가?
• RQ4 이 방법은 기존 PTAS 및 정확 알고리즘의 복잡도를 독립집합 및 커버링 문제에 대해 어느 정도 향상시키는가?
• RQ5 길이 파라미터와 간격 순서의 차원 사이의 관계는 무엇인가?

주요 결과

• 측도가 $ \mu(G) $ 이하인 그래프 $ G $ 는 각 성분의 측도가 $ 2\mu(G)/3 $ 이하가 되는 분리집합을 가지며, 이 분리집합의 유도된 부분그래프는 $ O(2^p l^{* (p-1)/p} \mu(G)^{(p-1)/p}) $ 개의 클리크로 덮일 수 있다.
• 단위 높이 직사각형에 대해 최대 독립집합은 $ |V(G)|^{O(\sqrt{\alpha(G)})} $ 시간에 계산 가능하며, 이는 이전의 경계를 향상시킨다.
• 단위 높이 직사각형에 대한 최대 독립집합의 PTAS는 $ |V(G)|^{O(1/\epsilon)} $ 시간에 작동하며, 저장공간은 오직 $ O(|V(G)|^2) $ 로 제한되며, 이는 이전의 $ |V(G)|^{O(1/\epsilon)} $ 저장공간 요구 조건에 비해 크게 향상된 것이다.
• 단위원판 커버링 문제에 대해 초지수적 정확 알고리즘이 $ n^{O(\sqrt{\text{opt}(P)})} $ 시간과 $ O(n^2) $ 저장공간으로 작동하며, 이는 이 문제에 대해 처음으로 제시된 초지수적 알고리즘이다.
• 단위원판 커버링의 PTAS는 $ n^{O(1/\epsilon)} $ 시간에 작동하며, 이는 이전의 $ n^{O(1/\epsilon^2)} $ 복잡도에 비해 크게 향상된 것이다.
• 길이 파라미터 $ l(G, G) $ 는 간격 순서의 차원과 관련이 있다: $ l(G, G) = 1 $ 이면 $ G $ 는 비비교성 그래프이며, 간격 그래프의 경우 $ \dim(\prec) \leq l(G, G) + 2 $ 이다.