MultiAgent Systems读书笔记

分布式约束满足问题定义

一个约束满足问题（Constraint Satisfaction Problem,CSP）的形式化定义如下：
一个CSP由以下三个部分组成：变量集$X=\{X_1,X_2,\dots,X_n\}$，域集$D=\{D_1,D_2,\dots,D_n\}$和约束集$C=\{C_1,C_2,\dots,C_n\}$。每个变量$X_i$都对应一个值域$D_i$，如在三顶点上色问题中，每一个变量（顶点）对应的值域都是$\{red,green,blue\}$三种颜色。值域可以是无限个，但为了讨论方便，通常假定域是有限个。约束是定义在变量子集上的断言。比如，给定变量子集$X_{i_1},\dots,X_{i_n}$，断言定义了一组关系，此关系是笛卡尔积$D_{i_1}\times\dots\times D_{i_n}$的子集。为了简便期间，讨论的约束均为二元约束，即所有的约束仅涉及到两个变量。
给定变量的一个子集$S$，$S$的一个实例是指为$S$中的每一个变量赋值。若其不违反有关$S$中变量的任意一条约束，则称该实例是合法的。一个网络的解是所有变量的一个合法实例。因此，CSP问题的主要任务是找到约束网络的一个解，或者证明其不存在。