[論文レビュー] Improved SETH-hardness of unweighted Diameter

Ray Li|arXiv (Cornell University)|Aug 12, 2020

Complexity and Algorithms in Graphs被引用数 3

ひとこと要約

この論文は、強い指数時間仮説（SETH）の下で、無向無重みグラフの直径を近似するためのほぼタイトな下界を確立している。任意の $\delta > 0$ に対して、$5/3 - \delta$ 近似を達成するには $n^{3/2 - o(1)}$ 時間が必要であり、従来の SETH に基づく下界を改善し、予想される最適閾値へのギャップを埋めている。

ABSTRACT

We prove that, assuming the Strong Exponential Time Hypothesis, for any $\delta>0$, a $5/3-\delta$ approximation of the diameter of an undirected unweighted graph with $n$ vertices needs $n^{3/2-o(1)}$ time. This result improves on lower bounds of Backurs, Roditty, Segal, Vassilevska-Williams, and Wein.

研究の動機と目的

• 無向無重みグラフの直径を近似するためのより強い条件付き下界を確立すること。
• 特に、以前の $5/3$-近似の壁に比して、既存の SETH に基づく下界を改善すること。
• 無重み直径問題における既知のアルゴリズムと条件付き下界の間のギャップを埋めること。
• 無重み設定におけるグラフ直径の細分化複雑性の理解を精緻化すること。

提案手法

• 著者らは、3-SUM 問題および 3-Set Multicover 問題からの還元を採用し、SETH を用いて困難性を確立している。
• 硬い問題のインスタンスを制御された直径特性でエンコードする、新しい無重みグラフの構築法を設計している。
• 任意の $5/3 - \delta$ 近似アルゴリズムが、SETH において困難であると仮定された問題のより高速なアルゴリズムを示唆することを還元が保証している。
• 還元における直径の挙動を慎重に追跡し、小さな近似比が二次超えの時間計算量を強制することを示している。
• 構築されたグラフの構造の洗練された分析を用いて、直径がきめ細かく制御され、顕著な時間コストを伴わずに近似可能でないことを保証している。

実験結果

リサーチクエスチョン

• RQ1 無重みグラフの直径を近似するための、より強い SETH に基づく下界を証明できるか？
• RQ2 SETH の下で、$5/3$-近似の閾値はタイトか？
• RQ3 従来の還元を強化することで、$n^{3/2 - o(1)}$ 時間で $5/3 - \delta$ 近似を除外できるか？
• RQ4 SETH の下で、無重みグラフにおける直径の近似比と実行時間の正確なトレードオフは何か？

主な発見

• 任意の $\delta > 0$ に対して、無向無重みグラフの直径の $5/3 - \delta$ 近似を達成するには、SETH の下で $n^{3/2 - o(1)}$ 時間が必要である。
• この結果は、以前の SETH に基づく直径近似の下界を改善し、予想される最適閾値へのギャップを埋めている。
• 下界はほぼタイトであり、$5/3$-近似は $O(n^{3/2})$ 時間で計算可能であるため、この下界はほぼ最適である。
• この結果は、無重み直径問題の細分化複雑性の理解を強化している。