6.3 制約式クラスConstraint
wcsp利用時には，全ての制約式は次の3つの種類に分類されます．
- ハード制約式
- セミハード制約式
- ソフト制約式
ハード制約式とは，最も優先して満たすべき制約式（必ず満たさなければならない制約式）のことです．
セミハード制約式とは，ハード制約式の次に優先して満たすべき制約式のことです．通常，必ず満たさなければならない制約式の一部をセミハード制約式とし，実行不可能性の原因をセミハード制約に押し付けるという使い方をします．
ソフト制約式は，優先度がもっとも低く，必ずしも満たす必要はないが，できるだけ満たして欲しい制約式のことです．その際，ソフト制約式は，各制約式の違反量からペナルティ量を計算し，その総ペナルティ量が最も小さくなることをもってできるだけ制約式を満たしたと解釈します注1．
初期設定では，全ての制約式はハード制約式として扱われます．
注1）制約式の違反量からのペナルティ量の計算方法は後述します．
上に戻る