English
Related papers

Related papers: Counting Homomorphisms to Square-Free Graphs, Modu…

200 papers

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

A bipartite graph is chordal bipartite if every cycle of length at least six has a chord in it. M$\ddot{\rm u}$ller \cite {muller1996Hamiltonian} has shown that the Hamiltonian cycle problem is NP-complete on chordal bipartite graphs by…

Discrete Mathematics · Computer Science 2021-07-13 S. Aadhavan , R. Mahendra Kumar , P. Renjith , N. Sadagopan

We study the problems of counting the homomorphisms, counting the copies, and counting the induced copies of a $k$-vertex graph $H$ in a $d$-degenerate $n$-vertex graph $G$. Our main result establishes exhaustive and explicit complexity…

Computational Complexity · Computer Science 2021-06-02 Marco Bressan , Marc Roth

A theta is a graph consisting of two non-adjacent vertices and three internally disjoint paths between them, each of length at least two. For a family $\mathcal{H}$ of graphs, we say a graph $G$ is $\mathcal{H}$-free if no induced subgraph…

Combinatorics · Mathematics 2022-09-09 Tara Abrishami , Maria Chudnovsky , Sepehr Hajebi , Sophie Spirkl

A graph is $H$-free if it has no induced subgraph isomorphic to $H$. Brandst\"adt, Engelfriet, Le and Lozin proved that the class of chordal graphs with independence number at most 3 has unbounded clique-width. Brandst\"adt, Le and Mosca…

Discrete Mathematics · Computer Science 2015-09-29 Andreas Brandstädt , Konrad K. Dabrowski , Shenwei Huang , Daniël Paulusma

For a fixed graph H, the H-Recoloring problem asks whether for two given homomorphisms from a graph G to H, we can transform one into the other by changing the image of a single vertex of G in each step and maintaining a homomorphism from G…

Discrete Mathematics · Computer Science 2022-05-20 Benjamin Lévêque , Moritz Mühlenthaler , Thomas Suzan

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

In this paper we study several problems concerning the number of homomorphisms of trees. We give an algorithm for the number of homomorphisms from a tree to any graph by the Transfer-matrix method. By using this algorithm and some…

Combinatorics · Mathematics 2013-07-26 Péter Csikvári , Zhicong Lin

A graph is called $P_t$-free if it does not contain the path on $t$ vertices as an induced subgraph. Let $H$ be a multigraph with the property that any two distinct vertices share at most one common neighbour. We show that the generating…

Discrete Mathematics · Computer Science 2019-03-25 Carla Groenland , Karolina Okrasa , Pawel Rzążewski , Alex Scott , Paul Seymour , Sophie Spirkl

It is well known [Lov\'asz, 67] that up to isomorphism a graph~$G$ is determined by the homomorphism counts $\hom(F, G)$, i.e., the number of homomorphisms from $F$ to $G$, where $F$ ranges over all graphs. Thus, in principle, we can answer…

Computational Complexity · Computer Science 2023-04-21 Yijia Chen , Jörg Flum , Mingjun Liu , Zhiyang Xun

Given two graphs $H_1$ and $H_2$, a graph $G$ is $(H_1,H_2)$-free if it contains no subgraph isomorphic to $H_1$ or $H_2$. We continue a recent study into the clique-width of $(H_1,H_2)$-free graphs and present three new classes of…

Discrete Mathematics · Computer Science 2015-01-14 Konrad K. Dabrowski , Shenwei Huang , Daniël Paulusma

A graph $H$ is said to be positive if the homomorphism density $t_H(G)$ is non-negative for all weighted graphs $G$. The positive graph conjecture proposes a characterisation of such graphs, saying that a graph is positive if and only if it…

Combinatorics · Mathematics 2024-04-29 David Conlon , Joonkyung Lee , Leo Versteegen

We describe an algorithm for the exhaustive generation of non-isomorphic graphs with a given number $k \ge 0$ of hamiltonian cycles, which is especially efficient for small $k$. Our main findings, combining applications of this algorithm…

Combinatorics · Mathematics 2019-07-16 Jan Goedgebeur , Barbara Meersman , Carol T. Zamfirescu

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

For graphs $G$ and $H$, an $H$-coloring of $G$ is an edge-preserving mapping from $V(G)$ to $V(H)$. In the $H$-Coloring problem the graph $H$ is fixed and we ask whether an instance graph $G$ admits an $H$-coloring. A generalization of this…

Combinatorics · Mathematics 2022-05-27 Michał Dębski , Zbigniew Lonc , Karolina Okrasa , Marta Piecyk , Paweł Rzążewski

We prove a conjecture of Sintiari and Trotignon that every even-hole-free graph of sufficiently large treewidth contains a four-vertex induced subgraph with at least five edges (that is, either the four-vertex complete graph or the unique…

Combinatorics · Mathematics 2025-10-08 Bogdan Alecu , Maria Chudnovsky , Sepehr Hajebi , Sophie Spirkl

The goal of this work is to give precise bounds on the counting complexity of a family of generalized coloring problems (list homomorphisms) on bounded-treewidth graphs. Given graphs $G$, $H$, and lists $L(v)\subseteq V(H)$ for every $v\in…

Computational Complexity · Computer Science 2021-11-01 Jacob Focke , Dániel Marx , Paweł Rzążewski

A locally surjective homomorphism from a graph $G$ to a graph $H$ is an edge-preserving mapping from $V(G)$ to $V(H)$ that is surjective in the neighborhood of each vertex in $G$. In the list locally surjective homomorphism problem, denoted…

Data Structures and Algorithms · Computer Science 2024-01-11 Pavel Dvořák , Monika Krawczyk , Tomáš Masařík , Jana Novotná , Paweł Rzążewski , Aneta Żuk

This thesis investigates the central role of homomorphism problems (structure-preserving maps) in two complementary domains: database querying over finite, graph-shaped data, and constraint solving over (potentially infinite) structures.…

Logic in Computer Science · Computer Science 2025-10-10 Rémi Morvan

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