[論文レビュー] Triangle Estimation Using Tripartite Independent Set Queries

Anup Bhattacharya, Arijit Bishnu+2 more|arXiv (Cornell University)|Jan 1, 2019

Data Management and Algorithms被引用数 5

ひとこと要約

本稿では、三部独立集合（TIS）オラクルにのみ多項ログリズミックなクエリを用いることで、グラフ内の三角形の数を近似推定するサブリニアアルゴリズムを提示する。TISオラクルは、3つの互いに素な頂点集合の各集合に1つの頂点を含む三角形が存在するかを確認する。主な結果として、任意の辺が共有する三角形の最大数がdである場合、アルゴリズムは高確率でO(d² log¹⁸n / ϵ⁴)回のTISクエリで(1±ϵ)-近似を達成する。これは、より強力で洗練されたクエリモデルにおける効率的な三角形カウントへの顕著な一歩を示している。

ABSTRACT

Estimating the number of triangles in a graph is one of the most fundamental problems in sublinear algorithms. In this work, we provide an approximate triangle counting algorithm using only polylogarithmic queries when the number of triangles on any edge in the graph is polylogarithmically bounded. Our query oracle Tripartite Independent Set (TIS) takes three disjoint sets of vertices A, B and C as input, and answers whether there exists a triangle having one endpoint in each of these three sets. Our query model generally belongs to the class of group queries (Ron and Tsur, ACM ToCT, 2016; Dell and Lapinskas, STOC 2018) and in particular is inspired by the Bipartite Independent Set (BIS) query oracle of Beame et al. (ITCS 2018). We extend the algorithmic framework of Beame et al., with TIS replacing BIS, for triangle counting using ideas from color coding due to Alon et al. (J. ACM, 1995) and a concentration inequality for sums of random variables with bounded dependency (Janson, Rand. Struct. Alg., 2004).

研究の動機と目的

• 新しいクエリモデルを用いて、グラフ内の三角形の数を効率的に推定するアルゴリズムの開発。
• 最小限のクエリ複雑度で、サブリニア時間内に三角形推定問題を解くことの基礎的課題の解決。
• BeameらのBISクエリを用いた辺推定の枠組みを、TISクエリを用いた三角形カウントに拡張すること。
• 特に辺-三角形密度が多項ログリズミックに有界である場合に、TISモデル下でのクエリ複雑度の理論的限界を確立すること。
• 一般化されたハイパーグラフカウント問題へのアプローチの基盤を提供すること。

提案手法

• 三部独立集合（TIS）クエリオラクルを導入し、3つの互いに素な頂点集合にそれぞれ1つの頂点を含む三角形が存在するかを回答する。
• BeameらのBISクエリに基づくアルゴリズムフレームワークを、TISクエリを用いた三角形推定に適応・拡張する。
• スパarsification技術を用いて、三角形の数を乗法的要因で保ちながらグラフをスパース部分グラフに縮小する。
• 推定プロセスで生じる弱く依存する確率変数の和を解析するために、Jansonによる集中不等式を適用する。
• 粗いから細かい推定への戦略を採用し、しきい値ベース推定とインポートランスサンプリングを組み合わせて高精度な近似を達成する。
• 誤差確率を制御し、高確率での成功を保証するために、Chernoff不等式や分数彩色数といった確率的道具を活用する。

実験結果

リサーチクエスチョン

• RQ1 TISオラクルへの多項ログリズミックなクエリのみを用いて、どのように三角形カウントを近似できるか？
• RQ2 1辺あたりの三角形数がdで有界である場合、三角形カウント推定のクエリ複雑度はどの程度か？
• RQ3 TISオラクルモデルを用いて、BISのような辺推定技術を三角形カウントに一般化できるか？
• RQ4 TISモデルは、ローカルクエリモデルと比較して、効率性や適用範囲においてどのように異なるか？
• RQ5 どのような構造的仮定（例：有界な∆E）が、三角形推定における多項ログリズミックなクエリ複雑度の達成に必要となるか？

主な発見

• 本稿では、任意の辺が共有する三角形の最大数がdである場合、三角形推定がO(d² log¹⁸n / ϵ⁴)回のTISクエリで可能であることを確立した。
• nに関して多項ログリズミックで、1/ϵに関して多項式であるクエリ複雑度は、d = O(logᶜn)（任意の定数c > 0）であっても成立する。
• アルゴリズムは、真の三角形数の(1±ϵ)乗法的近似を、確率1 − O(1/n²)以上で達成する。
• 従来のローカルクエリモデルとは異なり、最大次数や頂点-三角形インシデント数の上限は必要とせず、辺-三角形インシデント数の上限のみが必要である。
• このフレームワークはc-一様ハイパーグラフに一般化可能であり、後続の研究で∆Eの制約が多項ログリズミックなクエリ複雑度の達成に不要であることが示された。
• インポートランスサンプリングとスパース化技術により、三角形を明示的に列挙することなく効率的な推定が可能となり、クエリオーバーヘッドが顕著に削減された。