[논문 리뷰] Transitive-closure spanners

Arnab Bhattacharyya, Elena Grigorescu외 3명|arXiv (Cornell University)|2009. 01. 04.

Complexity and Algorithms in Graphs참고 문헌 52인용 수 50

한 줄 요약

이 논문은 액세스 제어, 성질 테스팅, 데이터 구조 등 다양한 문제를 통합하는 프레임워크로 전이폐쇄 스펜너(Transitive-Closure Spanners, TC-spanners)를 제안한다. 밀도가 낮은 k-TC-스펜너를 구성하기 위한 효율적인 알고리즘을 제시하고, 관련 문제에 대해 최초로 초선형 근사 비율을 달성하며, 강력한 근사 불가능성 한계를 증명하고, H-미니어 프리(digraphs)에 대해 구조적 O(n)-크기의 경계를 확립하여 더 나은 성질 테스팅을 가능하게 한다.

ABSTRACT

We define the notion of a transitive-closure spanner of a directed graph. Given a directed graph G = (V, E) and an integer k ≥ 1, a k-transitive-closure-spanner (k-TC-spanner) of G is a directed graph H = (V, EH) that has (1) the same transitive-closure as G and (2) diameter at most k. These spanners were studied implicitly in access control, property testing, and data structures, and properties of these spanners have been rediscovered over the span of 20 years. We bring these areas under the unifying framework of TC-spanners. We abstract the common task implicitly tackled in these diverse applications as the problem of constructing sparse TC-spanners.We study the approximability of the size of the sparsest k-TC-spanner for a given digraph. Our technical contributions fall into three categories: algorithms for general digraphs, inapproximability results, and structural bounds for a specific graph family which imply an efficient algorithm with a good approximation ratio for that family.Algorithms. We present two efficient deterministic algorithms that find k-TC-spanners of near optimal size. The first algorithm gives an O(n1-1/k)-approximation for k > 2. Our method, based on a combination of convex programming and sampling, yields the first sublinear approximation ratios for (1) Directed k-Spanner, a well-studied generalization of k-TC-Spanner, and (2) its variants Client/Server Directed k-Spanner, and the k-Diameter Spanning Subgraph. This resolves the main open question of Elkin and Peleg (IPCO, 2001). The second algorithm, specific to the k-TC-spanner problem, gives an O(n/k2)-approximation. It shows that for k = Ω(√n), our problem has a provably better approximation ratio than Directed k-Spanner and its variants. This algorithm also resolves an open question of Hesse (SODA, 2003).Inapproximability. Our main technical contribution is a pair of strong inapproximability results. We resolve the approximability of 2-TC-spanners, showing that it is θ(log n) unless P = NP. For constant k ≥ 3, we prove that the size of the sparsest k-TC-spanner is hard to approximate within 2log1-en, for any e > 0, unless NP ⊆ DTIME (npolylog n). Our hardness result helps explain the difficulty in designing general efficient solutions for the applications above, and it cannot be improved without resolving a long-standing open question in complexity theory. It uses an involved application of generalized butterfly and broom graphs, as well as noise-resilient transformations of hard problems, which may be of independent interest.Structural bounds. Finally, we study the size of the sparsest TC-spanner for H-minor-free digraphs, which include planar, bounded genus, and bounded tree-width graphs, explicitly investigated in applications above. We show that every H-minor-free digraph has an efficiently con-structible k-TC-spanner of size O(n). This implies an O(1)-approximation algorithm for this family. Furthermore, using our insight that 2-TC-spanners yield property testers, we obtain a monotonicity tester with O(log2n/e) queries for any poset whose transitive reduction is an H-minor free digraph. This improves and generalizes the previous θ(√n log n/e)-query tester of Fischer et al (STOC, 2002).

연구 동기 및 목표

