[論文レビュー] Nearly Optimal Independence Oracle Algorithms for Edge Estimation in Hypergraphs

Holger Dell, John Lapinskas+1 more|arXiv (Cornell University)|Nov 7, 2022

Machine Learning and Algorithms被引用数 2

ひとこと要約

本稿は、独立性またはカラフルな独立性オラクルを用いたk-一様超グラフにおける近似エッジカウントの、ほぼ最適なアルゴリズムと無条件の下界を確立する。クエリコストは入力サイズに依存する。カラフルな設定では、決定問題に対する近似カウントのオーバーヘッドが log^Θ(k−α) n にまで低下するが、カラフルでない設定では、α ≥ k−1 でない限り、このような細分化された還元は不可能であり、カラフルでないオラクルにおける複雑さの根本的障壁を明らかにする。

ABSTRACT

Consider a query model of computation in which an n-vertex k-hypergraph can be accessed only via its independence oracle or via its colourful independence oracle, and each oracle query may incur a cost depending on the size of the query. Several recent results (Dell and Lapinskas, STOC 2018; Dell, Lapinskas, and Meeks, SODA 2020) give efficient algorithms to approximately count the hypergraph’s edges in the colourful setting. These algorithms immediately imply fine-grained reductions from approximate counting to decision, with overhead only log^Θ(k) n over the running time n^α of the original decision algorithm, for many well-studied problems including k-Orthogonal Vectors, k-SUM, subgraph isomorphism problems including k-Clique and colourful-H, graph motifs, and k-variable first-order model checking. We explore the limits of what is achievable in this setting, obtaining unconditional lower bounds on the oracle cost of algorithms to approximately count the hypergraph’s edges in both the colourful and uncoloured settings. In both settings, we also obtain algorithms which essentially match these lower bounds; in the colourful setting, this requires significant changes to the algorithm of Dell, Lapinskas, and Meeks (SODA 2020) and reduces the total overhead to log^{Θ(k-α)}n. Our lower bound for the uncoloured setting shows that there is no fine-grained reduction from approximate counting to the corresponding uncoloured decision problem (except in the case α ≥ k-1): without an algorithm for the colourful decision problem, we cannot hope to avoid the much larger overhead of roughly n^{(k-α)²/4}. The uncoloured setting has previously been studied for the special case k = 2 (Peled, Ramamoorthy, Rashtchian, Sinha, ITCS 2018; Chen, Levi, and Waingarten, SODA 2020), and our work generalises the existing algorithms and lower bounds for this special case to k > 2 and to oracles with cost.

研究の動機と目的

• 独立性オラクルを用いた超グラフにおける近似エッジカウントの、既存のアルゴリズムと理論的限界の間のギャップを埋めること。
• カラフルおよびカラフルでない両設定における近似カウントのオラクルコストに対する無条件の下界を確立すること。
• 決定時間 n^α である問題について、近似カウントからカラフルでない決定問題への細分化還元が可能かどうかを特定すること。
• k=2 における先行結果を k>2 に一般化し、クエリコストが変動するオラクルに対しても適用可能であることを示すこと。
• オラクルモデルにおける、近似カウントの決定アルゴリズムに対するオーバーヘッドのタイトな境界を提供すること。

提案手法

• 硬いインスタンスを模倣できるように、エッジ比を制御したk部超グラフの相関付き分布G1とG2を構築する。
• 確率的解析を用いて、特定のコストおよび精度制約下での正確なクエリの確率を制限する。
• マルコフの不等式と和集合の不等式を適用し、決定的cINDオラクルアルゴリズムの期待コスト下界を導出する。
• クエリが部分集合 S_i ⊆ V_i であり、コストがサイズに応じて cost(x) = x^α で定義される構造化されたクエリモデルを導入する。
• 整数分割に関する組合せ的下界を用いて、可能なクエリプロファイルの数を下界付け、確率推定に不可欠な要因とする。
• 集中と尾部の不等式を活用し、与えられたコスト関数下で、G1とG2を区別するいかなるアルゴリズムも高い期待コストを負担しなければならないことを示す。

実験結果

リサーチクエスチョン

• RQ1 カラフルなオラクルモデルにおいて、近似エッジカウントのクエリコストが、決定アルゴリズムの実行時間に対して多対数的（polylogarithmic）に抑えられるか。
• RQ2 カラフルでない独立性オラクルモデルにおける近似カウントの最小コストは何か。また、それは log^Θ(k) n で有界であるか。
• RQ3 決定時間 n^α である問題について、α < k−1 の場合に、近似カウントからカラフルでない決定問題への細分化還元が可能か。
• RQ4 k=2 における結果を、コストに依存するオラクルクエリを伴って k>2 に一般化可能か。
• RQ5 カラフルでない設定における、カウントから決定への効率的還元を妨げる本質的コスト障壁は何か。

主な発見

• カラフルな設定では、近似カウントのオーバーヘッドが log^Θ(k−α) n にまで低下し、以前の log^Θ(k) n の境界を著しく改善している。
• カラフルでない設定では、α ≥ k−1 でない限り、近似カウントから決定への細分化還元は不可能であり、コスト下界はおおよそ n^{(k−α)^2/4} であると示している。
• カラフルでないケースの下界は、カラフルケースと比べて指数的に大きなオーバーヘッドを示しており、両モデル間の根本的分離を確立している。
• 著者らは、e(G2) ≥ 4e(G1) が確率 19/20 以上で成り立つように相関付き超グラフ分布G1とG2を構築し、下界の根幹を形成している。
• 任意の決定的cINDオラクルアルゴリズムがG1とG2を区別するための期待オラクルコストは、C/2以上である。ここで C = t^α / (25k+7k^7k · (log t / log log t)^{k−⌊α⌋−3}) である。
• 本結果は、k=2 における先行研究を一般の k ≥ 2 に一般化し、コスト関数を伴うオラクルへも拡張可能であり、独立性オラクルモデルにおける細分化還元の限界を包括的に明らかにしている。