[論文レビュー] Uniform Reliability for Unbounded Homomorphism-Closed Graph Queries

Antoine Amarilli|arXiv (Cornell University)|Sep 22, 2022

Complexity and Algorithms in Graphs被引用数 1

ひとこと要約

この論文は、無限大のホモモルフィズム閉じたグラフクエリに対する一様信頼性問題が#P困難であることを確立し、確率的クエリ評価から未加重ケースへの先行の困難性結果を拡張している。著者らは、部分グラフをデータベースインスタンスに新たな符号化法で表現する手法を用いて、重み付きst接続性問題へ還元し、このようなクエリを満たす部分インスタンスの数え上げが、P = NPでない限り計算的に困難であることを証明している。

ABSTRACT

We study the uniform query reliability problem, which asks, for a fixed Boolean query Q, given an instance I, how many subinstances of I satisfy Q. Equivalently, this is a restricted case of Boolean query evaluation on tuple-independent probabilistic databases where all facts must have probability 1/2. We focus on graph signatures, and on queries closed under homomorphisms. We show that for any such query that is unbounded, i.e., not equivalent to a union of conjunctive queries, the uniform reliability problem is #P-hard. This recaptures the hardness, e.g., of s-t connectedness, which counts how many subgraphs of an input graph have a path between a source and a sink. This new hardness result on uniform reliability strengthens our earlier hardness result on probabilistic query evaluation for unbounded homomorphism-closed queries (ICDT'20). Indeed, our earlier proof crucially used facts with probability 1, so it did not apply to the unweighted case. The new proof presented in this paper avoids this; it uses our recent hardness result on uniform reliability for non-hierarchical conjunctive queries without self-joins (ICDT'21), along with new techniques.

研究の動機と目的

• グラフシグネチャ上での無限大のホモモルフィズム閉じたクエリに対する一様信頼性の計算的困難性を確立すること。
• 任意の確率を許容する確率的クエリ評価における先行の#P困難性結果を、すべての事実の確率が1/2である未加重ケースへ拡張すること。
• 事前に証明で用いられていた確率1の事実が存在しない状況における還元における技術的課題を克服すること。
• 一様信頼性が、クエリが結合的クエリの安全な和でない限り#P困難であるという広範な予想を支援すること。

提案手法

• 特定の確率φ = 2^{-Θ×(τ−1)}およびη = 2^{-Θ(4+(τ−1)+2ω)}を有する重み付きst接続性問題（φ, η-U-ST-CON）から、一様信頼性問題へ還元する。
• グラフGからデータベースインスタンスIGを構築し、クエリを満たす部分インスタンスが、元のグラフにおけるソースからシンクへのパスを持つ部分グラフに正確に対応するようにする。
• 頂点と辺を事実パターンにマッピングする符号化機構を用い、欠落または不完全な事実をシミュレートするための「分離コピー」を導入する。
• 2段階の分離プロセスを採用：まず不完全な辺を分割し、次に最大のコピー要素の部分集合を用いて不完全な頂点事実を処理する。
• 構築されたインスタンスから「爆発構造」へのホモモルフィズムを定義し、クエリ満たしの成立がパスの存在にのみ依存することを証明する。
• 事前に知られているクエリR(x), S(x,y), T(y)の困難性結果に依存し、還元を補完する。

実験結果

リサーチクエスチョン

• RQ1 グラフシグネチャ上での無限大のホモモルフィズム閉じたクエリに対する一様信頼性問題は#P困難か？
• RQ2 確率的クエリ評価における困難性結果を、すべての事実の確率が1/2である未加重ケースへ拡張できるか？
• RQ3 確率1の事実を使用しないモデルカウンティング問題からの還元において、どのような技術的課題が生じるか？
• RQ4 ホモモルフィズム閉じたクエリのための一様信頼性問題は、確率的クエリ評価におけるものと同様の二分法を示すか？
• RQ5 確率的データベースに用いられる還元技法を、一様信頼性設定へ適応可能か？

主な発見

• 任意のアリティ2のシグネチャ上での無限大のホモモルフィズム閉じたクエリに対する一様信頼性問題は#P困難である。
• 確率1の事実に依存しないため、未加重ケースへ適用可能である。
• φ, η-U-ST-CONからの還元により、クエリを満たす部分インスタンスの数え上げが、特定のエッジおよび頂点生存確率を持つグラフ内のs-tパスの数え上げと等価であることが示された。
• 構築により、ベース事実または補足的事実を欠落させない「整合性のある」部分インスタンスのみがクエリを満たすことが保証された。
• ホモモルフィズムに基づく議論により、クエリ満たしの成立が、元のグラフにおけるソースからシンクへのパスの存在に厳密に依存することが証明された。
• この結果は、一様信頼性が、クエリが結合的クエリの安全な和でない限り#P困難であるという予想を支持する。