[論文レビュー] Polynomial Pass Semi-Streaming Lower Bounds for K-Cores and Degeneracy

Sepehr Assadi, Prantar Ghosh+3 more|arXiv (Cornell University)|Jan 1, 2024

Complexity and Algorithms in Graphs被引用数 2

ひとこと要約

本稿は、k-coresおよびdegeneracyという基本的グラフ問題に対する、初めての多項式パス半ストリーミング下界を確立した。正確な計算を要する任意の半ストリーミングアルゴリズムがΩ(n^{1/3})パスを必要することを示した。著者らは、一般化された隠れポインタチャーシング問題（MultiHPC）に基づく新しい通信プロトコルを導入し、近似線形通信量を達成し、最適なラウンド-通信下界を証明した。これにより、正確解のためのストリーミングモデルにおける既存の下界n^{1/5}からn^{1/3}に飛躍的に向上した。

ABSTRACT

The following question arises naturally in the study of graph streaming algorithms: Is there any graph problem which is "not too hard", in that it can be solved efficiently with total communication (nearly) linear in the number n of vertices, and for which, nonetheless, any streaming algorithm with Õ(n) space (i.e., a semi-streaming algorithm) needs a polynomial n^Ω(1) number of passes? Assadi, Chen, and Khanna [STOC 2019] were the first to prove that this is indeed the case. However, the lower bounds that they obtained are for rather non-standard graph problems. Our first main contribution is to present the first polynomial-pass lower bounds for natural "not too hard" graph problems studied previously in the streaming model: k-cores and degeneracy. We devise a novel communication protocol for both problems with near-linear communication, thus showing that k-cores and degeneracy are natural examples of "not too hard" problems. Indeed, previous work have developed single-pass semi-streaming algorithms for approximating these problems. In contrast, we prove that any semi-streaming algorithm for exactly solving these problems requires (almost) Ω(n^{1/3}) passes. The lower bound follows by a reduction from a generalization of the hidden pointer chasing (HPC) problem of Assadi, Chen, and Khanna, which is also the basis of their earlier semi-streaming lower bounds. Our second main contribution is improved round-communication lower bounds for the underlying communication problems at the basis of these reductions: - We improve the previous lower bound of Assadi, Chen, and Khanna for HPC to achieve optimal bounds for this problem. - We further observe that all current reductions from HPC can also work with a generalized version of this problem that we call MultiHPC, and prove an even stronger and optimal lower bound for this generalization. These two results collectively allow us to improve the resulting pass lower bounds for semi-streaming algorithms by a polynomial factor, namely, from n^{1/5} to n^{1/3} passes.

研究の動機と目的

• 半ストリーミングモデルにおけるk-coresおよびdegeneracyといった自然で「あまりに難しい問題ではない」とされるグラフ問題が、多項式回のパスを必要とするというギャップを埋める。
• k-coresおよびdegeneracyの正確な計算が、効率的な1パス近似アルゴリズムがあるにもかかわらず、部分多項式パスでは達成できないことを示す。
• degeneracyに近似線形通信量を有する新しい通信プロトコルを開発し、これらの問題が強力な下界の自然な候補であることを示す。
• 隠れポインタチャーシング（HPC）問題およびその一般化（MultiHPC）のラウンド-通信複雑度下界を改善し、最適性を達成する。

提案手法

• 著者らは、元のHPCフレームワークを拡張して、より強い還元を可能にする一般化された通信問題であるMultiHPC（マルチレイヤー隠れポインタチャーシング）を導入した。
• MultiHPCの短いプロトコルが存在すれば、集合積問題に対する低情報量εソルバーが存在することになり、情報理論的議論によりそれが正確ソルバーに帰着されることを証明した。
• MultiHPCからdegeneracy問題への還元に新たなガジェット構成を用い、通信複雑度をグラフストリームインスタンスに埋め込んだ。
• この還元を用いて、degeneracyの任意の半ストリーミングアルゴリズムを通信プロトコルに変換し、ストリーミングのパス複雑度と通信ラウンド複雑度を結びつけた。
• 正の三角形差分とエントロピーに基づく不等式を用いて、情報複雑度のタイトな下界を確立した。
• degeneracyのためのeO(n)通信プロトコルを構築し、問題が通信複雑度の観点から「あまりに難しい」わけではないことを示した。これは、下界の意義を強化する。

実験結果

リサーチクエスチョン

• RQ1 k-coresやdegeneracyといった自然なグラフ問題に対して、半ストリーミングモデルで多項式パスの下界を確立できるか？
• RQ2 degeneracyおよびk-coresの複雑度を捉えつつ、近似線形通信量を許容する通信問題は存在するか？
• RQ3 隠れポインタチャーシング（HPC）問題を一般化することで、最適な通信複雑度下界を達成できるか？
• RQ4 任意の半ストリーミングアルゴリズムがdegeneracyやk-coresを正確に計算するために必要な最適なパス数は何か？
• RQ5 HPCおよびその一般化に対する通信複雑度下界の改善は、どのようにストリーミングのパス下界を強化するか？

主な発見

• 本稿は、degeneracyやk-coresを正確に計算する任意の半ストリーミングアルゴリズムがΩ(n^{1/3})パスを必要とすることを証明した。これは、以前のn^{1/5}の下界を大幅に改善した。
• degeneracyのための新しい通信プロトコルをeO(n)通信コストで構築し、問題が通信複雑度の観点から「あまりに難しい」わけではないことを示した。
• 著者らは、HPCの一般化版としてのMultiHPC問題を導入・分析し、より強い還元と最適な下界を可能にした。
• HPCのラウンド-通信複雑度は最適な下界に改善され、MultiHPCに対しても同様の最適性が達成され、先行研究のギャップを埋めた。
• MultiHPCからdegeneracyへの還元により、degeneracyの効率的な半ストリーミングアルゴリズムが存在すれば、MultiHPCの短い通信プロトコルが存在することになり、導出された下界の下ではそれが不可能であることが示された。
• これらの結果は、k-coresおよびdegeneracyが、近似線形通信量で効率的に解けるが、半ストリーミングモデルでは多項式回のパスを必要とする自然な問題の例であることを総合的に示している。