• 액세스 제어, 성질 테스팅, 데이터 구조 등 다양한 응용을 전이폐쇄 스펜너 프레임워크로 통합하기 위해.
• 일반적인 방향 그래프에 대해 가장 흐문 k-TC-스펜너를 구성하는 문제의 근사 가능성 연구를 위해.
• k-TC-스펜너 및 관련 문제들인 Directed k-Spanner와 k-Diameter Spanning Subgraph에 대한 근사 비율에 대한 열린 문제를 해결하기 위해.
• 2-TC-스펜너와 상수 k ≥ 3에 대해 강력한 근사 불가능성 결과를 확립하기 위해.
• H-미니어 프리 방향 그래프에 대해 TC-스펜너 크기의 구조적 경계를 유도하여 효율적인 근사와 향상된 성질 테스팅을 가능하게 하기 위해.

제안 방법

• 일반적인 k-스펜너 방법보다 더 나은 성능을 내기 위해 k = Ω(√n)일 때 O(n/k²)-근사 비율을 달성하는 특화된 알고리즘을 적용한다.
• 일반화된 나비 모양(butterfly) 및 빗자루(broom) 그래프를 새로운 구성 방식으로 사용하여 강력한 근사 불가능성 하한을 증명한다.
• 어려운 문제의 노이즈에 강한 변환을 사용하여, k ≥ 3에 대해 k-TC-스펜너를 근사하는 것이 2^{log^{1-ε} n} 이내로는 불가능하다는 것을 증명한다. 이는 NP ⊆ DTIME(n^{polylog n})이 아닐 경우에 한하여 성립한다.
• H-미니어 프리 방향 그래프에 대해 O(n) 크기의 효율적인 k-TC-스펜너를 구조적 통찰을 활용하여 구성한다.
• 2-TC-스펜너를 활용하여 H-미니어 프리 전이 감소를 갖는 부분순서 집합(posets)에 대해 O(log²n / ε) 쿼리로 작동하는 단조성 테스터(monotonicity tester)를 설계한다.

실험 결과

연구 질문

• RQ1 일반적인 방향 그래프에 대해 가장 흐문 k-TC-스펜너를 구성하는 문제의 근사 가능성은 무엇이며, 초선형 근사 비율을 달성할 수 있는가?
• RQ2 Elkin과 Peleg의 Directed k-Spanner에 대한 열린 문제를 초선형 근사 비율로 해결할 수 있는가?
• RQ3 2-TC-스펜너와 상수 k ≥ 3에 대해 가장 강력한 근사 불가능성 경계는 무엇인가?
• RQ4 H-미니어 프리 방향 그래프는 상수 근사 비율로 효율적으로 구성 가능한 흐문 k-TC-스펜너를 갖는가?
• RQ5 TC-스펜너 구성이 단조성 테스팅을 향상시킬 수 있는가, 특히 단조성 테스팅에 대해?

주요 결과

• 논문은 k > 2에 대해 최초로 O(n^{1-1/k})의 초선형 근사 비율을 제시하며, Elkin과 Peleg의 열린 문제를 해결한다.
• k = Ω(√n일 경우, k-TC-스펜너에 대한 O(n/k²)-근사 알고리즘이 기존의 Directed k-Spanner 및 유사 문제의 방법보다 증명 가능하게 더 나은 비율을 달성한다.
• 논문은 2-TC-스펜너가 P ≠ NP일 경우 θ(log n)-근사 가능하다는 것을 증명하며, 엄밀한 근사 불가능성 경계를 확립한다.
• 상수 k ≥ 3에 대해, 가장 흐문 k-TC-스펜너의 크기를 2^{log^{1-ε} n} 이내로 근사하는 것은 불가능하며, 이는 어떤 ε > 0에 대해서도 성립한다. 이는 NP ⊆ DTIME(n^{polylog n})이 아닐 경우에 한하여 성립한다.
• 모든 H-미니어 프리 방향 그래프는 O(n) 크기의 효율적으로 구성 가능한 k-TC-스펜너를 갖으며, 이는 이 가족에 대해 O(1)-근사 알고리즘을 제공한다.
• 이 프레임워크를 통해 H-미니어 프리 전이 감소를 갖는 부분순서 집합에 대해 O(log²n / ε) 쿼리로 작동하는 단조성 테스터를 설계할 수 있으며, 이는 이전의 θ(√n log n / ε)-쿼리 경계를 향상시킨다.