Abstract
The length-lex representation for set variables orders all subsets of a given universe of values according to cardinality and lexicography. To achieve length-lex bounds consistency for Knapsack constraints it has been proposed to decompose the constraint into two sum constraints. We provide theoretical and practical evidence which shows that decomposition increases the problem of computing a fixpoint which is intrinsic to the length-lex representation: 1. The fixpoint problem for this domain representation is NP-hard in general. 2. For a tractable sub-family of Knapsack decomposition takes more time than exponential brute-force enumeration. 3. Experimental results on decomposed Knapsack constraints show that exponential-time fixpoint computation is the rule and not some pathological exception.
This work was supported by the National Science Foundation through the Career: Cornflower Project (award number 0644113).
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Bordeaux, L., Hamadi, Y., Vardi, M.Y.: An Analysis of Slow Convergence in Interval Propagation. In: CP, pp. 790–797 (2007)
Cornuejols, G., Dawande, M.: A Class of Hard Small 0-1 Program. In: IPCO, pp. 284–293 (1998)
Gervet, C., Van Hentenryck, P.: Length-lex ordering for set CSPs. In: AAAI (2006)
Malitsky, Y., Sellmann, M., van Hoeve, W.-J.: Length-Lex Bounds Consistency for Knapsack Constraints. In: Stuckey, P.J. (ed.) CP 2008. LNCS, vol. 5202, pp. 266–281. Springer, Heidelberg (2008)
Sellmann, M.: The Practice of Approximated Consistency for Knapsack Constraints. In: AAAI, pp. 179–184 (2004)
Trick, M.: A Dynamic Programming Approach for Consistency and Propagation for Knapsack Constraints. In: CPAIOR, pp. 113–124 (2001)
Yip, J., Van Hentenryck, P.: Length-Lex Bound Consistency for Knapsack Constraints. In: ACM SAC (2009)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Sellmann, M. (2009). On Decomposing Knapsack Constraints for Length-Lex Bounds Consistency. In: Gent, I.P. (eds) Principles and Practice of Constraint Programming - CP 2009. CP 2009. Lecture Notes in Computer Science, vol 5732. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-04244-7_59
Download citation
DOI: https://doi.org/10.1007/978-3-642-04244-7_59
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-04243-0
Online ISBN: 978-3-642-04244-7
eBook Packages: Computer ScienceComputer Science (R0)