{"scopus_import":1,"conference":{"name":"FOCS: Foundations of Computer Science","end_date":"2015-10-20","start_date":"2015-10-18","location":"Berkeley, CA, United States"},"ec_funded":1,"day":"01","status":"public","publisher":"IEEE","related_material":{"record":[{"status":"public","relation":"other","id":"644"}]},"date_updated":"2024-11-04T13:52:41Z","oa_version":"Preprint","project":[{"grant_number":"616160","call_identifier":"FP7","_id":"25FBA906-B435-11E9-9278-68D0E5697425","name":"Discrete Optimization in Computer Vision: Theory and Practice"}],"date_published":"2015-12-01T00:00:00Z","year":"2015","type":"conference","language":[{"iso":"eng"}],"abstract":[{"lang":"eng","text":"An instance of the Valued Constraint Satisfaction Problem (VCSP) is given by a finite set of variables, a finite domain of labels, and a sum of functions, each function depending on a subset of the variables. Each function can take finite values specifying costs of assignments of labels to its variables or the infinite value, which indicates an infeasible assignment. The goal is to find an assignment of labels to the variables that minimizes the sum. We study, assuming that P ≠ NP, how the complexity of this very general problem depends on the set of functions allowed in the instances, the so-called constraint language. The case when all allowed functions take values in {0, ∞} corresponds to ordinary CSPs, where one deals only with the feasibility issue and there is no optimization. This case is the subject of the Algebraic CSP Dichotomy Conjecture predicting for which constraint languages CSPs are tractable (i.e. solvable in polynomial time) and for which NP-hard. The case when all allowed functions take only finite values corresponds to finite-valued CSP, where the feasibility aspect is trivial and one deals only with the optimization issue. The complexity of finite-valued CSPs was fully classified by Thapper and Zivny. An algebraic necessary condition for tractability of a general-valued CSP with a fixed constraint language was recently given by Kozik and Ochremiak. As our main result, we prove that if a constraint language satisfies this algebraic necessary condition, and the feasibility CSP (i.e. the problem of deciding whether a given instance has a feasible solution) corresponding to the VCSP with this language is tractable, then the VCSP is tractable. The algorithm is a simple combination of the assumed algorithm for the feasibility CSP and the standard LP relaxation. As a corollary, we obtain that a dichotomy for ordinary CSPs would imply a dichotomy for general-valued CSPs."}],"citation":{"apa":"Kolmogorov, V., Krokhin, A., &#38; Rolinek, M. (2015). The complexity of general-valued CSPs (pp. 1246–1258). Presented at the FOCS: Foundations of Computer Science, Berkeley, CA, United States: IEEE. <a href=\"https://doi.org/10.1109/FOCS.2015.80\">https://doi.org/10.1109/FOCS.2015.80</a>","chicago":"Kolmogorov, Vladimir, Andrei Krokhin, and Michal Rolinek. “The Complexity of General-Valued CSPs,” 1246–58. IEEE, 2015. <a href=\"https://doi.org/10.1109/FOCS.2015.80\">https://doi.org/10.1109/FOCS.2015.80</a>.","ama":"Kolmogorov V, Krokhin A, Rolinek M. The complexity of general-valued CSPs. In: IEEE; 2015:1246-1258. doi:<a href=\"https://doi.org/10.1109/FOCS.2015.80\">10.1109/FOCS.2015.80</a>","ieee":"V. Kolmogorov, A. Krokhin, and M. Rolinek, “The complexity of general-valued CSPs,” presented at the FOCS: Foundations of Computer Science, Berkeley, CA, United States, 2015, pp. 1246–1258.","ista":"Kolmogorov V, Krokhin A, Rolinek M. 2015. The complexity of general-valued CSPs. FOCS: Foundations of Computer Science, 56th Annual Symposium on Foundations of Computer Science, , 1246–1258.","mla":"Kolmogorov, Vladimir, et al. <i>The Complexity of General-Valued CSPs</i>. IEEE, 2015, pp. 1246–58, doi:<a href=\"https://doi.org/10.1109/FOCS.2015.80\">10.1109/FOCS.2015.80</a>.","short":"V. Kolmogorov, A. Krokhin, M. Rolinek, in:, IEEE, 2015, pp. 1246–1258."},"publist_id":"5518","oa":1,"date_created":"2018-12-11T11:53:10Z","main_file_link":[{"url":"http://arxiv.org/abs/1502.07327","open_access":"1"}],"department":[{"_id":"VlKo"}],"publication_status":"published","alternative_title":["56th Annual Symposium on Foundations of Computer Science"],"page":"1246 - 1258","doi":"10.1109/FOCS.2015.80","title":"The complexity of general-valued CSPs","month":"12","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","quality_controlled":"1","_id":"1637","author":[{"last_name":"Kolmogorov","full_name":"Kolmogorov, Vladimir","first_name":"Vladimir","id":"3D50B0BA-F248-11E8-B48F-1D18A9856A87"},{"first_name":"Andrei","last_name":"Krokhin","full_name":"Krokhin, Andrei"},{"id":"3CB3BC06-F248-11E8-B48F-1D18A9856A87","last_name":"Rolinek","full_name":"Rolinek, Michal","first_name":"Michal"}]}