[論文レビュー] Lower bound for deterministic semantic-incremental branching programs solving GEN

Dustin Wehr|arXiv (Cornell University)|Jan 14, 2011

Complexity and Algorithms in Graphs参考文献 5被引用数 6

ひとこと要約

この論文は、GEN問題を解く決定的意味的増分ブランチングプログラムに対する指数的下界を確立し、$2^{c\,m/\log m}$ 以上の状態数を、$c > 0$ を定数として、無限に多くの $m$ に対して必要とする、と証明している。この結果は、意味的増分BPsをスリリングBPsに還元し、高いブラックペブルコストを持つペブルが難しいDAGを活用することで得られた。

ABSTRACT

We answer a problem posed in (Gál, Koucký, McKenzie 2008) regarding a restricted model of small-space computation, tailored for solving the GEN problem. They define two variants of "incremental branching programs", the syntactic variant defined by a restriction on the graph-theoretic paths in the program, and the more-general semantic variant in which the same restriction is enforced only on the consistent paths - those that are followed by at least one input. They show that exponential size is required for the syntactic variant, but leave open the problem of superpolynomial lower bounds for the semantic variant. Here we give an exponential lower bound for the semantic variant by generalizing lower bound arguments, from earlier work, for a similar restricted model tailored for solving a special case of GEN called Tree Evaluation.

研究の動機と目的

• 決定的意味的増分ブランチングプログラムがGEN問題を解く場合の超多項式的下界について、[GKM08]で提示された未解決問題を解くこと。
• 構文的および意味的増分ブランチングプログラムのバリアントの間のギャップを埋めるために、より一般的な意味的バリアントに対する指数的下界を証明すること。
• 木評価問題を解くスリリングBPsに既知の下界技術を一般化し、より広範なGEN問題に拡張すること。
• 意味的増分モデルがその一般性にもかかわらず、依然として強い計算的制限を課すことを示すこと。

提案手法

• 正しく保たれ、サイズが増加しないように、決定的意味的増分ブランチングプログラムをスリリングブランチングプログラムに還元する構成による還元。
• [PTC76] から得られる、$\Theta(t)$ 個のノードとブラックペブルコスト $\Omega(t/\log t)$ を持つ根付きDAGの族 $\{G_t\}$ の使用。
• これらのDAGに定理3を $k=2$ で適用し、ペブルコストをブランチングプログラムのサイズ下界に変換。
• DAG $G_t$ のノード数 $n_t$ を用いて、サイズ $m_t = 7n_t + 1 \leq 8n_t$ のGEN問題のインスタンスを構築し、ペブルコストと $m_t$ を関連付ける。
• ペブルコスト $p(n_t) = \Omega(n_t / \log n_t)$ が、$m_t$ に対して $2^{p(n_t)} \geq 2^{c\,m_t / \log m_t}$ の下界を示すこと。
• 意味的増分BPsからスリリングBPsへの変換が正しく保たれ、サイズが増加しないことを証明し、元のモデルに対しても下界が適用可能であることを保証。

実験結果

リサーチクエスチョン

• RQ1 決定的意味的増分ブランチングプログラムがGEN問題を解く場合、超多項式的下界を証明できるか？
• RQ2 構文的バリアントが指数的サイズを必要とするのに対し、意味的増分モデルはそのバリアントと比べて著しく強力であると見なせるか？
• RQ3 スリリングBPsに証明された下界を、より一般的な意味的増分モデルに拡張できるか？
• RQ4 DAGのどの構造的性質が高コストのペブルを生じさせ、それらを用いてブランチングプログラムの複雑さにおいて強い下界を導出できるか？

主な発見

• 任意の $m$ に対して無限に多くの $m$ に対して、$[\text{-GEN}m]$ を解くすべての決定的意味的増分ブランチングプログラムは、少なくとも $2^{c\,m/\log m}$ 個の状態を必要とするような定数 $c > 0$ が存在する。
• 下界は、意味的増分BPsをスリリングBPsに還元し、$\Omega(n/\log n)$ のブラックペブルコストを持つペブルが難しいDAGの族を用いることで得られた。
• この構成は、$\Theta(t)$ 個のノードとブラックペブルコスト $\Omega(t/\log t)$ を持つ根付きDAGの族 $\{G_t\}$ を用い、下界が $m$ に従ってスケーリングされることを保証する。
• この結果により、GENを解くためにも、より一般的な意味的増分モデルですら指数的サイズを回避できないことが確認され、[GKM08]で残されたギャップが埋められた。
• 意味的増分BPsからスリリングBPsへの還元は、正しさとサイズの両方を保ち、下界の移行を正当化する。