| 研究概要 |
近年の情報化技術の発達により,人工知能,データマイニング,オペレーションズリサーチなど様々な分野で『大規模な離散列挙問題』が解かれるようになってきた.しかしながら,比較的簡単に解ける離散列挙問題を除く多くの問題に対して提案されているアルゴリズムのほとんどは,発見的なものであり,列挙の速度,領域,列挙の順序(例えば,重要なものから列挙する)などのアルゴリズムの精度保証がなく、特に大規模な問題においては,莫大な計算時間,領域が必要になることが多い.本研究では,この急務な研究課題である離散列挙問題に対して,離散構造を解析することにより,大規模な問題にも適用可能な高速アルゴリズム開発を試みる.
本年度の成果としては,単調論理関数の双対性判定問題に対する並列アルゴリズム,および,幾何学的な性質を利用した多項式時間アルゴリズムの開発に成功したことである.
|
