מושגי ליבה
共通クエリの最小証人問題における解決策と困難性に焦点を当てる。
תקציר
この論文は、共通クエリ(CQ)における最小証人問題(SWP)について研究しています。SWPが頭部クラスター特性を持つ場合、多項式時間で解決可能であり、それ以外の場合はNP困難です。また、近似アルゴリズムや効率的な近似アルゴリズムについても探求しています。
Introduction
- 大規模データ処理向けのデータ要約技術が重要。
- 証人概念は広範な応用がある。
- 最小証人問題は重要な課題。
Problem Definition
- CQsの定義とSWPの定義。
- SWPがポリタイムで解決可能かどうかはCQの特性に依存。
Dichotomy of Exact SWP
- SWPがポリタイムで解決可能な条件とそのアルゴリズム。
- SWPがNP困難な条件とその証明。
Dichotomy of Approximated SWP
- 近似SWPの条件とそのアルゴリズム。
- 近似SWPがNP困難な条件とその証明。
סטטיסטיקה
共通クエリ(CQ): 任意のCQ QとデータベースDに対する最小サブデータベースD'を見つけます。
ポリタイム: 多項式時間内で計算可能。
NP困難: 非決定性多項式時間困難。
ציטוטים
"SWP for any CQ with head-cluster property can be solved by a trivial poly-time algorithm."
"SWP cannot be approximated within a logarithmic factor for every CQ without head-domination property."