情報処理学会 第75回全国大会講演要旨

本研究では，大規模な制約充足問題（CSP）に対応した
Artificial Bee Colony（ABC）アルゴリズムを提案する．
近年，新しく提案されたメタヒューリスティクスの一つであるABCは，
ミツバチの群れの知的な採餌行動に着想を得たものである．
しかし元々ABCは関数最適化を対象としたアルゴリズムとして提案
されており，そのままの形でCSPに適用することはできない．
そこで本研究では，バイナリー最適化を対象としたABCとして提案
されたDisABCを用いてCSPを解くことを提案する．
そのために，CSPを拡張変換する手法と局所探索能力を補うためにGSAT
を組込むことを提案し，それによる探索能力の有効性を明らかにする．