Skip to Main content Skip to Navigation

Arc and Path Consistency Revisited

Abstract : Mackworth and Freuder have analyzed the time complexity of several constraint satisfaction algorithms [5]. We present here new algorithms for arc and path consistency and show that the arc consistency algorithm is optimal in time complexity and of the same-order space complexity as the earlier algorithms. A refined solution for the path consistency problem is proposed. However, the space complexity of the path consistency algorithm makes it practicable only for small problems. These algorithms are the result of the synthesis techniques used in Image (a general constraint satisfaction system) and local consistency methods [3].
Document type :
Journal articles
Complete list of metadatas
Contributor : Thoth Team <>
Submitted on : Monday, December 20, 2010 - 8:49:39 AM
Last modification on : Thursday, February 7, 2019 - 2:28:32 PM

Links full text




Roger Mohr, Thomas Henderson. Arc and Path Consistency Revisited. Artificial Intelligence, Elsevier, 1986, 28, pp.225--233. ⟨10.1016/0004-3702(86)90083-4⟩. ⟨inria-00548487⟩



Record views