arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 0708.2545cs.DMcs.DS
收藏

具有可能圈的半完全有向图的最小代价同态问题的复杂性

Complexity of the Minimum Cost Homomorphism Problem for Semicomplete Digraphs with Possible Loops

E. J. Kim, G. Gutin

摘要:

对于有向图$D$和$H$,如果$uv\in A(D)$蕴涵$f(u)f(v)\in A(H).$,则映射$f: V(D)\dom V(H)$是$D$到$H$的同态。对于固定有向图$H$,同态问题是判定输入有向图$D$是否允许与$H$同态,记为HOM($H$)。同态问题的一个优化版本是由国防后勤中的一个现实问题激发的,并在\cite{gutinDAM154a}中引入。如果每个顶点$u \in V(D)$与成本$c_i(u), i \in V(H)$相关联,则同态$f$的成本是$\sum_{u\in V(D)}c_{f(u)}(u)$。对于每个固定有向图$H$,我们有{ \em} $H$的最小代价同态问题,并将其表示为MinHOM($H$)。问题是,对于一个输入图$D$与成本$c_i(u),$ $u \in V(D), i\in V(H)$,是否存在一个同态$D$ $H$,如果存在,找到一个最小的成本。虽然有向图$H$的MinHOM($H$)复杂度的完全二分法分类仍然是一个未解决的问题,但当$H$是半完全有向图\cite{gutinDAM154b}和半完全多部有向图\cite{gutinDAM}时,证明了MinHOM($H$)的完全二分法分类.在这些研究中,假设有向图$H$是无环的。本文给出了可能有圈的半完全有向图的完全二分分类,解决了\cite{gutinRMS}中的一个问题。\footnote{This paper was submitted to SIAM J. Discrete Math. on October 27, 2006}

英文摘要:

For digraphs $D$ and $H$, a mapping $f: V(D)\dom V(H)$ is a homomorphism of $D$ to $H$ if $uv\in A(D)$ implies $f(u)f(v)\in A(H).$ For a fixed digraph $H$, the homomorphism problem is to decide whether an input digraph $D$ admits a homomorphism to $H$ or not, and is denoted as HOM($H$). An optimization version of the homomorphism problem was motivated by a real-world problem in defence logistics and was introduced in \cite{gutinDAM154a}. If each vertex $u \in V(D)$ is associated with costs $c_i(u), i \in V(H)$, then the cost of the homomorphism $f$ is $\sum_{u\in V(D)}c_{f(u)}(u)$. For each fixed digraph $H$, we have the {\em minimum cost homomorphism problem for} $H$ and denote it as MinHOM($H$). The problem is to decide, for an input graph $D$ with costs $c_i(u),$ $u \in V(D), i\in V(H)$, whether there exists a homomorphism of $D$ to $H$ and, if one exists, to find one of minimum cost. Although a complete dichotomy classification of the complexity of MinHOM($H$) for a digraph $H$ remains an unsolved problem, complete dichotomy classifications for MinHOM($H$) were proved when $H$ is a semicomplete digraph \cite{gutinDAM154b}, and a semicomplete multipartite digraph \cite{gutinDAM}. In these studies, it is assumed that the digraph $H$ is loopless. In this paper, we present a full dichotomy classification for semicomplete digraphs with possible loops, which solves a problem in \cite{gutinRMS}.\footnote{This paper was submitted to SIAM J. Discrete Math. on October 27, 2006}

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