2004 Fiscal Year Annual Research Report
| Project/Area Number |
15500021
|
|---|
| Research Institution | The University of Electro-Communications |
|---|
Principal Investigator |
野下 浩平 電気通信大学, 電気通信学部, 教授 (60011706)
|
|---|
| Keywords | 探索アルゴリズム / 局面表 / ヘックス / 必勝法 / ゲーム |
|---|
| Research Abstract |
巨大な探索空間をもつ人工知能応用問題に対して、並列計算を含む高性能ハードウェアを生かした探索アルゴリズムの研究は非常に進歩し、従来解けなかった問題が解けるようになった。その基礎技術の一つに局面表技法がある。本研究の目的は、この局面表技法を中心にして、高能率で一般的な新しいデータ構造と探索法を開発し、理論的解析と応用例による新しい技法を評価するとともに、未解決問題の解決を試みるものである。
本年度は、4年間の研究の2年目にあたり継続研究として、局面表の一般的定式化、理論解析、3つの問題への応用を取り上げた。3つの問題とは、並列選択、協力詰、ヘックスである。特に、3番目の応用について、2000年にvan den Herik (2000)があげたゲーム研究の未解決問題のうち、ヘックスに関する課題の一つを解決した。具体的には、ヘックスにおける必勝手順を構成的に示す方法として、ユニオン連結の概念を導入して、その応用として、大きさ7×7および8×8の盤に対する著しく簡潔な証明を与えた。従来の理論的手法やコンピュータ援用の計算によっては、証明が不可能であったとか、人間の理解が難しい複雑な証明しかえられなかったのに対して、本研究により、コンピュータを使う必要もなく、人間が容易に理解できる範囲まで証明を簡単化できた。この結果は10月のワークショップで発表した。
|
