[논문 리뷰] Tractable Lineages on Treelike Instances: Limits and Extensions

Antoine Amarilli, Pierre Bourhis외 1명|arXiv (Cornell University)|2016. 04. 10.

Complexity and Algorithms in Graphs참고 문헌 48인용 수 16

한 줄 요약

이 논문은 다항시간 계층이 하위지수 시간과 하위지수 조언을 함께 내릴 경우를 제외하고는 나무 모양의 인스턴스에서의 처리 가능한 선형성은 제한됨을 증명한다. 만약 그래프 클래스가 다항 로그 시간의 너비를 무한히 가지며 부분그래프에 대해 닫혀 있다면, MSO 쿼리가 이러한 인스턴스에서 하위지수 시간에 하위지수 조언을 사용하여 평가될 수 있음을 입증한다. 이는 벽 그래프에 대한 위상적 임bedding과 다항시간 변환을 통한 축소를 통해 달성된다.

ABSTRACT

Query evaluation on probabilistic databases is generally intractable (#P-hard). Existing dichotomy results have identified which queries are tractable (or safe), and connected them to tractable lineages. In our previous work, using different tools, we showed that query evaluation is linear-time on probabilistic databases for arbitrary monadic second-order queries, if we bound the treewidth of the instance. In this paper, we study limitations and extensions of this result. First, for probabilistic query evaluation, we show that MSO tractability cannot extend beyond bounded treewidth: there are even FO queries that are hard on any efficiently constructible unbounded-treewidth class of graphs. This dichotomy relies on recent polynomial bounds on the extraction of planar graphs as minors, and implies lower bounds in non-probabilistic settings, for query evaluation and match counting in subinstance-closed families. Second, we show how to explain our tractability result in terms of lineage: the lineage of MSO queries on bounded-treewidth instances can be represented as bounded-treewidth circuits, polynomial-size OBDDs, and linear-size d-DNNFs. By contrast, we can strengthen the previous dichotomy to lineages, and show that there are even UCQs with disequalities that have superpolynomial OBDDs on all unbounded-treewidth graph classes; we give a characterization of such queries. Last, we show how bounded-treewidth tractability explains the tractability of the inversion-free safe queries: we can rewrite their input instances to have bounded-treewidth.

연구 동기 및 목표

• 나무 모양의 인스턴스에서 처리 가능한 선형성 계산의 이론적 한계를 규명하는 것.
• 이전 연구에서 조언 기반 하위지수 시간 평가에 대한 잘못된 증명을 해결하는 것.
• 다양한 그래프 클래스에서 다항 로그 시간 너비가 무한히 증가하는 경우 MSO 쿼리의 효율적 평가 조건을 설정하는 것.
• PH가 하위지수 시간에 하위지수 조언을 포함하는 경우에만 그러한 평가가 가능하다는 정확한 증명을 체계화하는 것.
• 평면 그래프의 위상적 임베딩이 조언을 통해 효율적인 쿼리 평가를 가능하게 한다는 것을 보여주는 것.

제안 방법

• 이전 연구에서 입력에 따라 조언이 결정되는 오류를 수정하여 Theorem LABEL:thm:ganianvariant의 정확한 증명을 사용한다. 이 경우 조언은 입력의 내용이 아니라 입력 길이에만 의존해야 한다.
• 다항시간 축소를 통해 다항시간 계층 문제를 차수 3의 평면 그래프에서의 MSO 쿼리로 변환한다.
• Proposition LABEL:prp:embed를 적용하여 임의의 차수 3 평면 그래프를 크기 O(n⁴)인 벽 그래프에 다항시간 내에 임베딩한다.
• Lemma LABEL:lem:extract에 의존하여, 가족 G에 속한 고 treewidth 그래프에서 벽 그래프를 위상적 미니처로 찾는다.
• 고 treewidth 그래프 Gₘ과 그에 대한 임베딩 (fₘ, gₘ)을 포함하는 조언 문자열을 구성한다. 크기는 O(2^{m^ε})로 제한된다.
• 축소 결과와 조언을 조합하여 쿼리 그래프를 Gₘ에 임베딩하고, Gₘ에서 하위지수 시간 알고리즘을 통해 평가를 가능하게 한다.

실험 결과

연구 질문

• RQ1 어떤 조건에서 나무 모양의 인스턴스에서 MSO 쿼리를 하위지수 시간에 하위지수 조언을 사용하여 평가할 수 있는가?
• RQ2 이전 연구에서 Theorem LABEL:thm:ganianvariant의 증명이 잘못되었던 이유는 무엇이며, 어떻게 수정할 수 있는가?
• RQ3 차수 3 평면 그래프는 벽 그래프에 효율적으로 임베딩될 수 있는가? 이는 쿼리 평가에 어떤 영향을 미치는가?
• RQ4 treewidth, 위상적 미니처, 선형성 계산 복잡도 사이의 관계는 무엇인가?
• RQ5 하위지수 조언의 존재는 다항시간 계층에 어떤 영향을 미치는가?

주요 결과

• Theorem LABEL:thm:ganianvariant의 증명이 수정되었으며, 조언이 입력의 내용이 아니라 입력 길이에만 의존해야 한다는 것이 입증되었다.
• 다항시간 계층의 임의의 문제에 대해, 그래프 클래스 G가 다항 로그 시간 너비를 무한히 가지며 부분그래프에 대해 닫혀 있다면, 임의의 ε > 0에 대해 시간 O(2^{m^ε})와 크기 O(2^{m^ε})의 조언을 사용하여 문제를 해결할 수 있다.
• 조언 문자열의 구성은 treewidth가 적어도 m^{10·l·α} 이상인 그래프 Gₘ ∈ G를 선택하고, 크기 O(2^{m^{ε/8(d+2)}})로 제한하며, 크기 m^{5l} × m^{5l}인 벽 그래프에 대한 임베딩을 포함한다.
• treewidth가 1인 인스턴스에서 MSO 쿼리의 선형성은 공식 표현에서 Ω(|I|²)의 크기를 요구할 수 있으며, 이는 짝수 함수 하한에 의해 입증된다.
• n개의 입력에서 불등식을 포함하는 조건부 쿼리의 선형성은 Ω(n log log n)의 크기를 요구하며, 이는 회로 복잡도 이론에서 알려진 하한과 일치한다.
• Gₘ에 임베딩된 그래프에서 MSO 공식의 평가는 시간 2^{O(log^{d+1} n)} 내에 수행되며, 여기서 d는 그래프 클래스의 성질에서 유도된 상수이다. 이는 하위지수 시간 평가를 가능하게 한다.