| 研究課題/領域番号 |
01550280
|
|---|
| 研究種目 |
一般研究(C)
|
| 配分区分 | 補助金 |
|---|
| 研究分野 |
情報工学
|
|---|
| 研究機関 | 東京農工大学 |
|---|
研究代表者 |
中森 眞理雄 東京農工大学, 工学部, 教授 (00111633)
|
|---|
| 研究分担者 |
植村 俊亮 東京農工大学, 工学部, 教授 (00203480)
|
|---|
| 研究期間 (年度) |
1989 – 1991
|
| 研究課題ステータス |
完了 (1991年度)
|
| 配分額 *注記 |
2,200千円 (直接経費: 2,200千円)
1991年度: 400千円 (直接経費: 400千円)
1990年度: 500千円 (直接経費: 500千円)
1989年度: 1,300千円 (直接経費: 1,300千円)
|
|---|
| キーワード | アルゴリズム / デ-タ構造 / 組合せ的問題 / グラフアルゴリズム / 線形計画法 / 計算複雑度 / アルゴリズム教育 / ドットマトリクスの回転 / グラフ処理システム / アルゴリズムベ-ス / グラフ処理言語 / アルゴリズム・ベ-ス |
|---|
| 研究概要 |
よく知られたアルゴリズムを知識ベ-スにたくわえ、組み合わせ的問題(グラフ理論、ネットワ-ク・フロ-理論、電気回路理論など)の新しいアルゴリズムを考案する助けとなるような手法を開発することを目的として研究した。この目的を実現するためには、既存のアルゴリズムに含まれる典型的な技法を部品として抽出することと、それらの部品を組み合わせて新しいアルゴリズムを作ること、などを検討しなければならない。そこで、本研究では、上記のように部品を組み合わせるときに、組み合わせるという操作自体がある種の代数的構造をもつことに注目し、その構造を解明することを試みた。具体的には、計算機のメモリ中に表現されたドットマトリクスを回転するアルゴリズムを計式的に書き換える操作全体のなす群の構造が明らかになるなどの成果が得られた。同様の考察を数値表現の問題に加えることにより、広範囲の数値表現方法を統一的に捉えることができた。すぐれたアルゴリズムが線形計画法と密接に関連しているという事実に注目し、問題の複雑さを線形計画問題等を媒介として分類することを試みた。たとえば、周知の整列(ソ-ト)は線形計画問題として記述できることを証明した。計算幾何学の代表的な問題についても同様の考察を加え、線形あるいは2次計画問題として記述できることを証明した。計算複雑度がNP完全である理論式充足可能性問題が双線形計画問題であることを証明した。グラフやネットワ-クを始めとするさまざまな位相的情報に対するアルゴリズムやデ-タ構造を研究したり教育したりするための環境についても検討した。これらの成果は、引き続いて行われるべきアルゴリズム知識デ-タベ-スの研究に大きな示唆を与えるものである。
|
