[論文レビュー] On Polynomials Defined by Acyclic Conjunctive Queries and Weighted Counting Problems

Arnaud Durand, Stefan Mengel|arXiv (Cornell University)|Oct 19, 2011

Data Management and Algorithms被引用数 4

ひとこと要約

本稿は、無環性連言的クエリ（ACQ）の重み付きカウント問題を調査し、重み付きの自由変数を含むACQの解のカウントが多項式時間で tractable であることを証明している。また、標準の複雑性仮定のもとで、重み付き解のカウントにおける tractable な部分クラスを完全に特徴づける、新たなパラメータを同定している。

ABSTRACT

This paper is a study of weighted counting problems associated to acyclic conjunctive queries ($\ACQ$) and the polynomials they define. We prove that summing the weights of solutions of quantifier-free $\ACQ$ queries can be done in polynomial time. We also show that minimalistic extensions of the problem (introducing one quantified variable, considering disjunction or conjunction of two $\ACQ$ instances) lead to intractable problems. However, we introduce a new parameter for quantified queries that permits to isolate large island of tractability. We show that, up to a standard assumption from parameterized complexity, this parameter fully characterizes tractable subclasses for counting weighted solutions of $\ACQ$ queries.

研究の動機と目的

• 無環性連言的クエリ（ACQ）に関連する重み付きカウント問題の複雑性を分析すること。
• ACQに量化子、論理和、論理積を追加した場合の、 tractable と intractable なケースの境界を特定すること。
• 量化子を含むACQに新たなパラメータを導入し、その妥当性を検証すること。
• 標準の複雑性仮定のもとで、ACQにおける重み付き解のカウントのすべての tractable な部分クラスを特徴づけること。

提案手法

• 代数的および論理的構造を用いて、無環性連言的クエリにおける重み付きカウント問題を形式化すること。
• 任意の重みを伴う自由変数を含むACQインスタンスについて、多項式時間での tractability を証明すること。
• ACQに1つの量化変数、論理和、論理積を追加して、複雑性の爆発を分析すること。
• 量化子を含むACQに新たなパラメータを導入し、 tractable な部分クラスを捉えること。
• パラメータ化された複雑性理論を用いて、提案されたパラメータが標準仮定のもとで tractability を完全に特徴づけることを示すこと。
• 論理的分解とクエリツリー解析を用いて、 tractability の構造的条件を導出すること。

実験結果

リサーチクエスチョン

• RQ1 自由変数を含まないACQにおける重み付きカウントは、多項式時間で解けるか？
• RQ2 最小限の拡張（例：1つの量化変数の追加）を加えた場合、重み付きカウントの複雑性はどのように変化するか？
• RQ3 2つのACQインスタンスを論理和または論理積で結合しても、重み付きカウントの tractability は保たれるか？
• RQ4 量化子を含むACQの重み付きカウントの tractable な部分クラスを完全に特徴づけるパラメータは存在するか？
• RQ5 標準の複雑性仮定のもとで、提案されたパラメータは重み付きACQカウントの tractable ケースを正確に捉えているか？

主な発見

• 自由変数を含む無環性連言的クエリの重み付きカウントは、多項式時間で解ける。
• ACQに1つの量化変数を追加すると、カウント問題は intractable になる。
• 2つのACQインスタンスを論理和または論理積で結合しても、カウント問題は intractable になる。
• 量化子を含むACQに新たな構造的パラメータを導入し、重み付きカウント問題の大きな tractable な部分クラスを特定できる。
• 標準のパラメータ化された複雑性理論の仮定のもとで、このパラメータは重み付き解のカウントにおけるACQの tractable な部分クラスを完全に特徴づける。
• 提案されたパラメータに基づき、tractability がタイトに特徴づけられ、重要な理論的ギャップが埋められた。