学习记录16（SV随机化约束的概率）

1.没有约束的类（有效解无效解等概出现）

2.关系操作（具有依赖关系，可以理解成条件判断语句，如果满足第一个变量约束才约束后面的变量，不满足第一个变量约束则后面的变量就没有约束，非等概）

randc在前面也说到了，必须保证每个数值都出现一次（周期性），定义哪个就先考虑哪，个跟你的条件x无关，只跟你最后的约束y有关

这个就要从y的角度考虑，每种可能有0.25，x再约束一下，哪个加了randc就从哪个角度分析

这里为什么x为1，y为0不行了，因为randc是轮询的，也就是说针对x只能在y中选一个值，如果选了00，那么10就不能选了，因此针对y只有四种可能，相当于y轮询一次，x要轮询两次
当存在多个 randc 变量时，求解器会把它们“捆绑”成一个组合对象，然后对这个组合进行“无放回式”的轮询抽取，而不是分别对 x 和 y 独立轮询。

加双向约束要考虑两个

solve.....before，这个感觉有点像先考虑哪种再考虑哪种，明确顺序，跟前面randc好像