[論文レビュー] Range Avoidance for Constant Depth Circuits: Hardness and Algorithms

Karthik Gajulapalli, Alexander Golovnev+2 more|arXiv (Cornell University)|Jan 1, 2023

Complexity and Algorithms in Graphs被引用数 3

ひとこと要約

本稿では、ストレッチ m ≥ 3n^{k-2} の NC0_k-Avoid 問題に対して、初めての決定的多項式時間アルゴリズムを提示する。これは、従来の NP オракルに依存する手法やより大きなストレッチを必要としていた先行研究を顕著に改善する。本稿では、アフィン部分空間を用いた新規な部分空間結合技術と再帰的還元法を導入し、問題を効率的に解く。この手法により、NC0_3-Avoid と明示的剛性行列構成の間の重要な関係が確立される。

ABSTRACT

Range Avoidance (AVOID) is a total search problem where, given a Boolean circuit $C\colon\{0,1\}^n o\{0,1\}^m$, $m>n$, the task is to find a $y\in\{0,1\}^m$ outside the range of $C$. For an integer $k\geq 2$, $\mathrm{NC}^0_k$-AVOID is a special case of AVOID where each output bit of $C$ depends on at most $k$ input bits. While there is a very natural randomized algorithm for AVOID, a deterministic algorithm for the problem would have many interesting consequences. Ren, Santhanam, and Wang (FOCS 2022) and Guruswami, Lyu, and Wang (RANDOM 2022) proved that explicit constructions of functions of high formula complexity, rigid matrices, and optimal linear codes, reduce to $\mathrm{NC}^0_4$-AVOID, thus establishing conditional hardness of the $\mathrm{NC}^0_4$-AVOID problem. On the other hand, $\mathrm{NC}^0_2$-AVOID admits polynomial-time algorithms, leaving the question about the complexity of $\mathrm{NC}^0_3$-AVOID open. We give the first reduction of an explicit construction question to $\mathrm{NC}^0_3$-AVOID. Specifically, we prove that a polynomial-time algorithm (with an $\mathrm{NP}$ oracle) for $\mathrm{NC}^0_3$-AVOID for the case of $m=n+n^{2/3}$ would imply an explicit construction of a rigid matrix, and, thus, a super-linear lower bound on the size of log-depth circuits. We also give deterministic polynomial-time algorithms for all $\mathrm{NC}^0_k$-AVOID problems for $m\geq n^{k-1}/\log(n)$. Prior work required an $\mathrm{NP}$ oracle, and required larger stretch, $m \geq n^{k-1}$.

研究の動機と目的

• NC0_3-Avoid の複雑度ギャップを埋める。これは、NC0_2-Avoid に対して多項式時間アルゴリズムが存在する一方、NC0_4-Avoid に対しては条件付きの難易度が示されているにもかかわらず、未解決のままだった。
• 明示的剛性行列構成から、ストレッチ m = n + n^{2/3} の NC0_3-Avoid への直接還元を確立することで、NC0_3-Avoid の解法可能性が主要な複雑度理論的下界と結びつくことを示す。
• アフィン部分空間分解と再帰的出力固定を用いた、定数深さ回路における範囲回避のための新しいアルゴリズム枠組みを開発する。
• NC0_k-Avoid が非自明なストレッチ値 m ≥ nk−1/log(n) に対して tractable になることを示し、従来の NP オライクル依存手法を改善する。

提案手法

• 部分空間結合アルゴリズム SubspaceUnion を導入し、部分出力割り当てと整合する入力を追跡するために、2^t 個の互いに素なアフィン部分空間の集合を維持する。
• Corollary 4.2 を用いて、各出力がこの集合以外の少なくとも2つの入力に依存するように、t ≤ 3n^{k-1/m} 個の入力を選択する。
• 各アフィン部分空間を、各出力ビット値（0 または 1）と整合する部分空間に分割する AffineReduce 手続きを適用し、各ステップでサイズを少なくとも 4/3 倍に削減する。
• 各出力ステップで、部分空間の和集合の総サイズを最小にするビット値（0 または 1）を選択することで、探索空間を指数関数的に削減することを保証する。
• 出力ビットを1つずつ固定する再帰的戦略を採用し、整合するすべての入力が部分空間の和集合内に残る不変性を維持する。
• 結果として、時間 2^{O(n^{k-1/m})} · poly(n) で実行される決定的アルゴリズムが得られ、m ≥ nk−1/log(n) のとき多項式時間で実行可能となる。

実験結果

リサーチクエスチョン

• RQ1 明示的剛性行列構成を NC0_3-Avoid に還元できるか。これにより、NC0_3-Avoid の解法可能性が超線形な回路下界と結びつくか。
• RQ2 ストレッチ m が nk−1 より小さい場合、NC0_k-Avoid に対して決定的多項式時間アルゴリズムが存在するか。
• RQ3 部分空間結合技術を一般化することで、m = Ω(n^{k-2+ε}) の NC0_k-Avoid 問題に対して、指数時間未満の時間で解けるか。
• RQ4 NC0_k-Avoid が NP オライクルなしで効率的に解ける最小のストレッチ m は何か。
• RQ5 NC0_3-Avoid が多項式時間で解けると、対数深さ回路に対して超線形な下界が得られるという、回路複雑度の分野における画期的進展をもたらすか。

主な発見

• m ≥ 3n^{k-2} のとき、NC0_k-Avoid 問題に対して多項式時間の決定的アルゴリズムが達成され、従来の NP オライクル依存手法よりも顕著に改善された。
• 任意の定数 k ≥ 3 および ε > 0 に対して、SubspaceUnion は m ≥ nk−1/log(n) のとき決定的多項式時間で NC0_k-Avoid を解き、m ≥ nk−2+ε のとき決定的超指数時間 2^{O(n^{1−ε})} で解ける。
• 本稿では、明示的剛性行列構成から、ストレッチ m = n + n^{2/3} の NC0_3-Avoid への直接還元を確立し、このケースの多項式時間アルゴリズムが存在すれば、対数深さ回路に対して超線形な下界が示されることを示した。
• アルゴリズム SubspaceUnion は時間 2^{O(n^{k-1/m})} · poly(n) で実行され、m ≥ nk−1/log(n) のとき多項式時間に帰着する。
• 主な技術的イノベーションは、整合する入力を追跡するための互いに素なアフィン部分空間の和集合の使用であり、各出力ビットごとに指数的進捗を保証するサイズ削減戦略である。
• この結果は、NC0_3-Avoid を効率的に解けるならば、複雑度理論における長年の未解決問題、特に明示的剛性行列の存在と超線形な回路下界の両方を解決できることを示唆する。