Partial lazy forward checking

View/Open
Document typeResearch report
Defense date1997-11
Rights accessOpen Access
All rights reserved. This work is protected by the corresponding intellectual and industrial
property rights. Without prejudice to any existing legal exemptions, reproduction, distribution, public
communication or transformation of this work are prohibited without permission of the copyright holder
Abstract
Partial forward checking (PFC) may perform more consistency checks
than really needed to detect dead-ends in MAX-CSP. After analyzing
PFC, we have identified four causes of redundant check computation:
(a) unnecessary lookahead when detecting an empty domain, (b) not
always using the better bounds for future value pruning, (c) computing
in advance inconsistency counts, and (d) lookahead is performed on the
whole set of future variables. We present the partial lazy forward
checking (PLFC) algorithm, which follows a lazy approach delaying as
much as possible inconsistency count computation, keeping updated the
contribution of future variables to the lower bound. This algorithm
avoids the causes of redundant checks identified for PFC. It can be
easily combined with DACs, producing the PLFC-DAC algorithm. Empirical
results on random problems show that PLFC-DAC outperforms previous
algorithms in both consistency checks and CPU time.
CitationLarrosa, J., Meseguer, P. "Partial lazy forward checking". 1997.
Is part ofR97-54
Collections
Files | Description | Size | Format | View |
---|---|---|---|---|
R97-54.pdf | 111,4Kb | View/Open |