[論文レビュー] Triangle Estimation using Polylogarithmic Queries.

Anup Bhattacharya, Arijit Bishnu+2 more|arXiv (Cornell University)|Aug 2, 2018

Data Management and Algorithms参考文献 22被引用数 3

ひとこと要約

この論文は、三部独立集合（TIS）クエリオラクルを導入することで、唯一の多項式対数的クエリを用いる最初の近似三角形カウントアルゴリズムを提示する。TISクエリオラクルは、3つの互いに素な頂点集合間の三角形の存在をチェックする。Beameらのフレームワークを拡張し、カラーコーディングとJansonの集中不等式を活用することで、グラフにおける三角形カウントの推定において、サブラインアークエリ複雑度を達成する。

ABSTRACT

Estimating the number of triangles in a graph is one of the most fundamental problems in sublinear algorithms. In this work, we provide the first approximate triangle counting algorithm using only polylogarithmic queries. 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 is inspired by the Bipartite Independent Set (BIS) query oracle of Beame et al. (ITCS, 2018). Their algorithm for edge estimation requires only polylogarithmic BIS queries, where a BIS query takes two disjoint sets $A$ and $B$ as input and answers whether there is an edge with endpoints in $A$ and $B$. 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 due to Janson (Rand. Struct. Alg., 2004).

研究の動機と目的

• サブラインアー・アルゴリズムの文脈において、サブラインアークエリ複雑度を持つ近似三角形カウントアルゴリズムを開発すること。
• 二部独立集合（BIS）オラクルの自然な拡張として、三部独立集合（TIS）クエリオラクルを導入し、形式化すること。
• 三角形推定において多項式対数的クエリ複雑度を達成し、BISモデル下でのエッジ推定の効率性と一致させること。
• Alonら（1995）のカラーコーディング技術をTISクエリモデルに適応し、効果的な三角形サンプリングを可能とすること。
• 有界依存性を持つサンプリング過程において、推定値が真の値から逸脱する確率を抑え、推定の正確性を保証するために、Jansonの集中不等式を適用すること。

提案手法

• アルゴリズムは、3つの互いに素な頂点集合 A, B, C が与えられたとき、それぞれの集合に1つの頂点を含む三角形が存在するかを判定するTISクエリオラクルを使用する。
• 頂点をランダムに色クラスに分割するカラーコーディングを用い、色分けされた三つ組が一様色であることを通じて三角形を特定する。
• 頂点集合のランダムな3色塗り分けをサンプリングし、TISクエリを用いて各色クラスに1つの頂点を含む三角形を検出する。
• 複数のランダムな色分けに対して推定値を集約することで、分散を低減し、精度を向上させる。
• サンプリング過程における有界依存性の下で、推定された三角形数が真の値から逸脱する確率を抑えるために、Jansonの集中不等式を適用する。
• BISクエリをTISクエリに置き換えることで、Beame らのBISベースのエッジ推定アプローチを三角形カウント設定に拡張する。

実験結果

リサーチクエスチョン

• RQ1 グラフにおいて、三角形カウントを多項式対数的クエリのみで近似できるか？
• RQ2 TISクエリモデルは、高い正確性でサブラインアーな三角形推定を達成するのに十分か？
• RQ3 カラーコーディングは、TISクエリフレームワーク内でどのように三角形検出に適応できるか？
• RQ4 このサンプリングベースの推定プロセスにおける、依存する確率変数の和に適用可能な集中限界は何か？
• RQ5 BISベースのフレームワークは、三角形カウントのための三部クエリに一般化可能か？

主な発見

• 本論文は、TISオラクルを用いた最初の多項式対数的クエリ複雑度を持つ近似三角形カウントアルゴリズムを達成した。
• 本手法は、ランダムな頂点の色分けを通じて、効率的に候補となる三角形をサンプリングするカラーコーディングを活用している。
• Jansonの集中不等式の使用により、推定された三角形数が真の値のまわりにきつく集中し、高い確率で正確な推定が保証される。
• Beame らのBISベースのアプローチが、TISクエリに置き換えることで、三角形カウント問題に成功裏に拡張された。
• TISオラクルモデルは、より高次の部分グラフカウントのためのBISモデルの自然で効果的な拡張を提供する。
• 本アルゴリズムは、三角形推定がわずか多項式対数的クエリのみで実現可能であることを示しており、従来の手法に比べ顕著な改善を示している。