[論文レビュー] Deterministic 3SUM-Hardness

Nick Fischer, Piotr Kaliciak+1 more|arXiv (Cornell University)|Oct 19, 2023

Complexity and Algorithms in Graphs被引用数 1

ひとこと要約

この論文は、加法的ハッシュに基づく還元を決定的化するためのツールキットを導入することで、広範な問題クラスに対して決定的3SUM-hardnessを確立する。Set Disjointness、Set Intersection、Triangle Listingといった重要な問題が決定的還元のもとでhardであることが証明され、先行研究における未解決問題が解決され、3SUMの決定的ユニバース還元を用いた決定的3SUM-hardnessの基盤的理論が構築される。

ABSTRACT

As one of the three main pillars of fine-grained complexity theory, the 3SUM problem explains the hardness of many diverse polynomial-time problems via fine-grained reductions. Many of these reductions are either directly based on or heavily inspired by Pătraşcu's framework involving additive hashing and are thus randomized. Some selected reductions were derandomized in previous work [Chan, He; SOSA'20], but the current techniques are limited and a major fraction of the reductions remains randomized. In this work we gather a toolkit aimed to derandomize reductions based on additive hashing. Using this toolkit, we manage to derandomize almost all known 3SUM-hardness reductions. As technical highlights we derandomize the hardness reductions to (offline) Set Disjointness, (offline) Set Intersection and Triangle Listing -- these questions were explicitly left open in previous work [Kopelowitz, Pettie, Porat; SODA'16]. The few exceptions to our work fall into a special category of recent reductions based on structure-versus-randomness dichotomies. We expect that our toolkit can be readily applied to derandomize future reductions as well. As a conceptual innovation, our work thereby promotes the theory of deterministic 3SUM-hardness. As our second contribution, we prove that there is a deterministic universe reduction for 3SUM. Specifically, using additive hashing it is a standard trick to assume that the numbers in 3SUM have size at most $n^3$. We prove that this assumption is similarly valid for deterministic algorithms.

研究の動機と目的

• 3SUM-hardnessの証明における加法的ハッシュに基づく微細な還元を決定的化するための一般化されたツールキットを開発すること。
• 先行研究における未解決問題を解決し、(オフライン) Set Disjointness、Set Intersection、Triangle Listingの決定的hardnessを証明すること。
• 3SUMの決定的ユニバース還元を確立し、標準的な仮定（数値が[n³]に属する）が決定的アルゴリズムに対しても正当であることを示すこと。
• 微細な複雑性におけるランダムネスの役割を扱う包括的な決定的3SUM-hardness理論の基盤を築くこと。

提案手法

• P˘atra¸scuの加法的ハッシュフレームワークの決定的版を用い、確率的ハッシュ関数の代わりに条件付き期待値を用いた決定的構成を導入する。
• 決定的ハッシュ補題（補題3.2）を適用し、関連する3SUMの三つ組において誤検出（h(a) + h(b) ≡ h(c) mod m）を最小化するモジュラスmを特定する。
• 3SUMをO(n^α)個のより小さなインスタンスに自己還元（補題3.3）し、関連する三つ組の数をO(n^{2α})に削減して効率的な処理を可能にする。
• 3SUMの解をモジュラ算術を用いてmを法として集合の共通部分集合にマッピングすることで、Set DisjointnessおよびSet Intersectionへの還元を構築する。
• δ > 0のパラメータを用いたパラメータ解析により誤差項を制御し、決定的3SUM仮説のもとでサブクアドレティック実行時間を保証する。
• ユニバース還元技術を適用し、加法的ハッシュを介して、3SUMインスタンスにおいて数値が[n³]に属するものと仮定しても一般性を失わないことを示す。

実験結果

リサーチクエスチョン

• RQ1 加法的ハッシュに基づくすべての3SUM-hardness還元を決定的化できるか？
• RQ2 Kopelowitzら（SODA’16）が提起した未解決問題を解決するため、3SUMからTriangle Listingへの決定的還元は存在するか？
• RQ3 3SUMの決定的ユニバース還元を構築できるか？ すなわち、入力の数値が[n³]に属するものと仮定しても一般性を失わないか？
• RQ4 現在の決定的化ツールキットの限界は何か？ また、その範囲外に残っている還元はどのようなものか？

主な発見

• この論文は、3SUMにO(n²−ε)の決定的アルゴリズムが存在しないという仮定のもと、(オフライン) Set Disjointnessが決定的3SUM-hardであることを証明する。
• 同じ仮定のもとで、|U| = O(n^{1+β−α})、N = O(n^{1/2 + α/2 + β/2})、s = O(n^{1−α})、q = O(n^{1+α})、出力サイズO(n^{2−β})というパラメータを有する(オフライン) Set Intersectionについても決定的hardnessを確立する。
• Kopelowitz, Pettie, Porat（SODA’16）が残した未解決問題を解決し、Triangle Listingへの決定的還元を提供する。
• 3SUMの決定的ユニバース還元を証明し、すべての3SUMインスタンスにおいて値が[n³]に属するものと仮定しても一般性を失わないことを示す。
• このフレームワークは、既知のほぼすべての3SUM-hardness還元を決定的化に成功しており、最近の構造対ランダムネスに基づく還元の小さなクラスを除き、その範囲外に残っている還元はほとんどない。