国科大中科院算法讲义CSP与传播第六版学案.pptVIP

Arc-consistency 够用么? 例子: 三角形图用两种颜色的染色问题，. arc-consistent? consistent? 它不是 path, 或者3-consistent的. Path-consistency Path-consistency Revise-3 复杂度: O(k^3) 最好情况: O(t) 最坏情况: O(tk) PC-1 复杂度: O(n^3) 个三元组, 每一个花费 O(k^3) 步 ? O(n^3 k^3) 最大的迭代次数: O(n^2 k^2) . PC-2 复杂度: 优化的 PC-4: (每一个被删除的对要增加: 2n-1 个三元组, 对的数目: O(n^2 k^2) ? Q的大小是 O(n^3 k^2), 过程耗时 O(k^3)) 例子: path-consistency前后 PC-1需要对每个 arc做2个处理过程 ， PC-2 不用 Path-definition of path-consistency Path-consistency 算法 应用 Revise-3 (O(k^3)) 直到无变化为止 Path-consistency (3-consistency) 添加了binary constraints. PC-1: PC-2: PC-4 optimal: I-consistency 更高级别的 cons