English
Related papers

Related papers: Counting and Finding Homomorphisms is Universal fo…

200 papers

Homomorphisms between relational structures are not only fundamental mathematical objects, but are also of great importance in an applied computational context. Indeed, constraint satisfaction problems (CSPs), a wide class of algorithmic…

Computational Complexity · Computer Science 2011-05-23 Martin Grohe , Marc Thurley

We introduce new methods for understanding the topology of $\Hom$ complexes (spaces of homomorphisms between two graphs), mostly in the context of group actions on graphs and posets. We view $\Hom(T,-)$ and $\Hom(-,G)$ as functors from…

Combinatorics · Mathematics 2015-03-13 Anton Dochtermann , Carsten Schultz

Given a graph $G$ and a target graph $H$, an $H$-coloring of $G$ is an adjacency-preserving vertex map from $G$ to $H$. The number of $H$-colorings of $G$, $\hom(G,H)$, has been studied for many classes of $G$ and $H$. In particular,…

Combinatorics · Mathematics 2026-01-01 David Galvin , Phillip Marmorino , Emily McMillon , JD Nir , Amanda Redlich

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

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

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

Recently, Man\v{c}inska and Roberson proved that two graphs $G$ and $G'$ are quantum isomorphic if and only if they admit the same number of homomorphisms from all planar graphs. We extend this result to planar #CSP with any pair of sets…

Discrete Mathematics · Computer Science 2025-09-16 Jin-Yi Cai , Ben Young

We introduce a series of graph decompositions based on the modulator/target scheme of modification problems that enable several algorithmic applications that parametrically extend the algorithmic potential of planarity. In the core of our…

Data Structures and Algorithms · Computer Science 2025-10-17 Fedor V. Fomin , Petr A. Golovach , Laure Morelle , Dimitrios M. Thilikos

Let $p$ be an odd prime. From a simple undirected graph $G$, through the classical procedures of Baer (Trans. Am. Math. Soc., 1938), Tutte (J. Lond. Math. Soc., 1947) and Lov\'asz (B. Braz. Math. Soc., 1989), there is a $p$-group $P_G$ of…

Combinatorics · Mathematics 2020-05-05 Xiaoyu He , Youming Qiao

In this paper, we consider the problem of counting and sampling structures in graphs. We define a class of "edge universal labeling problems"---which include proper $k$-colorings, independent sets, and downsets---and describe simple…

Data Structures and Algorithms · Computer Science 2020-08-20 Christine T. Cheng , Will Rosenbaum

$Hom(G,H)$ is a polyhedral complex defined for any two undirected graphs $G$ and $H$. This construction was introduced by Lov\'asz to give lower bounds for chromatic numbers of graphs. In this paper we initiate the study of the topological…

Combinatorics · Mathematics 2007-05-23 Eric Babson , Dmitry N. Kozlov

Color refinement is an important technique that works very well in practice for the graph isomorphism problem. Tinhofer graphs are the class of graphs for which refinement together with individualization correctly tests graph isomorphism…

Computational Complexity · Computer Science 2026-05-20 Sutanay Bhattacharjee , Ameya Panse , Jayalal Sarma

A graph homomorphism between two graphs is a map from the vertex set of one graph to the vertex set of the other graph, that maps edges to edges. In this note we study the range of a uniformly chosen homomorphism from a graph G to the…

Probability · Mathematics 2007-06-21 Itai Benjamini , Ariel Yadin , Amir Yehudayoff

We investigate a special case of the Induced Subgraph Isomorphism problem, where both input graphs are interval graphs. We show the NP-hardness of this problem, and we prove fixed-parameter tractability of the problem with non-standard…

Data Structures and Algorithms · Computer Science 2010-03-08 Dániel Marx , Ildikó Schlotter

We consider the problem of finding a homomorphism from an input digraph $G$ to a fixed digraph $H$. We show that if $H$ admits a weak near unanimity polymorphism $\phi$ then deciding whether $G$ admits a homomorphism to $H$ (HOM($H$)) is…

Computational Complexity · Computer Science 2020-11-24 Tomas Feder , Jeff Kinne , Ashwin Murali , Arash Rafiey

This paper studies the problem of counting homomorphisms from a bipartite source graph to a bipartite target graph. An exact formula is first derived for the number of homomorphisms from a complete bipartite graph into a general bipartite…

Combinatorics · Mathematics 2025-08-21 Igal Sason

Many problems in extremal graph theory correspond to questions involving homomorphisms into a fixed image graph. Recently, there has been interest in maximizing the number of homomorphisms from graphs with a fixed number of vertices and…

Combinatorics · Mathematics 2016-06-09 Jonathan Cutler , Nicholas Kass

For a graph $H$, the $H$-recolouring problem $\operatorname{Recol}(H)$ asks, for two given homomorphisms from a given graph $G$ to $H$, if one can get between them by a sequence of homomorphisms of $G$ to $H$ in which consecutive…

Combinatorics · Mathematics 2024-03-06 Jae-baek Lee , Jonathan A. Noel , Mark Siggers

A graph $G$ is said to be {\em hom-idempotent} if there is a homomorphism from $G^2$ to $G$, and {\em weakly hom-idempotent} if for some $n \geq 1$ there is a homomorphism from $G^{n+1}$ to $G^n$. Larose et al. [{\em Eur. J. Comb.…

Combinatorics · Mathematics 2016-04-26 Pablo Torres , Mario Valencia-Pabon

We study homomorphism problems of signed graphs. A signed graph is an undirected graph where each edge is given a sign, positive or negative. An important concept for signed graphs is the operation of switching at a vertex, which is to…

Data Structures and Algorithms · Computer Science 2020-12-08 François Dross , Florent Foucaud , Valia Mitsou , Pascal Ochem , Théo Pierron