Abstract
Thapper and Živný [STOC’13] recently classified the complexity of VCSP for all finite-valued constraint languages. However, the complexity of VCSPs for constraint languages that are not finite-valued remains poorly understood. In this paper we study the complexity of two such VCSPs, namely Min-Cost-Hom and Min-Sol. We obtain a full classification for the complexity of Min-Sol on domains that contain at most three elements and for the complexity of conservative Min-Cost-Hom on arbitrary finite domains. Our results answer a question raised by Takhanov [STACS’10, COCOON’10].
A longer version of this paper is available at http://arxiv.org/abs/1301.0027
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
Bulatov, A.: A dichotomy theorem for constraint satisfaction problems on a 3-element set. J. ACM 53(1), 66–120 (2006)
Bulatov, A., Jeavons, P., Krokhin, A.: Classifying the complexity of constraints using finite algebras. SIAM J. Comput. 34(3), 720–742 (2005)
Cohen, D.A., Cooper, M.C., Jeavons, P.G.: An algebraic characterisation of complexity for valued constraint. In: Benhamou, F. (ed.) CP 2006. LNCS, vol. 4204, pp. 107–121. Springer, Heidelberg (2006)
Cohen, D.A., Cooper, M.C., Jeavons, P.G., Krokhin, A.: The complexity of soft constraint satisfaction. Artif. Intell. 170(11), 983–1016 (2006)
Cohen, D.A., Creed, P., Jeavons, P.G., Živný, S.: An algebraic theory of complexity for valued constraints: Establishing a galois connection. In: Murlak, F., Sankowski, P. (eds.) MFCS 2011. LNCS, vol. 6907, pp. 231–242. Springer, Heidelberg (2011)
Gutin, G., Rafiey, A., Yeo, A., Tso, M.: Level of repair analysis and minimum cost homomorphisms of graphs. Discrete Appl. Math. 154(6), 881–889 (2006)
Jeavons, P.G., Cohen, D.A., Gyssens, M.: Closure properties of constraints. J. ACM 44(4), 527–548 (1997)
Jeavons, P.G., Cohen, D.A., Gyssens, M.: How to determine the expressive power of constraints. Constraints 4, 113–131 (1999)
Jonsson, P., Kuivinen, F., Nordh, G.: MAX ONES generalized to larger domains. SIAM J. Comput. 38(1), 329–365 (2008)
Jonsson, P., Kuivinen, F., Thapper, J.: Min CSP on four elements: Moving beyond submodularity. In: Lee, J. (ed.) CP 2011. LNCS, vol. 6876, pp. 438–453. Springer, Heidelberg (2011)
Jonsson, P., Nordh, G.: Introduction to the Maximum Solution problem. In: Creignou, N., Kolaitis, P.G., Vollmer, H. (eds.) Complexity of Constraints. LNCS, vol. 5250, pp. 255–282. Springer, Heidelberg (2008)
Jonsson, P., Nordh, G.: Approximability of clausal constraints. Theor. Comput. Syst. 46(2), 370–395 (2010)
Jonsson, P., Nordh, G., Thapper, J.: The maximum solution problem on graphs. In: Kučera, L., Kučera, A. (eds.) MFCS 2007. LNCS, vol. 4708, pp. 228–239. Springer, Heidelberg (2007)
Khanna, S., Sudan, M., Trevisan, L., Williamson, D.P.: The approximability of constraint satisfaction problems. SIAM J. Comput. 30(6), 1863–1920 (2001)
Kolmogorov, V., Živný, S.: The complexity of conservative valued CSPs. In: Proc. 23rd SODA, pp. 750–759 (2012); Full version: arXiv:1110.2809 [cs.CC]
Kuivinen, F.: Algorithms and Hardness Results for Some Valued CSPs. PhD thesis, Linköping University, The Institute of Technology (2009)
Schrijver, A.: Theory of Linear and Integer Programming. John Wiley & Sons, Inc., New York (1986)
Takhanov, R.: A dichotomy theorem for the general minimum cost homomorphism problem. In: Proc. 27th STACS, pp. 657–668 (2010); Full version: arXiv:0708.3226 [cs.LG]
Takhanov, R.: Extensions of the minimum cost homomorphism problem. In: Thai, M.T., Sahni, S. (eds.) COCOON 2010. LNCS, vol. 6196, pp. 328–337. Springer, Heidelberg (2010); Full version: arXiv:1210.2260 [cs.CC]
Thapper, J., Živný, S.: The power of linear programming for valued CSPs. In: Proc. 53rd FOCS (2012) (to appear); Preprint: arXiv:1204.1079 [cs.CC]
Thapper, J., Živný, S.: The complexity of finite-valued CSPs. In: Proc. 45th STOC (to appear, 2013); Preprint: arXiv:1210.2987 [cs.CC]
Zhang, C.Q.: Finding critical independent sets and critical vertex subsets are polynomial problems. SIAM J. Discrete Math. 3(3), 431–438 (1990)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Uppman, H. (2013). The Complexity of Three-Element Min-Sol and Conservative Min-Cost-Hom. In: Fomin, F.V., Freivalds, R., Kwiatkowska, M., Peleg, D. (eds) Automata, Languages, and Programming. ICALP 2013. Lecture Notes in Computer Science, vol 7965. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-39206-1_68
Download citation
DOI: https://doi.org/10.1007/978-3-642-39206-1_68
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-39205-4
Online ISBN: 978-3-642-39206-1
eBook Packages: Computer ScienceComputer Science (R0)