284 research outputs found

    Dichotomy for tree-structured trigraph list homomorphism problems

    Get PDF
    Trigraph list homomorphism problems (also known as list matrix partition problems) have generated recent interest, partly because there are concrete problems that are not known to be polynomial time solvable or NP-complete. Thus while digraph list homomorphism problems enjoy dichotomy (each problem is NP-complete or polynomial time solvable), such dichotomy is not necessarily expected for trigraph list homomorphism problems. However, in this paper, we identify a large class of trigraphs for which list homomorphism problems do exhibit a dichotomy. They consist of trigraphs with a tree-like structure, and, in particular, include all trigraphs whose underlying graphs are trees. In fact, we show that for these tree-like trigraphs, the trigraph list homomorphism problem is polynomially equivalent to a related digraph list homomorphism problem. We also describe a few examples illustrating that our conditions defining tree-like trigraphs are not unnatural, as relaxing them may lead to harder problems

    Minimum Cost Homomorphisms to Locally Semicomplete and Quasi-Transitive Digraphs

    Full text link
    For digraphs GG and HH, a homomorphism of GG to HH is a mapping $f:\ V(G)\dom V(H)suchthat such that uv\in A(G)implies implies f(u)f(v)\in A(H).If,moreover,eachvertex. If, moreover, each vertex u \in V(G)isassociatedwithcosts is associated with costs c_i(u), i \in V(H),thenthecostofahomomorphism, then the cost of a homomorphism fis is \sum_{u\in V(G)}c_{f(u)}(u).Foreachfixeddigraph. For each fixed digraph H,theminimumcosthomomorphismproblemfor, the minimum cost homomorphism problem for H,denotedMinHOM(, denoted MinHOM(H),canbeformulatedasfollows:Givenaninputdigraph), can be formulated as follows: Given an input digraph G,togetherwithcosts, together with costs c_i(u),, u\in V(G),, i\in V(H),decidewhetherthereexistsahomomorphismof, decide whether there exists a homomorphism of Gto to H$ and, if one exists, to find one of minimum cost. Minimum cost homomorphism problems encompass (or are related to) many well studied optimization problems such as the minimum cost chromatic partition and repair analysis problems. We focus on the minimum cost homomorphism problem for locally semicomplete digraphs and quasi-transitive digraphs which are two well-known generalizations of tournaments. Using graph-theoretic characterization results for the two digraph classes, we obtain a full dichotomy classification of the complexity of minimum cost homomorphism problems for both classes

    Minimum Cost Homomorphisms to Reflexive Digraphs

    Full text link
    For digraphs GG and HH, a homomorphism of GG to HH is a mapping $f:\ V(G)\dom V(H)suchthat such that uv\in A(G)implies implies f(u)f(v)\in A(H).Ifmoreovereachvertex. If moreover each vertex u \in V(G)isassociatedwithcosts is associated with costs c_i(u), i \in V(H),thenthecostofahomomorphism, then the cost of a homomorphism fis is \sum_{u\in V(G)}c_{f(u)}(u).Foreachfixeddigraph. For each fixed digraph H, the {\em minimum cost homomorphism problem} for H,denotedMinHOM(, denoted MinHOM(H),isthefollowingproblem.Givenaninputdigraph), is the following problem. Given an input digraph G,togetherwithcosts, together with costs c_i(u),, u\in V(G),, i\in V(H),andaninteger, and an integer k,decideif, decide if Gadmitsahomomorphismto admits a homomorphism to Hofcostnotexceeding of cost not exceeding k. We focus on the minimum cost homomorphism problem for {\em reflexive} digraphs H(everyvertexof (every vertex of Hhasaloop).ItisknownthattheproblemMinHOM( has a loop). It is known that the problem MinHOM(H)ispolynomialtimesolvableifthedigraph) is polynomial time solvable if the digraph H has a {\em Min-Max ordering}, i.e., if its vertices can be linearly ordered by <sothat so that i<j, s<rand and ir, js \in A(H)implythat imply that is \in A(H)and and jr \in A(H).WegiveaforbiddeninducedsubgraphcharacterizationofreflexivedigraphswithaMin−Maxordering;ourcharacterizationimpliesapolynomialtimetestfortheexistenceofaMin−Maxordering.Usingthischaracterization,weshowthatforareflexivedigraph. 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

    A finer reduction of constraint problems to digraphs

    Full text link
    It is well known that the constraint satisfaction problem over a general relational structure A is polynomial time equivalent to the constraint problem over some associated digraph. We present a variant of this construction and show that the corresponding constraint satisfaction problem is logspace equivalent to that over A. Moreover, we show that almost all of the commonly encountered polymorphism properties are held equivalently on the A and the constructed digraph. As a consequence, the Algebraic CSP dichotomy conjecture as well as the conjectures characterizing CSPs solvable in logspace and in nondeterministic logspace are equivalent to their restriction to digraphs.Comment: arXiv admin note: substantial text overlap with arXiv:1305.203

    On the reduction of the CSP dichotomy conjecture to digraphs

    Full text link
    It is well known that the constraint satisfaction problem over general relational structures can be reduced in polynomial time to digraphs. We present a simple variant of such a reduction and use it to show that the algebraic dichotomy conjecture is equivalent to its restriction to digraphs and that the polynomial reduction can be made in logspace. We also show that our reduction preserves the bounded width property, i.e., solvability by local consistency methods. We discuss further algorithmic properties that are preserved and related open problems.Comment: 34 pages. Article is to appear in CP2013. This version includes two appendices with proofs of claims omitted from the main articl
    • …
    corecore