backtracking - 基于冲突的回跳中的冲突集排序

Question

如果在回溯过程中变量 存在冲突，则基于冲突的回跳会从 , 的冲突集中X_j跳转到最近的节点。X_iX_jconf(X_j)

此外，X_i 吸收的冲突集X_j，即

conf(X_i) = conf(X_i) U conf(X_j) - {X_i}

如果两个冲突集之间有重叠会发生什么？在这种情况下，吸收是如何工作的？

例如

conf(X_i) = {X_1, X_2, X_3}
conf(X_j) = {X_4, X_5, X_3, X_i}

吸收后的顺序是什么？

标签： backtrackingconstraint-programming

Answer 1

根据prosser，顺序为 conf(X_i).union(conf(X_j))。