[論文レビュー] A Dichotomy for the Generalized Model Counting Problem for Unions of Conjunctive Queries

Batya Kenig, Dan Suciu|arXiv (Cornell University)|Aug 3, 2020

Bayesian Modeling and Causal Inference参考文献 10被引用数 5

ひとこと要約

本論文は、結合的クエリの和（UCQs）上の一般化モデル数え上げ問題について、二分岐を確立する。これは、安全UCQでは多項式時間で解けるが、非安全UCQでは#P困難であることを示している。これは、タプル確率が{0, 1/2, 1}に制限されても成り立つ。主な貢献は、(0,1)内に複数の異なる確率値に依存しない、新たな困難性の証明技法の開発である。この技法により、極めて制限された確率制約下でも#P困難性が維持されることを示し、確率的データベースにおけるクエリ評価に関する先行研究を強化する。

ABSTRACT

We study the $generalized~model~counting~problem$, defined as follows: given a database, and a set of deterministic tuples, count the number of subsets of the database that include all deterministic tuples and satisfy the query. This problem is computationally equivalent to the evaluation of the query over a tuple-independent probabilistic database where all tuples have probabilities in $\{0,\frac{1}{2},1\}$. Previous work has established a dichotomy for Unions of Conjunctive Queries (UCQ) when the probabilities are arbitrary rational numbers, showing that, for each query, its complexity is either in polynomial time or #P-hard. The query is called $safe$ in the first case, and $unsafe$ in the second case. Here, we strengthen the hardness proof, by proving that an unsafe UCQ query remains #P-hard even if the probabilities are restricted to $\{0,\frac{1}{2},1\}$. This requires a complete redesign of the hardness proof, using new techniques. A related problem is the $model~counting~problem$, which asks for the probability of the query when the input probabilities are restricted to $\{0,\frac{1}{2}\}$. While our result does not extend to model counting for all unsafe UCQs, we prove that model counting is #P-hard for a class of unsafe queries called Type-I forbidden queries.

研究の動機と目的

• 制限された確率下での結合的クエリの和（UCQs）における一般化モデル数え上げ問題の二分岐を確立すること。
• 確率が{0, 1/2, 1}に制限されても、非安全UCQのクエリ評価の#P困難性が維持されることを証明すること。これは、先行の証明が任意の有理数確率に依存していたのと対照的である。
• 複数の異なる確率値が(0,1)に存在することに依存しない、新たな証明技法の開発。これにより、より厳しい確率制約下でも困難性の結果を導出可能となる。
• 確率が{0, 1/2}に制限された場合、特にタイプI禁止クエリのクラスにおいて、モデル数え上げが依然として困難であるかどうかを調査すること。

提案手法

• 非安全UCQの困難性証明を見直し、(0,1)内に複数の異なる確率値に依存しない新技術を導入。代わりに、有界次数の多変数多項式の性質に依存する。
• 補題1.1を用いて、次数≤2の非ゼロ多変数多項式に対して、c₁, c₂, c₃（相異なる定数）への変数の割り当てのうち、多項式がゼロでない値をとるものが存在することを示す。これにより、3つの確率値のみを用いた困難なインスタンスの構築が可能になる。
• 累乗されたベクトルの系列を用いた新規な帰納的議論を適用。繰り返し適用においても確率の積がゼロでないよう保証し、非ゼロのモデル数の存在を確保する。
• 補題C.48を活用。特定の指数の系列に対して、確率比が指数的に減少することを保証し、極限においても確率積がゼロでないことを保証する。
• Γを定義し、確率比r_ij = u_i^q z_j^tが相異なるように制約を課す。これにより、和のうち最大項が漸近的に支配的となり、非ゼロ評価が保たれる。
• UCQ内の結合的クエリ数に関する帰納法を用い、部分クエリの結果を乗法的確率構造で統合。新規な証明フレームワークを適用し、非ゼロ評価の維持を保証する。

実験結果

リサーチクエスチョン

• RQ1 確率が{0, 1/2, 1}に制限された場合でも、非安全UCQのクエリ評価の#P困難性は維持されるか？
• RQ2 複数の異なる確率値が(0,1)に存在することに依存しない、新たな証明技法を開発できるか？（これは、先行の困難性証明の中心的要素であった。）
• RQ3 確率が{0, 1/2}に制限された場合、特にタイプI禁止クエリに対して、モデル数え上げは#P困難であるか？
• RQ4 繰り返し確率ベクトルの累乗を適用しても、非ゼロのモデル数の存在を保証できるか？
• RQ5 多変数多項式のどのような構造的性質が、{0, 1/2, 1}のような有限集合の値に対して非ゼロ評価を可能にするのか？

主な発見

• UCQの一般化モデル数え上げ問題は、クエリが安全であればPTIMEに属し、非安全であれば#P困難である。これは、すべてのタプル確率が{0, 1/2, 1}に制限されても成り立つ。
• 困難性の結果は、特定の部分クラスに限らず、すべての非安全UCQに適用可能である。これは、(0,1)内に複数の異なる確率値に依存しない新しい証明により達成された。
• 証明は、次数≤2の非ゼロ多変数多項式が、c₁, c₂, c₃（相異なる定数）へのある割り当てでゼロでない値をとることを示す新規補題に依存する。
• 非安全UCQでは、確率が{0, c, 1}に制限されても、任意の固定c ∈ (0,1)に対して#P困難性が維持される。ただし、関連する多項式の根でない限り。
• 本論文は、確率が{0, 1/2}に制限された場合、タイプI禁止クエリと呼ばれる非安全クエリのクラスについて、モデル数え上げが#P困難であることを証明している。
• 指数的にスケーリングされた確率の和における最大項の漸近的支配性により、繰り返し累乗を適用しても非ゼロ評価が維持される。これにより、厳密な確率制約下でも困難なインスタンスの構築が可能となる。