制約プログラミング

決定ノード

変数が特定の値でインスタンス化される探索木内の点。各ノードは、そこから探索が継続されたりバックトラックされたりする問題の部分的な状態を表す。

← 戻る