Beyond Singleton Arc Consistency

  • Authors:

  • M. R. C. van Dongen

  • Affiliations:

  • Cork Constraint Computation Centre (4C). 4C is supported by Science Foundation Ireland under Grant 00/PI.1/C075

  • Venue:
  • Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
  • Year:
  • 2006

Quantified Score

Hi-index 0.01

Visualization

Abstract

Shaving algorithms, like singleton arc consistency (SAC), are currently receiving much interest. They remove values which are not part of any solution. This paper proposes an efficient shaving algorithm for enforcing stronger forms of consistency than SAC. The algorithm is based on the notion of weak k-singleton arc consistency, which is equal to sac if k=1 but stronger if k1. This paper defines the notion, explains why it is useful, and presents an algorithm for enforcing it. The algorithm generalises Lecoutre and Cardon's algorithm for establishing sac. Used as pre-processor for MAC it improves the solution time for structured problems. When run standalone for k1, it frequently removes more values than sac at a reasonable time. Our experimental results indicate that at the sac phase transition, it removes many more values than SAC-1 for k=16 in less time. For many problems from the literature the algorithm discovers lucky solutions. Frequently, it returns satisfiable csps which it proves inverse consistent if all values participate in a lucky solution.