1993 Fiscal Year Annual Research Report
| Project/Area Number |
05680270
|
|---|
| Research Institution | Nagoya University |
|---|
Principal Investigator |
平田 富夫 名古屋大学, 工学部, 教授 (10144205)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
坂部 俊樹 名古屋大学, 工学部, 教授 (60111829)
稲垣 康善 名古屋大学, 工学部, 教授 (10023079)
|
|---|
| Keywords | アルゴリズム / 平均計算量 / 確率モデル / 充足可能性問題 / 頂点被覆問題 |
|---|
| Research Abstract |
近年の平均計算量の解析においては、複素解析や積分変換などが導入され、その解析技法は著しく発展しつある。また、計算複雑さの理論においても、平均計算量に基づく新しい理論が構築されつつある。いずれの場合も、最も重要なのは、入力モデル(入力分布、確率モデル)を適切に定めることである。すなわち、実際的な意味でのアルゴリズムの性能をよく反映し、しかも、解析が可能であるようなモデルを見つけることが重要である。本研究の目的は、平均計算量の解析技法をさらに展開するための基礎的研究として、幾つかの重要な離散構造問題について適切な入力モデルを探すことである。
本研究では、まず、知られている平均計算量解析技法のサイーベイを行なった。これについては準備がととのいしだい発表する予定である。このサーベイの一環として、Handbook of Theoretical Computer.Science,Vol.A,Elseveir Science Publishersの第9章(アルゴリズムとデータ構造の平均計算量解析)の翻訳をおこなったが、それは「コンピュータ基礎理論ハンドブック」(丸善)として刊行された。
次に、NP完全問題としてよく知られている充足可能性問題およびグラフの頂点被覆問題をとりあげ、これらの問題の平均的な性質を調査した。これらの問題を解くアルゴリズムとして、分枝限定法に基づくものと遺伝子アルゴリズムに基づくものを作成し、種々の入力モデルについて計算機実験を行ない妥当性を検討した。この結果、実際的な意味でのアルゴリズムの性能を反映する有力な入力モデルが得られ本研究の初期の目的を達した。設備備品として購入したワークステーションは上記の計算機実験に使用された。また、この上に数式処理システムを導入し理論解析の補助としても用いた。
|
-
[Publications] 譚学厚: "An incremental algorithm for constructing shortest watchman routes" International Journal of Computational Geometry & Applications. 3. 351-365 (1993)
-
[Publications] 平田富夫: "Constructing Shortest watchman routes by divide and conquer" Proceedings of International Symposium on Algorithms and Computation(LNCS). 762. 68-78 (1993)
-
[Publications] 譚学厚: "Designing efficient geometric searching algorithms using persistent binary-binary search trees" Transactions of IEICE on Information and Systems. E76(発表予定). (1994)
