pp288
伊藤健洋
パズルの背景にある数学から，持続的システムへの応用まで
組合せ遷移とは，パズルや持続的システムといった動的な状況を定式化することに適し，最近10年ほどで急速に研究が発展・深化した研究トピックである．実行可能解が一つでも存在するか判定する従来の問題に比べ，組合せ遷移では実行可能解が形成する解空間での到達可能性が問われる．本稿ではまず，組合せ遷移の枠組みと研究背景を紹介する．次に，最近の研究動向を解説するとともに，組合せ遷移におけるアルゴリズム開発を紹介する．
パズルの背景にある数学から，持続的システムへの応用まで
組合せ遷移とは，パズルや持続的システムといった動的な状況を定式化することに適し，最近10年ほどで急速に研究が発展・深化した研究トピックである．実行可能解が一つでも存在するか判定する従来の問題に比べ，組合せ遷移では実行可能解が形成する解空間での到達可能性が問われる．本稿ではまず，組合せ遷移の枠組みと研究背景を紹介する．次に，最近の研究動向を解説するとともに，組合せ遷移におけるアルゴリズム開発を紹介する．