基于冲突跳远的冲突集排序

Question

如果在回溯过程中变量X_j出现冲突，则基于冲突的回跳从X_j，conf(X_j)的冲突集跳到最近的节点X_i。

此外，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}

吸收后的顺序是什么？

Answer 1

根据普罗瑟，订单为conf(X_i).union(conf(X_j))。