Definition 3.1 (Constraint).
Example 3.2 举例alldifferent和具体例子，表示 A constraint can be specified extensionally by the list of its satisfying tuples, or intensionally by a formula that is the characteristic function of the constraint.
Definition 3.3 (Constraint network). A constraint network (or network) is composed of:
一个有限的整数变量序列 X的定义域 一组约束
在整章中，我考虑了至少涉及两个变量的约束。 这不是限制，因为变量域在语义上等同于一元约束。 它们在约束网络的定义中单独指定，因为域是扩展给定的，而约束c可以由| X（c）|上的任何布尔函数定义。 （在扩展与否）。 我还认为在约束方案中没有重复变量。 在大多数情况下，这种限制可以放宽，但它简化了符号。 图表的词汇通常用于描述网络。 网络确实可以与（超）图相关联，其中变量是节点，并且约束的方案是（超）边缘。
个人觉得这一段的意思应该是，变量和约束都是数值序列而非集合，因为序列的顺序非常重要（毕竟集合的话，是不需要考虑集合内部数字顺序的）
介绍了一下集合运算，投影、交、并、连接。
回溯算法基于为变量赋值的原则，直到所有变量都被实例化为止。
Definition 3.5 (Instantiation). 实例化
很好的例子：
约束推理社区中有许多工作对约束网络的定义施加了一些限制。 这些限制可能会对处理的概念产生一些影响。 我详细说明了文献中出现的主要限制，我将在稍后使用。
约束推理社区经常使用具有有限数量的元组的约束，甚至更多的是仅允许有效元组的约束，即来自所涉及变量的域的值的组合。 我将这些约束称为“嵌入式”。