値変更コスト付き動的CSPの定式化とその解法

抄録

値変更コスト付き動的CSPでは動的な意思決定問題を扱う。この問題では意思決定者が意志決定を変更するときに何らかのコストを払う必要がある。そこで意思決定変更のコストを最小にする解の系列の探索が値変更コスト付き動的CSPの目的となる。 この問題に対し２つの解法を提案する。１つ目は既存の部分重み付きMaxCSPソルバーを用いる解法である。2つ目はラグランジュ分解法を用いる解法である。