Sciweavers

AICOM
2015

SAC and neighbourhood SAC

7 years 11 months ago
SAC and neighbourhood SAC
This paper introduces a new kind of local consistency based on the general idea of singleton arc consistency (SAC). This is a reduced form of SAC that only considers neighbourhoods of a variable with a singleton domain; hence, the name “neighbourhood SAC” (NSAC). Like AC and SAC, NSAC has a unique fixpoint, so that NSAC algorithms will produce the same result when applied to a problem regardless of the order in which problem elements are processed. Although NSAC is, of course, dominated by full SAC, on many problems these algorithms produce almost as much filtering with significantly less cost. NSAC can also be incorporated into full search, as a maintained neighbourhood SAC algorithm. The implementation of NSAC has also inspired two new SAC algorithms. One is a full SAC algorithm that is somewhat more efficient than the classical SAC-1 algorithm on many problems and is much easier to code than more advanced versions of SAC. The other is a partial SAC procedure that performs al...
Richard J. Wallace
Added 14 Apr 2016
Updated 14 Apr 2016
Type Journal
Year 2015
Where AICOM
Authors Richard J. Wallace
Comments (0)