[論文レビュー] The space complexity of recognizing well-parenthesized expressions

Rahul Jain, Ashwin Nayak|arXiv (Cornell University)|Jan 1, 2010

Complexity and Algorithms in Graphs参考文献 13被引用数 2

ひとこと要約

この論文は、2種類の括弧を含む正しい括弧表現を認識する、一方向で定数誤差を許容するTパスのストリーミングアルゴリズムの空間計算量について、Ω(√n / T³)の下界を確立する。これは、Magniez, Mathieu, and Nayak (2009)の予想を解決し、この文脈において、双方向ストリームが一方向ストリームよりも顕著な計算的優位性を有することを示している。

ABSTRACT

We show an ( p n=T 3 ) lower bound for the space required by any unidirectional constanterror randomized T -pass streaming algorithm that recognizes whether an expression over two types of parenthesis is well-parenthesized. This proves a conjecture due to Magniez, Mathieu, and Nayak (2009) and rigorously establishes the peculiar power of bi-directional streams over unidirectional ones observed in the algorithms they present.

研究の動機と目的

• 一方向ストリーミングアルゴリズムの制限に関する、Magniez, Mathieu, and Nayak (2009)の予想を解消すること。
• 括弧言語認識の文脈において、双方向ストリーミングが一方向ストリーミングを上回る計算的優位性を形式的に確立すること。
• 2種類の括弧を含む表現に対する、定数誤差を許容するTパスのストリーミングアルゴリズムの空間計算量に対する非自明な下界を導出すること。
• ネストされた構造のストリーミング認識における、パス数Tと空間使用量のトレードオフを厳密に分析すること。

提案手法

• 著者らは、ストリーミングアルゴリズムの空間要件を分析するために、通信複雑性問題への還元を採用する。
• 彼らは、正しい括弧表現を処理するストリーミングアルゴリズムにとって困難なケースを模倣するように、巧みに構築された入力分布を用いる。
• 証明は、確率的議論と誤差の有界性条件に依存し、各パス間で保持されなければならない情報量の下界を導出する。
• 重要な技術的ステップとして、パス数Tとストリーミングモデルにおける達成可能な誤差率および空間使用量との関係を定式化する。
• バランスの取れた括弧の構造を活用して、一方向アルゴリズムにおける高い空間消費を強制する困難な入力族を定義する。

実験結果

リサーチクエスチョン

• RQ1 2種類の括弧を含む正しい括弧表現を認識する、任意の一方向定数誤差ランダム化Tパスストリーミングアルゴリズムが要する最小空間量は何か？
• RQ2 このようなストリーミングモデルにおいて、パス数Tは空間計算量にどのように影響するか？
• RQ3 括弧認識において観察された双方向ストリームの一方向ストリームを上回るパワーが、複雑性の下界によって形式的に正当化可能か？
• RQ4 Magniez, Mathieu, and Nayak (2009)の予想する空間下界が、与えられたモデル制約下でも成立するか？

主な発見

• この論文は、2種類の括弧を含む正しい括弧表現を認識する、任意の一方向定数誤差ランダム化Tパスストリーミングアルゴリズムの空間計算量について、Ω(√n / T³)の下界を確立する。
• この結果は、Magniez, Mathieu, and Nayak (2009)の予想する、この文脈における一方向ストリーミングの本質的制限を裏付ける。
• この下界は、パス数Tを増やすことで空間使用量が減少することを示唆するが、その減少は多項式的であり、ある点を過ぎると利得が小さくなることを示している。
• この結果は、双方向ストリームが一方向ストリームよりも著しく少ない空間で問題を解けるという形式的証拠を提供し、従来のアルゴリズム的観察を裏付けている。