约束编程
Nœud de Décision
Point dans l'arbre de recherche où une variable est instanciée avec une valeur spécifique. Chaque nœud représente un état partiel du problème à partir duquel la recherche se poursuit ou backtracke.
← 返回