Computational Complexity of the Extended Minimum Cost Homomorphism Problem on Three-Element Domains

Computational Complexity of the Extended Minimum Cost Homomorphism Problem on Three-Element Domains
复制标题

三元域上扩展的最小成本同态问题的计算复杂度

DOI:
--
复制
发表时间:
2014
期刊:
Symposium on Theoretical Aspects of Computer Science
影响因子:
--
通讯作者:
Hannes Uppman
Hannes Uppman
中科院分区:
--
文献类型:
--
作者:
Hannes Uppman

文献摘要

参考文献

被引文献

相似文献

In this paper we study the computational complexity of the extended minimum cost homomorphism problem (Min-Cost-Hom) as a function of a constraint language, i.e. a set of constraint relations and cost functions that are allowed to appear in instances. A wide range of natural combinatorial optimisation problems can be expressed as extended Min-Cost-Homs and a classification of their complexity would be highly desirable, both from a direct, applied point of view as well as from a theoretical perspective. The extended Min-Cost-Hom can be understood either as a flexible optimisation version of the constraint satisfaction problem (CSP) or a restriction of the (general-valued) valued constraint satisfaction problem (VCSP). Other optimisation versions of CSPs such as the minimum solution problem (Min-Sol) and the minimum ones problem (Min-Ones) are special cases of the extended Min-Cost-Hom. The study of VCSPs has recently seen remarkable progress. A complete classification for the complexity of finite-valued languages on arbitrary finite domains has been obtained in [Thapper and Zivny, STOC'13]. However, understanding the complexity of languages that are not finite-valued appears to be more difficult. The extended Min-Cost-Hom allows us to study problematic languages of this type without having to deal with with the full generality of the VCSP. A recent classification for the complexity of three-element by Min-Sol [Uppman, ICALP'13], takes a step in this direction. In this paper we generalise this result considerably by determining the complexity of three-element extended Min-Cost-Hom.
DOI: 10.1137/130906398
发表时间: 2013
影响因子: 1.6
作者:
Cohen D
通讯作者: Cohen D
偏斜双子模性和有价值的 CSP
DOI: 10.1137/120893549
发表时间: 2014
影响因子: 1.6
作者:
Huber A
通讯作者: Huber A