Abstract
Chapter 3 studies the expressive power of various classes of valued constraints. It contains several results of the following form: let \(\mathcal{C}\) be a class of valued constraints with functions of unbounded arities; then \(\mathcal{C}\) can be expressed by a subset of \(\mathcal{C}\) consisting of valued constraints with functions of a fixed bounded arity. The only known class for which this is not true is the class of finite-valued max-closed functions of different arities. This chapter also presents some results on the algebraic properties of finite-valued max-closed functions.
I just wondered how things were put together.
Claude Shannon
Most of the material in this chapter is reprinted from Theoretical Computer Science, 409(1), D.A. Cohen, P.G. Jeavons, and S. Živný, The Expressive Power of Valued Constraints: Hierarchies and Collapses, 137–153, Copyright (2008), with permission from Elsevier and from Information Processing Letters, 109(11), B. Zanuttini and S. Živný, A Note on Some Collapse Results of Valued Constraints, 534–538, Copyright (2009), with permission from Elsevier.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
This is the only place where we use the condition that |D|≥3.
- 2.
Note that a “finite variant” of ϕ 1, defined by ϕ 1(〈0,1〉)=K for some finite K<∞ and ϕ 1(〈⋅,⋅〉)=0 otherwise, is not max-closed. The infinite cost is necessary.
- 3.
Least common multiple.
References
Böhler, E., Reith, S., Schnoor, H., Vollmer, H.: Bases for Boolean co-clones. Inf. Process. Lett. 96(2), 59–66 (2005)
Boros, E., Hammer, P.L.: Pseudo-Boolean optimization. Discrete Appl. Math. 123(1–3), 155–225 (2002)
Cohen, D.A., Cooper, M.C., Jeavons, P.G., Krokhin, A.A.: The complexity of soft constraint satisfaction. Artif. Intell. 170(11), 983–1016 (2006)
Cohen, D.A., Jeavons, P.G., Živný, S.: The expressive power of valued constraints: hierarchies and collapses. Theor. Comput. Sci. 409(1), 137–153 (2008)
Crama, Y., Hammer, P.L.: Boolean Functions—Theory, Algorithms, and Applications. Cambridge University Press, Cambridge (2011)
Dechter, R.: On the expressiveness of networks with hidden variables. In: Proceedings of the 8th National Conference on Artificial Intelligence (AAAI’90), pp. 556–562 (1990)
Dechter, R., Pearl, J.: Tree clustering for constraint networks. Artif. Intell. 38(3), 353–366 (1989)
Denecke, K., Wismath, S.L.: Universal Algebra and Applications in Theoretical Computer Science. Chapman and Hall/CRC Press, London/Boca Raton (2002)
Fearnley, A.: A strongly rigid binary relation. Acta Sci. Math. (Szeged) 61(1–4), 35–41 (1995)
Garey, M.R., Johnson, D.S.: Computers and Intractability: A Guide to the Theory of NP-Completeness. W.H. Freeman, New York (1979)
Gil, A., Hermann, M., Salzer, G., Zanuttini, B.: Efficient algorithms for description problems over finite totally ordered domains. SIAM J. Comput. 38(3), 922–945 (2008)
Green, M.J., Cohen, D.A.: Domain permutation reduction for constraint satisfaction problems. Artif. Intell. 172(8–9), 1094–1118 (2008)
Hell, P., Nešetřil, J.: Graphs and Homomorphisms. Oxford University Press, London (2004)
Jeavons, P.G., Cooper, M.C.: Tractable constraints on ordered domains. Artif. Intell. 79(2), 327–339 (1995)
Jégou, P.: Decomposition of domains based on the micro-structure of finite constraint-satisfaction problems. In: Proceedings of the 11th National Conference on Artificial Intelligence (AAAI’93), pp. 731–736 (1993)
Larrosa, J., Dechter, R.: On the dual representation of non-binary semiring-based CSPs. In: Workshop on Soft Constraints (CP’00) (2000)
Lewis, H.R.: Renaming a set of clauses as a Horn set. J. ACM 25(1), 134–135 (1978)
Zanuttini, B., Živný, S.: A note on some collapse results of valued constraints. Inf. Process. Lett. 109(11), 534–538 (2009)
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Živný, S. (2012). Expressibility of Fixed-Arity Languages. In: The Complexity of Valued Constraint Satisfaction Problems. Cognitive Technologies. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-33974-5_3
Download citation
DOI: https://doi.org/10.1007/978-3-642-33974-5_3
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-33973-8
Online ISBN: 978-3-642-33974-5
eBook Packages: Computer ScienceComputer Science (R0)