Minimum Cost Homomorphisms to Reflexive Digraphs

From MaRDI portal
Publication:5458527




Abstract: For digraphs G and H, a homomorphism of G to H is a mapping f:V(G)domV(H) such that uvinA(G) implies f(u)f(v)inA(H). If moreover each vertex uinV(G) is associated with costs ci(u),iinV(H), then the cost of a homomorphism f is sumuinV(G)cf(u)(u). For each fixed digraph H, the {em minimum cost homomorphism problem} for H, denoted MinHOM(H), is the following problem. Given an input digraph G, together with costs ci(u), uinV(G), iinV(H), and an integer k, decide if G admits a homomorphism to H of cost not exceeding k. We focus on the minimum cost homomorphism problem for {em reflexive} digraphs H (every vertex of H has a loop). It is known that the problem MinHOM(H) is polynomial time solvable if the digraph H has a {em Min-Max ordering}, i.e., if its vertices can be linearly ordered by < so that i<j,s<r and ir,jsinA(H) imply that isinA(H) and jrinA(H). We give a forbidden induced subgraph characterization of reflexive digraphs with a Min-Max ordering; our characterization implies a polynomial time test for the existence of a Min-Max ordering. Using this characterization, we show that for a reflexive digraph H which does not admit a Min-Max ordering, the minimum cost homomorphism problem is NP-complete. Thus we obtain a full dichotomy classification of the complexity of minimum cost homomorphism problems for reflexive digraphs.



Cites work







This page was built for publication: Minimum Cost Homomorphisms to Reflexive Digraphs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5458527)