| 研究成果の概要 |
制約充足問題は様々な分野に現れる普遍的な組合せ問題である. 制約充足問題は, その記述能力の高さゆえに, NP困難と呼ばれる計算困難なクラスに属している. 本課題では, 制約充足問題に対する効率の良い厳密および近似アルゴリズムの設計とその解析を行った. 結果として, 有限体上の多変数連立代数方程式系, 最大充足可能性問題, 重み付対称素子を持つ限定段数回路の充足可能性問題, 一般回路の充足可能性問題に対する改良された厳密アルゴリズムを得た. また, 時相制約充足問題に対する頑健な近似アルゴリズムも与えた.
|
