[논문 리뷰] A lower bound for the tree-width of planar graphs with vital linkages

Isolde Adler, Philipp Klaus Krause|arXiv (Cornell University)|2010. 11. 09.

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

한 줄 요약

이 논문은 평면 그래프에서 필수 연결성을 가진 링크를 갖는 경우의 트리너비에 대해 단일 지수(lower bound)를 확립하며, $(2^k+1)\times(2^k+1)$ 격자가 이산 경로 문제에서 무의미한 정점의 존재를 보장하는 데 부족하다는 것을 보여준다. 이 구성은 모든 정점과 격자를 $2^k-1$번 교차시키는 유일한 해를 필요로 하며, 이는 이러한 그래프의 트리너비와 경로너비가 최소 $2^{k-1}+1$만큼 증가해야 한다는 것을 증명한다.

ABSTRACT

The disjoint paths problem asks, given an graph G and k + 1 pairs of terminals (s_0,t_0), ...,(s_k,t_k), whether there are k+1 pairwise disjoint paths P_0, ...,P_k, such that P_i connects s_i to t_i. Robertson and Seymour have proven that the problem can be solved in polynomial time if k is fixed. Nevertheless, the constants involved are huge, and the algorithm is far from implementable. The algorithm uses a bound on the tree-width of graphs with vital linkages, and deletion of irrelevant vertices. We give single exponential lower bounds both for the tree-width of planar graphs with vital linkages, and for the size of the grid necessary for finding irrelevant vertices.

연구 동기 및 목표

• 이산 경로 문제의 고정 매개변수 가능 알고리즘에서 핵심 구성 요소인 필수 연결성을 가진 평면 그래프의 트리너비에 하한을 설정하는 것.
• 평면 그래프에서 무의미한 정점을 보장하기 위해 필요한 격자의 크기가 $k$에 대해 최소 지수적으로 증가함을 보여주며, 기존 알고리즘의 실용성에 도전하는 것.
• 모든 정점을 사용하고 격자를 $2^k - 1$번 교차시키는 유일한 해를 가지며, 어떤 정점도 무의미하지 않은 $k+1$개의 터미널 쌍을 가진 평면 그래프를 구성하는 것.
• Robertson과 Seymour의 트리너비 및 경로너비 정리에서 함수 $f(k)$와 $g(k)$에 대한 구체적인 하한을 제공하는 것.

제안 방법

• $(2^k+1)\times(2^k+1)$ 격자 $\mathfrak{G}$를 포함하는 평면 그래프 $G$를 구성하며, 터미널 $s_i$와 $t_i$를 경계에 배치하여 점점 증가하는 교차 수를 유도한다.
• 터미널을 배치함으로써 $P_0$는 격자를 0번 교차시키고, $P_1$은 1번, $P_{i+1}$은 $P_i$보다 두 번씩 더 많이 교차시키며, $i > 0$일 경우 $k_i = 2^{i-1}$번의 교차를 유도한다.
• 각 터미널 쌍의 반대쪽 영역을 제거하여 경로가 격자를 통과하고 간선을 재사용하지 않도록 강제함으로써 유일한 해를 확보한다.
• 수학적 귀납법을 통해 해의 유일성을 증명: 각 경로 $P_i$는 격자를 교차해야 하며, 이후 경로들이 차단을 피하기 위해 교차 수를 두 배로 늘여야 한다.
• 격자 미니어 성질과 알려진 트리너비 결과를 활용: $n\times n$ 격자는 트리너비가 $n$이므로, $(2^k+1)\times(2^k+1)$ 격자는 트리너비가 $2^k+1$이다.
• 유일한 해가 필수 연결성을 형성하며, Robertson과 Seymour의 정리를 적용하여 $f(k)$와 $g(k)$에 대한 하한을 유도한다.

실험 결과

연구 질문

• RQ1 필수 연결성을 가진 평면 그래프에서 $k+1$개의 터미널 쌍을 갖는 경우, 무의미한 정점의 존재를 보장하기 위해 필요한 최소 격자 크기는 얼마인가?
• RQ2 필수 연결성을 가진 평면 그래프의 트리너비는 $k$의 함수로서 최소 얼마나 커야 하는가?
• RQ3 이산 경로 문제에서 $(2^k+1)\times(2^k+1)$ 격자가 포함된 평면 그래프에서 무의미한 정점이 존재하지 않을 수 있는가?
• RQ4 Robertson과 Seymour의 트리너비 및 경로너비 정리에서 필수 연결성에 대한 함수 $f(k)$와 $g(k)$에 대해 가장 날카로운 하한은 무엇인가?
• RQ5 무의미한 정점 기법을 통한 고정 매개변수 알고리즘의 매개변수 의존성에 대해 단일 지수 하한이 존재하는가?

주요 결과

• 모든 정점과 $2^k - 1$번의 격자 교차를 포함하며, 어떤 정점도 무의미하지 않은 $k+1$개의 터미널 쌍을 가진 평면 그래프가 존재한다.
• 구성된 그래프는 미니어로 $(2^k+1)\times(2^k+1)$ 격자를 포함하며, 해 경로는 정확히 $2^k - 1$번 격자를 교차시킨다.
• 이 그래프의 트리너비와 경로너비는 최소 $2^{k-1} + 1$ 이상이므로, Robertson과 Seymour의 정리에서 $f(k)$와 $g(k)$에 대한 하한이 확립된다.
• $(2^k+1)\times(2^k+1)$ 격자는 무의미한 정점의 존재를 보장하는 데 부족하므로, 더 큰 격자가 무의미한 정점 기법을 적용하기 위해 필요하다는 것을 의미한다.
• 트리너비에 대한 하한은 고정 매개변수 알고리즘에서 관찰된 지수적 성장과 일치하므로, 날카로운 하한이다.
• 결과적으로 이산 경로 알고리즘의 매개변수 의존성은 무의미한 정점 기법을 회피하거나 개선하지 않는 한 단일 지수 이하로 개선될 수 없다는 것을 보여준다.