[論文レビュー] Constant delay enumeration with FPT-preprocessing for conjunctive queries of bounded submodular width

Christoph Berkholz, Nicole Schweikardt|arXiv (Cornell University)|Mar 2, 2020

Complexity and Algorithms in Graphs被引用数 11

ひとこと要約

本稿では、自由結合付きサブモジュラー幅が有界である結合的関係式（CQs）に対して、FPT前処理を伴う定数遅延列挙が可能であることを確立している。Marxの分割ルーチンを拡張し、自由結合付き木分解を活用することで、FPT前処理時間の後、定数遅延で繰り返しのない列挙を可能にするデータ構造を構築した。

ABSTRACT

Marx (STOC~2010, J.~ACM 2013) introduced the notion of submodular width of a conjunctive query (CQ) and showed that for any class $Φ$ of Boolean CQs of bounded submodular width, the model-checking problem for $Φ$ on the class of all finite structures is fixed-parameter tractable (FPT). Note that for non-Boolean queries, the size of the query result may be far too large to be computed entirely within FPT time. We investigate the free-connex variant of submodular width and generalise Marx's result to non-Boolean queries as follows: For every class $Φ$ of CQs of bounded free-connex submodular width, within FPT-preprocessing time we can build a data structure that allows to enumerate, without repetition and with constant delay, all tuples of the query result. Our proof builds upon Marx's splitting routine to decompose the query result into a union of results; but we have to tackle the additional technical difficulty to ensure that these can be enumerated efficiently.

研究の動機と目的

• 有界サブモジュラー幅をもつブール型CQsについてMarxの固定パrameter tractable（FPT）モデルチェック結果を、非ブール型CQsへ拡張すること。
• 完全なマテリアライゼーションなしに、非ブール型CQsの大きな結果集合を効率的に列挙する課題に対処すること。
• 有界分数ハイパートリー幅から有界サブモジュラー幅へ定数遅延列挙結果を一般化することで、文献におけるギャップを埋めること。
• 非巡回的または低木幅でない場合を除く非ブール型CQsにおいて、FPT前処理を伴う定数遅延列挙が可能となる条件を特定すること。

提案手法

• Marxの分割ルーチンを変更し、クエリ結果を精錬された構造上の結果の和集合に分解する。
• 効率的な分解と列挙を保証する幅測度として、自由結合付きサブモジュラー幅を導入する。
• 各部分クエリに対して自由結合付き木分解を構築し、構造的 tractability を維持する。
• 木分解のバッグに含まれる関係式のみを用いて、精錬クエリと縮小データベースを定義する。
• Durand-Strozeckiのテクニックを用いて、分解されたコンポーネント間で重複なしに結果を列挙する。
• サブモジュラー幅パラメータと変数の数を用いて、各精錬構造のサイズを上限づける。

実験結果

リサーチクエスチョン

• RQ1 有界サブモジュラー幅をもつ非ブール型結合的関係式（CQs）に対して、FPT前処理を伴う定数遅延列挙が達成可能か？
• RQ2 潜在的に大きな結果サイズを持つにもかかわらず、自由結合付きサブモジュラー幅のバージョンが、効率的な列挙を保証するのに十分か？
• RQ3 Marxの分割技術を、複数の部分クエリにまたがる結果の列挙において定数遅延を維持できるように適応可能か？
• RQ4 CQのどの構造的性質が、FPT前処理後の定数遅延列挙を可能にするか？
• RQ5 自由結合付きサブモジュラー幅に基づく、自己結合を含まないCQsの二分法的性質は存在するか？特に、有界サブモジュラー幅と無限自由結合付きサブモジュラー幅の間のグレー領域において。

主な発見

• 任意の自由結合付きサブモジュラー幅が有界である結合的関係式のクラスに対して、FPT前処理を伴う定数遅延列挙が可能である。
• 各精錬データベース構造のサイズは、$ O(|\text{vars}(φ)|^2 m^{(1+δ)w}) $ で上限づけられる。ここで $ w $ は自由結合付きサブモジュラー幅、$ m $ は関係の最大サイズである。
• 分解により、$ \llbracket\varphi\rrbracket^{\mathcal{A}} = \bigcup_{i\in[\ell]} \llbracket\psi_i\rrbracket^{\mathcal{C}_i} $ が成り立ち、各 $ \psi_i $ は自由結合付きかつ非巡回的である。
• 各部分クエリ $ \psi_i $ は非巡回的かつ自由結合付きの構造であるため、定数遅延列挙が可能であり、和集合による全体の定数遅延を実現できる。
• 本手法は、入力タプルがクエリ結果に属するかどうかを定数時間で判定するメンバーシップテストもサポートする。
• 結果は、自己結合を含まないCQsについてMarxの条件付き下界と一致しており、このクラスにおいて幅測度がタイトであることを示唆している。