解決困難な制約充足問題の系統的生成に関する研究

2015 年度 研究成果報告書

• 研究課題/領域番号: 25330267
• 研究種目: 基盤研究(C)
• 配分区分: 基金
• 応募区分: 一般
• 研究分野: 知能情報学
• 研究機関: 拓殖大学
• 研究代表者: 水野 一徳 拓殖大学, 工学部, 准教授 (20439524)
• 研究期間 (年度): 2013-04-01 – 2016-03-31
• キーワード: 制約充足問題 / 探索 / グラフ彩色問題 / 相転移 / NP完全 / 群知能

研究成果の概要

本研究の主な成果は，(1)計算機を用いても解決が非常に難しい（時間がかかる）制約充足問題を系統的に生成する方法の開発，(2)制約充足問題を効率よく解決するための群知能型確率的解決アルゴリズムの開発，(3)応用システムとして，複雑なタイリング画像生成のための図形パターン導出，およびテーマパーク問題を対象としたマルチエージェント型の人流シミュレーションシステムの開発である．

自由記述の分野

情報工学