[논문 리뷰] Structural Tractability of Counting of Solutions to Conjunctive Queries

Arnaud Durand, Stefan Mengel|arXiv (Cornell University)|2013. 03. 08.

Algorithms and Data Compression참고 문헌 21인용 수 12

한 줄 요약

이 논문은 조건부 쿼리(CQs)의 해를 세는 문제의 구조적 특성으로 정량화된 별 크기(quantified star size)를 도입한다. 일반화된 초트리 너비 또는 트리 너비가 유계인 CQ 클래스에 대해, 해를 세는 것이 다항시간 내에 가능함은 정량화된 별 크기가 유계일 때이고, 그 경우에만 성립함을 증명한다—이를 통해 순환 쿼리 외의 경우에 대해 다항시간 해세기의 정확한 특성화를 제공한다.

ABSTRACT

In this paper we explore the problem of counting solutions to conjunctive queries. We consider a parameter called the \emph{quantified star size} of a formula $φ$ which measures how the free variables are spread in $φ$. We show that for conjunctive queries that admit nice decomposition properties (such as being of bounded treewidth or generalized hypertree width) bounded quantified star size exactly characterizes the classes of queries for which counting the number of solutions is tractable. This also allows us to fully characterize the conjunctive queries for which counting the solutions is tractable in the case of bounded arity. To illustrate the applicability of our results, we also show that computing the quantified star size of a formula is possible in time $n^{O(k)}$ for queries of generalized hypertree width $k$. Furthermore, quantified star size is even fixed parameter tractable parameterized by some other width measures, while it is $\W{1}$-hard for generalized hypertree width and thus unlikely to be fixed parameter tractable. We finally show how to compute an approximation of quantified star size in polynomial time where the approximation ratio depends on the width of the input.

연구 동기 및 목표

• 조직형 쿼리에서 다항시간 세기의 결과를 확장하여 일반 CQs로 확장된 다항시간 세기의 구조적 조건을 규명하는 것.
• 일반 조건부 쿼리에 대해 정량화된 별 크기의 개념을 정의하고 공식화하여 쿼리 구조 내 자유 변수의 분포를 측정하는 것.
• 일반화된 초트리 너비 또는 트리 너비가 유계일 때, 정량화된 별 크기가 다항시간 세기 클래스를 정확히 특성화함을 증명하는 것.
• 정량화된 별 크기를 효율적으로 계산하거나 근사화하는 알고리즘을 제공하고, 그 매개변수화된 복잡도를 분석하는 것.
• QCSP 및 분리형 쿼리와 같은 더 넓은 논리 확장에 대한 영향을 탐색하고,未래 연구 방향을 제안하는 것.

제안 방법

• 초그래프 분해와 분수 초트리 커버를 사용하여, 조직형 쿼리에서의 정량화된 별 크기 개념을 일반적인 조건부 쿼리로 일반화하는 것.
• 자유 변수에 의해 유도되는 부분초그래프에서의 독립 집합의 최대 크기를 정량화된 별 크기로 정의하며, 분수 초트리 분해 하에서 수행한다.
• 너비가 $k$인 분수 초트리 분해를 사용하여 정량화된 별 크기를 유계로 하고, 이를 해 세기의 복잡도와 연결한다.
• 기존 쿼리 $ abla$에서 변수 간 의존성을 모델링하기 위해 제약 조건을 추가하여 변환된 쿼리 $ abla'$를 구성하며, 해의 등가성을 유지한다.
• 분해 기반 동적 프로그래밍을 적용하여 분해에서 최대 독립 집합(즉, 정량화된 별 크기)을 시간 $|\mathcal{H}|^{k^{O(1)}}$ 내에 계산한다.
• 기존의 분수 초트리 너비 및 해 열거에 관한 결과를 활용하여, 너비에 따라 변화하는 근사 비율을 갖는 정량화된 별 크기의 근사 알고리즘 유도.

실험 결과

연구 질문

• RQ1 조직형 케이스를 초월하여 조건부 쿼리 해의 다항시간 세기의 구조적 매개변수는 무엇인가?
• RQ2 정량화된 별 크기와 일반화된 초트리 너비, 트리 너비와 같은 기존의 너비 측정치가 해 세기 복잡도 맥락에서 어떻게 관련되어 있는가?
• RQ3 정량화된 별 크기는 효율적으로 계산될 수 있으며, 다양한 너비 측정치에 대해 매개변수화된 복잡도는 어떻게 되는가?
• RQ4 논리적 합성 또는 전칭 기호를 포함한 쿼리로 다항시간 세기의 가능성이 어느 정도까지 확장될 수 있는가?
• RQ5 QCSP와 같은 CQ 확장에서 결정 문제의 다항시간 가능성과 세기 문제의 다항시간 가능성 사이에 강력한 연결이 존재하는가?

주요 결과

• 정량화된 별 크기가 유계일 때, 그리고 그 경우에만, 해 세기 문제가 다항시간 내에 가능함을 증명함—단, $\mathbf{FPT} \neq \mathbf{\#W[1]}$를 가정할 때.
• 일반화된 초트리 너비 $k$가 유계인 쿼리에 대해, 정량화된 별 크기를 $n^{O(k)}$ 시간 내에 계산 가능하며, $k$에 대해 고정 매개변수 다항시간(FPT) 복잡도를 가짐.
• 정량화된 별 크기는 일반화된 초트리 너비에 대해 매개변수화할 경우 $\mathbf{W[1]}$-난이도를 가지며, 표준 복잡도 가정 하에 고정 매개변수 다항시간이 되기 어려움을 시사함.
• 정량화된 별 크기의 근사는 다항시간 내에 계산 가능하며, 근사 비율은 입력 쿼리의 너비에 따라 달라짐.
• 변환된 쿼리 $\nabla'$에 대해 너비 $k'$인 분수 초트리 분해를 구성함으로써 너비가 상수 배수 이내로 유지됨을 보장하며, 이는 효율적인 세기 계산을 가능하게 함.
• 분수 초트리 너비 $k$인 초그래프에서 최대 독립 집합은 분해 기반 동적 프로그래밍을 통해 시간 $|\mathcal{H}|^{k^{O(1)}}$ 내에 계산 가능함.