青云翻译

[object Object]

CP 在此表达能力被通过一个布尔变量被设置，如果约束持有 1 0，否则任何约束关联设施。这被称为 reified 的约束。下面我们代表一个任意约束条件变量 X 为 Cons(X) 和 Cons(X,B) 及 reified 版本的列表。CP 语言或者允许逻辑组合要明确表示 Cons1(X1) ∨ Cons2(X2) ∨ ? ? ? ∨ Consn(Xn) 或他们要求用户在利用中按通常方式 Cons1(X1,B1) ∧ Cons2(X2,B2) ∧ ? ? ? ∧ 的布尔变量 Consn(Xn,Bn)

在CP这传神力量由设施达到同所有限制被设置到1，如果限制举行和到0否则的布尔变量联系在一起。 这被命名一个被具体化的限制。 在以下我们在可变物名单代表一个任意限制x作为负面因素(X)和它的被具体化的版本作为负面因素(X， B)。 CP语言二者之一允许逻辑组合是明确地陈述的Cons1 (X1) ∨ Cons2 (X2) ∨ ? ? ? ∨ Consn (Xn)或他们在通常方式Cons1 (X1， B1) ∧ Cons2 (X2， B2) ∧要求用户利用布尔变量 ? ? ? ∧ Consn (Xn， Bn)

在CP这是表达能力的设施所取得的任何限制,准与Boolean变量设置为1,如果限制持有,否则为0。 这是一个称为强制具体化。 我们所代表的以下一个任意限制列表上的变量x作为弊(x)和其具体化版作为弊(X,B)。

CP 在此表达能力被通过一个布尔变量被设置，如果约束持有 1 0，否则任何约束关联设施。这被称为 reified 的约束。下面我们代表一个任意约束条件变量 X 为 Cons(X) 和 Cons(X,B) 及 reified 版本的列表。CP 语言或者允许逻辑组合要明确表示 Cons1(X1) ∨ Cons2(X2) ∨ ? ? ? ∨ Consn(Xn) 或他们要求用户在利用中按通常方式 Cons1(X1,B1) ∧ Cons2(X2,B2) ∧ ? ? ? ∧ 的布尔变量 Consn(Xn,Bn)