[論文レビュー] Diversity of Answers to Conjunctive Queries

Timo Camillo Merkl, Reinhard Pichler+1 more|arXiv (Cornell University)|Jan 1, 2023

Logic, Reasoning, and Knowledge被引用数 2

ひとこと要約

本稿では、集合の多様性をハミング距離で測り、多項式時間で計算可能な集約関数によって集約した結果が閾値 d 以上になるように、k 個の異なる答えを選択するという、結合的クエリ（CQ）に対する多様な答え（Diverse-CQ）問題を導入し、分析する。主な貢献は、データ、クエリ、結合的複雑さの観点から Diverse-CQ の包括的な複雑さ分類を実施し、非巡回的および有界木幅 CQ に対して FPT および XP 属性を確立する一方で、否定を含む CQ や有界サブモジュラー幅を持つ CQ といったより表現力の高いクラスでは困難であることを特定することにある。

ABSTRACT

Enumeration problems aim at outputting, without repetition, the set of solutions to a given problem instance. However, outputting the entire solution set may be prohibitively expensive if it is too big. In this case, outputting a small, sufficiently diverse subset of the solutions would be preferable. This leads to the Diverse-version of the original enumeration problem, where the goal is to achieve a certain level d of diversity by selecting k solutions. In this paper, we look at the Diverse-version of the query answering problem for Conjunctive Queries and extensions thereof. That is, we study the problem if it is possible to achieve a certain level d of diversity by selecting k answers to the given query and, in the positive case, to actually compute such k answers.

研究の動機と目的

• 結合的クエリ（CQ）の答えに関する多様なバージョンの問題を形式化し、その解集合から k 個の多様な答えを選択することを目的とする。
• データ複雑さ、クエリ複雑さ、結合的複雑さという異なる複雑さの尺度の下で、この問題の計算複雑さを調査すること。
• 非巡回的および有界木幅 CQ に対して、FPT および XP 属性を確立することで、取り扱いやすいケースを同定すること。
• 否定を含む CQ や有界サブモジュラー幅を持つ CQ といったケースを特定することで、取り扱いやすさの限界を探索すること。
• 既存のヒューリスティックおよびサンプリングベースの手法とは対照的に、正確な多様なクエリ回答の理論的基盤を構築すること。

提案手法

• 本稿では、答えのタプル間のハミング距離を用いて多様性を定義し、多項式時間で計算可能な集約関数を用いて k 個の答えの全体的な多様性を測定する。
• 著者らは Diverse-CQ(δ) 問題を導入する：与えられたデータベース I、クエリ Q、整数 k および d に対して、集約多様性 δ が d 以上であるような k 個の異なる答えが存在するかを判定する。
• 本稿ではパラメータ化複雑さの技術を用い、選択する答えの数 k をパラメータとして問題を分析し、非巡回的および有界木幅 CQ に対して FPT および XP 属性を確立する。
• 否定を含む CQ や有界サブモジュラー幅を持つ CQ といった困難なケースに対しては、W[1]-hard および NP-hard であることを証明することで理論的境界を明確にする。
• 分析では、既知の困難な問題への還元と、ハイパートリー幅や変数削除スキームといった CQ の構造的性質を活用する。
• 重み付きハミング距離および一般化された集約関数への枠組みの拡張がなされているが、主な分析は重みなしハミング距離および ws-単調集約関数に焦点を当てる。

実験結果

リサーチクエスチョン

• RQ1 結合的クエリに対する k 個の多様な答えを選択する問題が、どの条件下で固定パラメータ可 tractable（FPT）となるか？
• RQ2 非巡回的および有界木幅結合的クエリに対して、データ複雑さ、クエリ複雑さ、結合的複雑さの観点から Diverse-CQ 問題の複雑さは何か？
• RQ3 非巡回結合的クエリの和集合（UACQs）に対して多様性問題は効率的に解けるか？ そして、より複雑なクエリクラスに与える影響は何か？
• RQ4 結合的クエリに否定が含まれる場合、多様性問題の取り扱いやすさにどのような影響を与えるか？
• RQ5 有界サブモジュラー幅を持つクエリに、結果を拡張することはどの程度可能か？ これはハイパートリー幅および分数ハイパートリー幅を一般化するが、評価における heavy-light 分割のため、根本的に異なるアルゴリズム的手法を要する。

主な発見

• 非巡回結合的クエリ（acyclic CQ）に対しては、k をパラメータとした Diverse-CQ 問題は FPT であり、実行時間は k に関して指数的で、データベースサイズに関しては多項式的である。
• 有界木幅 CQ に対しては、k をパラメータとした場合、問題は XP に属する。これは、k が小さい場合には取り扱い可能であることを示唆するが、このケースに対しては W[1]-hard であるという結果は確立されていない。
• 否定を含む有界木幅 CQ に対しては、結合的複雑さにおいて問題は NP-hard である。これは、非巡回的および有界木幅のケースを超えて、本質的に困難であることを示している。
• 非巡回結合的クエリの和集合（UACQs）に対する多様性問題は、個々の CQ が非巡回的であっても、集約関数の性質と解集合の構造のおかげですでに困難である。
• 有界サブモジュラー幅を持つ CQ への結果の拡張は未解決の問題のままである。このようなクエリは、評価における heavy-light 分割のため、根本的に異なるアルゴリズム的手法を必要とする。
• 本稿では、集約関数の選択が極めて重要であることを確立している。多くの上界は任意の多項式時間集約関数に対して成り立つが、下界は ws-単調関数（和および最小値を含む）に対して成り立つ。