如果每个变量相对其他变量都是弧相容的,则称该网络是弧相容的。 图2.2.1 弧相容算法AC-3 2.3 路径相容 弧相容可能缩小变量的值域,有时甚至还能找到解(每各变量值域大小都为1时),或者有时发现CSP无解(一些变量的值域大小=0)。 但是弧相容也会失败(比如澳大利亚地图着色问题,如果只有两种颜色,弧相容意义不大),...