English
Related papers

Related papers: The Complexity of Counting Surjective Homomorphism…

200 papers

A retraction is a homomorphism from a graph $G$ to an induced subgraph $H$ of $G$ that is the identity on $H$. In a long line of research, retractions have been studied under various algorithmic settings. Recently, the problem of…

Computational Complexity · Computer Science 2021-07-20 Jacob Focke , Leslie Ann Goldberg , Stanislav Živný

Counting graph homomorphisms and its generalizations such as the Counting Constraint Satisfaction Problem (CSP), its variations, and counting problems in general have been intensively studied since the pioneering work of Valiant. While the…

Computational Complexity · Computer Science 2025-10-02 Andrei A. Bulatov , Amirhossein Kazeminia

Many important graph theoretic notions can be encoded as counting graph homomorphism problems, such as partition functions in statistical physics, in particular, independent sets and colourings. In this article we study the complexity of…

Computational Complexity · Computer Science 2018-04-24 Andreas Göbel , J. A. Gregor Lagodzinski , Karen Seidel

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

In this paper, we study the graph classification problem from the graph homomorphism perspective. We consider the homomorphisms from $F$ to $G$, where $G$ is a graph of interest (e.g. molecules or social networks) and $F$ belongs to some…

Machine Learning · Computer Science 2020-07-03 Hoang NT , Takanori Maehara

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 the present paper we show a dichotomy theorem for the complexity of polynomial evaluation. We associate to each graph H a polynomial that encodes all graphs of a fixed size homomorphic to H. We show that this family is computable by…

Computational Complexity · Computer Science 2012-10-30 Nicolas de Rugy-Altherre

We survey known results about the complexity of surjective homomorphism problems, studied in the context of related problems in the literature such as list homomorphism, retraction and compaction. In comparison with these problems,…

Computational Complexity · Computer Science 2011-09-27 Manuel Bodirsky , Jan Kara , Barnaby Martin

We study the problem of counting the number of homomorphisms from an input graph $G$ to a fixed (quantum) graph $\bar{H}$ in any finite field of prime order $\mathbb{Z}_p$. The subproblem with graph $H$ was introduced by Faben and Jerrum…

Computational Complexity · Computer Science 2022-08-19 J. A. Gregor Lagodzinski , Andreas Göbel , Katrin Casel , Tobias Friedrich

A signed graph is a graph together with an assignment of signs to the edges. A closed walk in a signed graph is said to be positive (negative) if it has an even (odd) number of negative edges, counting repetition. Recognizing the signs of…

Combinatorics · Mathematics 2021-06-16 Reza Naserasr , Eric Sopena , Thomas Zaslavsky

A homomorphism from a graph $G$ to a graph $H$ is an edge-preserving mapping from $V(G)$ to $V(H)$. For a fixed graph $H$, in the list homomorphism problem, denoted by LHom($H$), we are given a graph $G$, whose every vertex $v$ is equipped…

Computational Complexity · Computer Science 2022-02-04 Karolina Okrasa , Paweł Rzążewski

We study two computational problems, parameterised by a fixed tree H. #HomsTo(H) is the problem of counting homomorphisms from an input graph G to H. #WHomsTo(H) is the problem of counting weighted homomorphisms to H, given an input graph G…

Computational Complexity · Computer Science 2014-06-16 Leslie Ann Goldberg , Mark Jerrum

For a fixed graph $H$ and for arbitrarily large host graphs $G$, the number of homomorphisms from $H$ to $G$ and the number of subgraphs isomorphic to $H$ contained in $G$ have been extensively studied in extremal graph theory and graph…

Combinatorics · Mathematics 2021-07-05 Chun-Hung Liu

We study the problem of computing the parity of the number of homomorphisms from an input graph $G$ to a fixed graph $H$. Faben and Jerrum [ToC'15] introduced an explicit criterion on the graph $H$ and conjectured that, if satisfied, the…

Computational Complexity · Computer Science 2022-07-04 Jacob Focke , Leslie Ann Goldberg , Marc Roth , Stanislav Živný

Several possible definitions of local injectivity for a homomorphism of an oriented graph $G$ to an oriented graph $H$ are considered. In each case, we determine the complexity of deciding whether there exists such a homomorphism when $G$…

Combinatorics · Mathematics 2022-07-27 Russell J. Campbell , Nancy E. Clarke , Gary MacGillivray

For simple graphs $G$ and $H$, the Hom complex $\mathrm{Hom}(G,H)$ is a polyhedral complex whose vertices are the graph homomorphisms $G\to H$ and whose edges connect the pairs of homomorphisms which differ in a single vertex of $G$. Hom…

Combinatorics · Mathematics 2025-09-08 Soichiro Fujii , Yuni Iwamasa , Kei Kimura , Yuta Nozaki , Akira Suzuki

We consider the following problem for a fixed graph H: given a graph G and two H-colorings of G, i.e. homomorphisms from G to H, can one be transformed (reconfigured) into the other by changing one color at a time, maintaining an H-coloring…

Computational Complexity · Computer Science 2017-03-28 Marcin Wrochna

We consider the $\#\mathsf{W}[1]$-hard problem of counting all matchings with exactly $k$ edges in a given input graph $G$; we prove that it remains $\#\mathsf{W}[1]$-hard on graphs $G$ that are line graphs or bipartite graphs with degree…

Computational Complexity · Computer Science 2018-01-22 Radu Curticapean , Holger Dell , Marc Roth

This paper concerns rigidity of the mapping class groups. We show that any homomorphism $\phi:{\rm Mod}_g\to {\rm Mod}_h$ between mapping class groups of closed orientable surfaces with distinct genera $g>h$ is trivial if $g\geq 3$ and has…

Geometric Topology · Mathematics 2007-05-23 William Harvey , Mustafa Korkmaz

Homomorphically full graphs are those for which every homomorphic image is isomorphic to a subgraph. We extend the definition of homomorphically full to oriented graphs in two different ways. For the first of these, we show that…

Discrete Mathematics · Computer Science 2024-02-14 Thomas Bellitto , Christopher Duffy , Gary MacGillivray