Если во время обратного отслеживания возникает конфликт в переменной X_j, обратный переход на основе конфликта переходит к самому последнему узлу X_i из набора конфликтов X_j, conf(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}
Каким будет порядок после поглощения?