制約充足問題は、与えられた制約条件を満足する解を求める問題であり、日常現れる問題の一種である。制約充足問題を効率良く解くアルゴリズムと制約条件の関係を解析し、アルゴリズムの効率化が可能となる制約条件の種類・形状を発見し、未解決であった解の値の総和を近似するブール変数を有する数え上げ制約充足問題の完全な分類を行った。また、数え上げ制約充足問題の2極値定理の応用として、リスト行列グラフ分割数え上げ問題の分類に成功した。更に、理論的な多項式時間計算と異なり、より現実的な対数記憶領域計算モデルや、記憶デバイスをスタック方式に限定した計算モデルを使い、組み合わせ最適化問題に新たな研究領域を切り開いた。
|