[論文レビュー] Ranked Enumeration for MSO on Trees via Knowledge Compilation

Antoine Amarilli, Pierre Bourhis+2 more|arXiv (Cornell University)|Oct 1, 2023

Machine Learning and Algorithms被引用数 4

ひとこと要約

本稿は、木構造上のモノディック第二階理論（MSO）クエリのための新しい順序付き列挙アルゴリズムを提示する。知識コンパイルを活用することで、出力される答えの数に対して線形な前処理時間と対数時間の遅延を達成する。MSOクエリをスムーズなマルチバリュー値d-DNNF回路にコンパイルすることにより、サブセット単調順序関数に基づく効率的なトップ-kおよび順序付き列挙が可能となり、従来の語構造データにおける最良の遅延境界を保ちつつ、木構造データへと拡張する。

ABSTRACT

We study the problem of enumerating the satisfying assignments for circuit classes from knowledge compilation, where assignments are ranked in a specific order. In particular, we show how this problem can be used to efficiently perform ranked enumeration of the answers to MSO queries over trees, with the order being given by a ranking function satisfying a subset-monotonicity property. Assuming that the number of variables is constant, we show that we can enumerate the satisfying assignments in ranked order for so-called multivalued circuits that are smooth, decomposable, and in negation normal form (smooth multivalued DNNF). There is no preprocessing and the enumeration delay is linear in the size of the circuit times the number of values, plus a logarithmic term in the number of assignments produced so far. If we further assume that the circuit is deterministic (smooth multivalued d-DNNF), we can achieve linear-time preprocessing in the circuit, and the delay only features the logarithmic term.

研究の動機と目的

• 既存の木構造上のMSOクエリ列挙アルゴリズムにおける答えの順序制御の欠如に対処すること。
• ユーザー定義の順序（例：関連性や辞書的優先順位）に従ったMSOクエリの答えの順序付き列挙を可能にすること。
• サブセット単調順序関数に基づく順序付けでさえも、低遅延で効率的な性能を達成すること。
• 知識コンパイル技術を用いて、従来の語構造データにおける既知の結果を木構造データへと拡張すること。
• データベースおよび知識表現システムにおけるトップ-kおよび順序付き列挙の実用的で効率的なフレームワークを提供すること。

提案手法

• 与えられたMSOクエリを、クエリの一次変数への有効な代入を表すスムーズなマルチバリュー値d-DNNF回路にコンパイルする。
• 順序関数のサブセット単調性の性質を活用して、回路上で優先度ベースの列挙戦略を導く。
• 最小ヒープデータ構造を用いて、各ステップでスコアが最も高い部分的代入を維持・取得する。
• スコアの非増加順序を保証するように、順序関数を尊重する形で回路を走査することで列挙を実行する。
• 木オートマトンからDNNF回路への既存の線形時間コンパイル技術を活用し、前処理時間が木のサイズに対して線形であることを保証する。
• 回路の構造を活用して、出力の各答えの遅延をO(log(K + 1))に制限する。ここでKはすでに列挙された答えの数である。

実験結果

リサーチクエスチョン

• RQ1 ユーザー定義の順序関数に基づいて答えを順序付ける必要がある場合でも、木構造上のMSOクエリの順序付き列挙を、低遅延かつ効率的な前処理で達成できるか？
• RQ2 知識コンパイルを用いて、語構造データにおける既知の順序付き列挙結果を木構造データへと拡張することは可能か？
• RQ3 順序関数のサブセット単調性の性質が、木構造上のMSOクエリの答えに対して効率的かつ正しく列挙を可能にする仕組みは何か？
• RQ4 複雑な順序関数に対しても、順序付き列挙の遅延を出力される答えの数に関して対数的に制限できるか？
• RQ5 スムーズなマルチバリュー値d-DNNF回路の使用が、MSOクエリの答えの効率的かつ順序付き列挙に与える影響は何か？

主な発見

• 任意の固定されたMSOクエリについて、木T上の前処理時間はO(|T|)であり、入力木のサイズに対して線形である。
• 連続する答えの間の遅延はO(log(K + 1))で抑えられており、Kはすでに列挙された答えの数である。これにより、トップ-kクエリに対して高速な初期応答が可能になる。
• 決定的MSOクエリの場合、前処理は線形時間で実行可能であり、遅延は出力される答えの数に関して対数的である。
• 本手法は、順序、合計、または変数代入の辞書的比較に基づく任意のサブセット単調順序関数をサポートする。
• 従来の語構造データにおける最良の遅延境界を維持しているが、より一般化された木構造データへと拡張している。
• 本手法の構成は、MSOクエリをスムーズなマルチバリュー値d-DNNF回路にコンパイルすることに依存しており、既知のオートマトン理論的技法を用いれば線形時間で実現可能である。