[論文レビュー] A Casual Tour Around a Circuit Complexity Bound

Ryan Williams|arXiv (Cornell University)|Nov 4, 2011

Advanced Graph Theory Research参考文献 44被引用数 5

ひとこと要約

この論文は、ACC回路のサブ指数的時間での充足可能性検査アルゴリズムを用いて、NEXP（非決定的指数時間）が多項式サイズの非一様ACC回路を持たないことを示す新しい証明を提示する。主な洞察は、自由変数の数を減らしながら回路構造を保持する「k-ブロークアウト変換」であり、これにより多項式分解とより高速な充足可能性検査が可能になり、最終的に対角線的構成によって回路下界が得られる。

ABSTRACT

I will discuss the recent proof that the complexity class NEXP (nondeterministic exponential time) lacks nonuniform ACC circuits of polynomial size. The proof will be described from the perspective of someone trying to discover it.

研究の動機と目的

• NEXPが多項式サイズのACC回路では計算できないことを示すことで、回路下界を確立すること。
• 下界を証明するために不可欠な、ACC回路の回路充足可能性問題を解くより高速なアルゴリズムを開発すること。
• 効率的な充足可能性アルゴリズムと回路複雑度の分離との間の関係を調査すること。
• 形式的証明ではなく、このような下界がどのように発見されるかを概念的かつ直感的に説明すること。

提案手法

• ACC回路のk個の入力をすべて2^k通りの組み合わせに固定する「k-ブロークアウト変換」を導入し、自由変数が少ない新しい回路を生成する。
• ACC回路が無制限ファンインORゲートについて閉じているという事実を用い、ブロークアウト後にACC構造を維持する。深さはたった1つ増えるのみである。
• 得られた回路をg∘hの合成として分解し、hを(n−k)変数の低次の多項式とし、項の数が少ないものとする。
• 多項式hをすべての2^(n−k)個の入力に対して評価し、g∘hが1に評価されるかを確認することで、サブ指数的時間での充足性検査を可能にする。
• SUCCINCT 3SAT（NEXPの完全問題）にこのアルゴリズムを適用し、ACC回路では解けないことを示す。
• 対角線的構成を用いて、主要な結果であるNEXP ∉ ACCを導出する。

実験結果

リサーチクエスチョン

• RQ1 ACC回路充足可能性問題に対してサブ指数的時間アルゴリズムを構築可能か？ また、ACCのどの構造的性質がこれを可能にするか？
• RQ2 ある回路クラスに対してより高速な充足性アルゴリズムが、その回路クラスと一様複雑度クラスとの間の分離を示唆するか？
• RQ3 k-ブロークアウト変換は、変数数を減らしながら回路クラスの属性を保持し、多項式分解を可能にするか？
• RQ4 SUCCINCT 3SATについて、無限個の入力長に対してではなく、すべての有限個を除く入力長に対して下界を拡張可能か？
• RQ5 これらの技術を一般化して、NEXP ≠ BPP や EXP ∉ ACC といったより強い分離を証明可能か？

主な発見

• サイズ2^o(n)のACC回路の充足可能性問題は、あるε > 0が深さとモジュロゲートに依存して定まるが、時間2^n - n^εで解ける。
• k-ブロークアウト変換は自由変数の数をnからn−kに減らすが、ACC構造を保持し、多項式分解を可能にする。
• 多項式分解における項の数は、2^O(k f(d,m) + log f(d,m) s)で抑えられ、k = n^(1/(2f(d,m)))のときサブ指数的になる。
• その結果、NEXPの完全問題であるSUCCINCT 3SATは、多項式サイズのACC回路では解けない。
• この結果は、NEXP ∉ ACCであることを示し、自然な指数時間クラスに対して強い回路下界を確立する。
• 証明戦略は、ある回路クラスに対してより速い充足性アルゴリズムが、その回路クラスと一様クラスとの間の分離を示唆する可能性があることを示唆する。