The following optimization problem was introduced in \cite{gutinDAM}, where it was motivated by a real-world problem in defence logistics. Suppose we are given a pair of digraphs $D,H$ and a positive cost $c_i(u)$ for each $u\in V(D)$ and $i\in V(H)$. The cost of a homomorphism $f$ of $D$ to $H$ is $\sum_{u\in V(D)}c_{f(u)}(u)$. For a fixed digraph $H$, the minimum cost homomorphism problem for $H$, MinHOMP($H$), is stated as follows: For an input digraph $D$ and costs $c_i(u)$ for each $u\in V(D)$ and $i\in V(H)$, verify whether there is a homomorphism of $D$ to $H$ and, if it exists, find such a homomorphism of minimum cost.
We obtain dichotomy classifications of the computational complexity of the list homomorphism problem and MinHOMP($H$), when $H$ is a semicomplete digraph (a digraph in which every two vertices have at least one arc between them). Our dichotomy for the list homomorphism problem coincides with the one obtained by Bang-Jensen, Hell and MacGillivray in 1988 for the homomorphism problem when $H$ is a semicomplete digraph: both problems are polynomial solvable if $H$ has at most one cycle; otherwise, both problems are NP-complete. The dichotomy for \MiP is different: the problem is polynomial time solvable if $H$ is acyclic or $H$ is a cycle of length 2 or 3; otherwise, the problem is NP-hard.
On the Complexity of the Minimum Cost Homomorphism Problem for Reflexive Multipartite Tournaments
对于有向图$D$和$H$,如果$uv\in A(D)$蕴涵$f(u)f(v)\in A(H).$,则映射$f: V(D)\dom V(H)$是$D$到$H$的同态。对于固定有向图$H$,同态问题是判定输入有向图$D$是否允许与$H$同态,记为HOMP($H$)。有向图允许有环,但不允许有平行弧。同态问题的自然优化版本定义如下。如果每个顶点$u \in V(D)$与成本$c_i(u), i \in V(H)$相关联,则同态$f$的成本是$\sum_{u\in V(D)}c_{f(u)}(u)$。对于每一个固定有向图$H$,我们有{ \em最小成本同态问题} $H$,并将其表示为MinHOMP($H$)。问题是对一个代价为$c_i(u),$ $u \in V(D), i\in V(H)$的输入图$D$,判定是否存在一个从$D$到$H$的同态,如果存在,则找出一个最小代价的同态.在最近的一篇论文中,我们提出了一个问题的特征多项式时间可解和NP-困难的情况下的最小成本同态问题的无环多部竞赛可能的循环(w.p.l.)。本文解决了自反多部竞赛图的问题,并证明了这类多部竞赛图w.p.l.问题的一个较好的困难性。使用4阶W.P.L.的非循环3部竞赛图作为例子。\footnote{This paper was submitted to Discrete Mathematics on April 6,…
Complexity of conjunctive regular path query homomorphisms
CNRS(法国国家科学研究中心);Clermont Auvergne INP(克莱蒙奥弗涅国立理工学院);LIMOS(信息与运筹学极限实验室);LACL(计算语言学与应用逻辑实验室);Indian Institute of Technology Madras(马德拉斯印度理工学院);Normandie Univ(诺曼底大学);UNICAEN(卡昂诺曼底大学);ENSICAEN(高等师范学院卡昂分校);GREYC(计算机科学研究与教育混合研究中心)