Constraints

, Volume 16, Issue 4, pp 372–406

New algorithms for max restricted path consistency

  • Thanasis Balafoutis
  • Anastasia Paparrizou
  • Kostas Stergiou
  • Toby Walsh
Article

DOI: 10.1007/s10601-011-9110-y

Cite this article as:
Balafoutis, T., Paparrizou, A., Stergiou, K. et al. Constraints (2011) 16: 372. doi:10.1007/s10601-011-9110-y

Abstract

Max Restricted Path Consistency (maxRPC) is a local consistency for binary constraints that enforces a higher order of consistency than arc consistency. Despite the strong pruning that can be achieved, maxRPC is rarely used because existing maxRPC algorithms suffer from overheads and redundancies as they can repeatedly perform many constraint checks without triggering any value deletions. In this paper we propose and evaluate techniques that can boost the performance of maxRPC algorithms by eliminating many of these overheads and redundancies. These include the combined use of two data structures to avoid many redundant constraint checks, and the exploitation of residues to quickly verify the existence of supports. Based on these, we propose a number of closely related maxRPC algorithms. The first one, maxRPC3, has optimal O(end3) time complexity, displays good performance when used stand-alone, but is expensive to apply during search. The second one, maxRPC3rm, has O(en2d4) time complexity, but a restricted version with O(end4) complexity can be very efficient when used during search. The other algorithms are simple modifications of maxRPC3rm. All algorithms have O(ed) space complexity when used stand-alone. However, maxRPC3 has O(end) space complexity when used during search, while the others retain the O(ed) complexity. Experimental results demonstrate that the resulting methods constantly outperform previous algorithms for maxRPC, often by large margins, and constitute a viable alternative to arc consistency on some problem classes.

Keywords

Constraint propagationBinary constraintsLocal consistency

Copyright information

© Springer Science+Business Media, LLC 2011

Authors and Affiliations

  • Thanasis Balafoutis
    • 1
  • Anastasia Paparrizou
    • 2
  • Kostas Stergiou
    • 2
  • Toby Walsh
    • 3
  1. 1.Department of Information and Communication Systems EngineeringUniversity of the AegeanMytileneGreece
  2. 2.Department of Informatics and Telecommunications EngineeringUniversity of Western MacedoniaKozaniGreece
  3. 3.NICTAUniversity of New South WalesSydneyAustralia