English
Related papers

Related papers: Digraphs Homomorphism Problems with Maltsev Condit…

200 papers

For graphs $G$ and $H$, a homomorphism from $G$ to $H$ is a function $\varphi \colon V(G) \to V(H)$, which maps vertices adjacent in $G$ to adjacent vertices of $H$. A homomorphism is locally injective if no two vertices with a common…

Discrete Mathematics · Computer Science 2016-08-11 Paweł Rzążewski

In this paper we design {\sf FPT}-algorithms for two parameterized problems. The first is \textsc{List Digraph Homomorphism}: given two digraphs $G$ and $H$ and a list of allowed vertices of $H$ for every vertex of $G$, the question is…

Data Structures and Algorithms · Computer Science 2015-09-25 Eunjung Kim , Christophe Paul , Ignasi Sau , Dimitrios M. Thilikos

We show that the existence of a homomorphism from an $n$-vertex graph $G$ to an $h$-vertex graph $H$ can be decided in time $2^{O(n)}h^{O(1)}$ and polynomial space if $H$ comes from a family of graphs that excludes a topological minor. The…

Computational Complexity · Computer Science 2026-02-27 Clément Carbonnel

The generic homomorphism problem, which asks whether an input graph $G$ admits a homomorphism into a fixed target graph $H$, has been widely studied in the literature. In this article, we provide a fine-grained complexity classification of…

Computational Complexity · Computer Science 2022-10-14 Robert Ganian , Thekla Hamm , Viktoriia Korchemna , Karolina Okrasa , Kirill Simonov

We consider the complexity of finding weighted homomorphisms from intersection graphs of curves (string graphs) with $n$ vertices to a fixed graph $H$. We provide a complete dichotomy for the problem: if $H$ has no two vertices sharing two…

Computational Complexity · Computer Science 2019-06-24 Karolina Okrasa , Paweł Rzążewski

In the deletion version of the list homomorphism problem, we are given graphs G and H, a list L(v) that is a subset of V(H) for each vertex v of G, and an integer k. The task is to decide whether there exists a subset W of V(G) of size at…

Data Structures and Algorithms · Computer Science 2013-08-06 Rajesh Chitnis , Laszlo Egri , Daniel Marx

In this paper we are interested in the fine-grained complexity of deciding whether there is a homomorphism from an input graph $G$ to a fixed graph $H$ (the $H$-Coloring problem). The starting point is that these problems can be viewed as…

Computational Complexity · Computer Science 2024-04-16 Ambroise Baril , Miguel Couceiro , Victor Lagerkvist

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…

Discrete Mathematics · Computer Science 2007-08-21 E. J. Kim , G. Gutin

Counting problems in general and counting graph homomorphisms in particular have numerous applications in combinatorics, computer science, statistical physics, and elsewhere. One of the most well studied problems in this area is…

Computational Complexity · Computer Science 2019-05-28 Amirhossein Kazeminia , Andrei A. Bulatov

Graph homomorphism has been studied intensively. Given an m x m symmetric matrix A, the graph homomorphism function is defined as \[Z_A (G) = \sum_{f:V->[m]} \prod_{(u,v)\in E} A_{f(u),f(v)}, \] where G = (V,E) is any undirected graph. The…

Computational Complexity · Computer Science 2011-10-10 Jin-Yi Cai , Xi Chen , Pinyan Lu

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…

Computational Complexity · Computer Science 2010-09-03 Tomás Feder , Pavol Hell , David G. Schell , Juraj Stacho

The complexity of graph homomorphism problems has been the subject of intense study. It is a long standing open problem to give a (decidable) complexity dichotomy theorem for the partition function of directed graph homomorphisms. In this…

Computational Complexity · Computer Science 2010-08-06 Jin-Yi Cai , Xi Chen

Counting homomorphisms from a graph $H$ into another graph $G$ is a fundamental problem of (parameterized) counting complexity theory. In this work, we study the case where \emph{both} graphs $H$ and $G$ stem from given classes of graphs:…

Computational Complexity · Computer Science 2021-08-04 Marc Roth , Philip Wellnitz

The homomorphism problem for relational structures is an abstract way of formulating constraint satisfaction problems (CSP) and various problems in database theory. The decision version of the homomorphism problem received a lot of…

Computational Complexity · Computer Science 2009-02-10 Andrei A. Bulatov , Victor Dalmau , Martin Grohe , Daniel Marx

The graph homomorphism problem (HOM) asks whether the vertices of a given $n$-vertex graph $G$ can be mapped to the vertices of a given $h$-vertex graph $H$ such that each edge of $G$ is mapped to an edge of $H$. The problem generalizes the…

Data Structures and Algorithms · Computer Science 2015-02-20 Fedor V. Fomin , Alexander Golovnev , Alexander S. Kulikov , Ivan Mihajlin

Given two (di)graphs G, H and a cost function $c:V(G)\times V(H) \to \mathbb{Q}_{\geq 0}\cup\{+\infty\}$, in the minimum cost homomorphism problem, MinHOM(H), goal is finding a homomorphism $f:V(G)\to V(H)$ (a.k.a H-coloring) that minimizes…

Data Structures and Algorithms · Computer Science 2022-11-23 Akbar Rafiey , Arash Rafiey , Thiago Santos

We study the complexity of counting (weighted) planar graph homomorphism problem $\tt{Pl\text{-}GH}(M)$ parametrized by an arbitrary symmetric non-negative real valued matrix $M$. For matrices with pairwise distinct diagonal values, we…

Computational Complexity · Computer Science 2026-02-02 Jin-Yi Cai , Ashwin Maran , Ben Young

A homomorphism from a graph G to a graph H is locally bijective, surjective, or injective if its restriction to the neighborhood of every vertex of G is bijective, surjective, or injective, respectively. We prove that the problems of…

Computational Complexity · Computer Science 2015-10-07 Steven Chaplick , Jiří Fiala , Pim van 't Hof , Daniël Paulusma , Marek Tesař

For graphs $G$ and $H$, a mapping $f: V(G)\dom V(H)$ is a homomorphism of $G$ to $H$ if $uv\in E(G)$ implies $f(u)f(v)\in E(H).$ If, moreover, each vertex $u \in V(G)$ is associated with costs $c_i(u), i \in V(H)$, then the cost of the…

Discrete Mathematics · Computer Science 2007-05-23 G. Gutin , P. Hell , A. Rafiey , A. Yeo

Representing graphs by their homomorphism counts has led to the beautiful theory of homomorphism indistinguishability in recent years. Moreover, homomorphism counts have promising applications in database theory and machine learning, where…

Data Structures and Algorithms · Computer Science 2023-10-16 Jan Böker , Louis Härtel , Nina Runde , Tim Seppelt , Christoph Standke