[論文レビュー] The Complexity of Recognition of Linguistically Adequate Dependency Grammars

Peter Neuhaus, Norbert Broeker|ArXiv.org|Sep 8, 1997

Natural Language Processing Techniques参考文献 11被引用数 37

ひとこと要約

この論文は、言語的に適切な依存文法の認識がNP完全であることを証明しており、文法的妥当性が高まる一方で、計算的複雑性が非効率的になることを示している。この結果は、頂点被覆問題を依存文法認識問題に還元することで得られ、支配関係と先行関係の独立的定義が原因で、非射影的かつ順序なしの依存構造ですらNP完全性が生じることを示している。

ABSTRACT

Results of computational complexity exist for a wide range of phrase structure-based grammar formalisms, while there is an apparent lack of such results for dependency-based formalisms. We here adapt a result on the complexity of ID/LP-grammars to the dependency framework. Contrary to previous studies on heavily restricted dependency grammars, we prove that recognition (and thus, parsing) of linguistically adequate dependency grammars is NP-complete.

研究の動機と目的

• 依存文法形式に対する計算複雑性の結果が、特に句構造文法と比較して不足していることに対処すること。
• 非射影的構造を許容する言語的に適切な依存文法—特にそれらが効率的な認識アルゴリズムを有するかどうかを調査すること。
• 生成能力のわずかな増加（例：非射影性）が、計算複雑性にわずかな増加しかもたらさないという仮定に挑戦すること。
• 現代の依存文法理論における支配関係と先行関係の分離が、認識においてNP完全性を引き起こすことを形式的に確立すること。

提案手法

• 依存文法認識（DGR）問題へのNP完全な頂点被覆（VC）問題からの還元。
• 元のVCインスタンスに解が存在する場合に限り、入力文字列σ(V,E,k)がL(G)に属するような依存文法G(V,E,k)と入力文字列σ(V,E,k)を構築すること。
• 頂点、辺、被覆制約を符号化するために、異なる項数クラス（H, R, U）を持つラベル付き依存木の使用。
• 語のインスタンスを項数スロットに割り当てる：Hは辺の端点、Rは重複コピー、Uはルート依存頂点。
• 元のグラフにサイズ≤kの頂点被覆が存在する場合に限り、文法が入力文字列を生成することを証明すること。
• VCとDGRの間で多項式時間還元と同値性を確立し、DGRのNP完全性を確認すること。

実験結果

リサーチクエスチョン

• RQ1 言語的に適切な依存文法の認識は計算的に実行可能であるか、それとも支配関係と先行関係の構造的独立性に起因する非効率性を引き継ぐのか？
• RQ2 非連続的依存を許容する非射影的依存文法は、多項式時間で解析可能か？
• RQ3 現代の依存文法の生成能力の向上は、計算複雑性の顕著な増加に対応するのか？
• RQ4 現在の依存文法形式における支配関係と先行関係の分離が、認識におけるNP完全性の原因となっているのか？

主な発見

• 頂点被覆問題からの多項式時間還元により、言語的に適切な依存文法の認識がNP完全であることが証明された。
• NP完全性は、非連続的または非射影的構造に限らず、順序なしの依存木に対しても成立する。
• この結果は、支配関係と先行関係の独立的定義に起因しており、現代の依存文法理論の重要な特徴である。
• 複雑性の増加は単なる理論的考察ではない—これは、標準的な多項式時間解析手法（例：チャートベース）が、このような形式に一般に適用できないことを示唆している。
• この結果は、a^n b^n c^n のような文脈依存言語を生成可能な非連続的依存文法に対しても成立する。
• 研究結果は、現代の依存文法の効率的解析にはヒューリスティック的またはハイブリッド的手法が必要であることを示唆しており、ParseTalk などのシステムで見られるように、実用的応用に向けたアプローチが不可欠である。