Ac3 Puts Back On The Queue Every Arc Xk Xi

AC-3 puts back on the queue every arc (Xk, Xi) whenever any value is deleted from the domain of Xi, even if each value of Xk is consistent with several remaining values of X. Suppose that, for every arc (Xk, Xi), we keep track of the number of remaining values of Xk that are consistent with each value of Xk. Explain how to update these numbers efficiently and hence show that arc consistency can he enforced in total time O (n2d2).

Posted in Uncategorized