| 研究課題/領域番号 |
07680344
|
|---|
| 研究種目 |
一般研究(C)
|
| 研究機関 | 電気通信大学 |
|---|
研究代表者 |
笠井 琢美 電気通信大学, 電気通信学部, 教授 (70027382)
|
|---|
| 研究分担者 |
山崎 浩一 電気通信大学, 電気通信学部, 助手 (00246662)
岩田 茂樹 電気通信大学, 電気通信学部, 教授 (80102028)
|
|---|
| キーワード | 計算量 / 完全問題 / グラフアルゴリズム / 構文解析 / 機械翻訳 |
|---|
| 研究概要 |
低いレベルの計算量クラス(多項式時間計算量)については、当初予測していたような、計算量の測度となる完全問題をあまり発現することができなかった。その理由は、現在の計算論理論で用いられる計算モデルが、将来も安定した普遍的なモデルであるといえないことと、多項式時間計算可能な問題に対するアルゴリズムの多様性にある。(この種の理論の枠内に於いては、NP完全問題に対し、あるパラメータkを固定したFixed Parameter Tractabilityに対し、1つの結果を得ることができた。)言い換えると、現在の計算機(モデル)で得られる計算量の低いレベルの下界は、並列アルゴリズムとか、ランダムアルゴリズムなどを考慮しても、普遍的な安定した量とは見なしにくい点にある。したがって、低いレベルの計算量の研究に於いて、視点を完全問題ではなく、問題のクラスの定性的な解析に移した。
山崎はグラフアルゴリズムの解析を、グラフ文法の観点から、また学習理論の観点から解析した。特に、あるグラフのクラスの同型問題がFixed Parameter Tractableであることを示した。笠井は、自然言語解析のアルゴリズムについて考案した。特に、構文解析木の新しい表現方法である“左右木"とよばれる概念を導入し、その性質を明らかにした。この解析アルゴリズムとして、PD変換機というクラスを導入している。また最近は木変換の合成問題を扱っている。得られた結果は、完全問題という形で形式化することは(現在の時点では)できないが、個々の問題に対する結果ではなく、応用範囲の広い問題のクラスに関する結果であり、一種の完全問題を表わすと言ってもよい。(研究発表の黒川、藤芳は笠井研の大学院生である)
|
