English
Related papers

Related papers: Complexity of the list homomorphism problem in her…

200 papers

Bir\'{o}, Hujter, and Tuza introduced the concept of $H$-graphs (1992), intersection graphs of connected subgraphs of a subdivision of a graph $H$. They naturally generalize many important classes of graphs, e.g., interval graphs and…

Discrete Mathematics · Computer Science 2017-06-05 Steven Chaplick , Peter Zeman

For digraphs $D$ and $H$, a mapping $f: V(D)\dom V(H)$ is a {\em homomorphism of $D$ to $H$} if $uv\in A(D)$ implies $f(u)f(v)\in A(H).$ For a fixed directed or undirected graph $H$ and an input graph $D$, the problem of verifying whether…

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

We study the problem HomsTo$H$ of counting, modulo 2, the homomorphisms from an input graph to a fixed undirected graph $H$. A characteristic feature of modular counting is that cancellations make wider classes of instances tractable than…

Computational Complexity · Computer Science 2015-08-27 Andreas Göbel , Leslie Ann Goldberg , David Richerby

The Hom complex ${\rm Hom}(T,G)$ of graphs is a CW-complex associated to a pair of graphs $T$ and $G$, considered in the graph coloring problem. It is known that certain homotopy invariants of ${\rm Hom}(T,G)$ give lower bounds for the…

Combinatorics · Mathematics 2017-08-01 Takahiro Matsushita

We prove a complexity dichotomy theorem for a class of Holant problems on planar 3-regular bipartite graphs. The complexity dichotomy states that for every weighted constraint function $f$ defining the problem (the weights can even be…

Computational Complexity · Computer Science 2023-03-30 Jin-Yi Cai , Austen Z. Fan

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

The Colouring problem asks whether the vertices of a graph can be coloured with at most $k$ colours for a given integer $k$ in such a way that no two adjacent vertices receive the same colour. A graph is $(H_1,H_2)$-free if it has no…

Computational Complexity · Computer Science 2017-12-08 Konrad Dabrowski , Daniel Paulusma

The Induced Graph Matching problem asks to find k disjoint induced subgraphs isomorphic to a given graph H in a given graph G such that there are no edges between vertices of different subgraphs. This problem generalizes the classical…

Discrete Mathematics · Computer Science 2014-02-11 Danny Hermelin , Matthias Mnich , Erik Jan van Leeuwen

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 closure of a graph $G$ is the graph $G^*$ obtained from $G$ by repeatedly adding edges between pairs of non-adjacent vertices whose degree sum is at least $n$, where $n$ is the number of vertices of $G$. The well-known Closure Lemma…

Combinatorics · Mathematics 2023-11-30 Chinh T. Hoang , Cleophee Robin

Minimum cost homomorphism problems can be viewed as a generalization of list homomorphism problems. They also extend two well-known graph colouring problems: the minimum colour sum problem and the optimum cost chromatic partition problem.…

Computational Complexity · Computer Science 2016-08-23 Pavol Hell , Mayssam Mohammadi Nevisi

For a connected graph, the Hamiltonian cycle (path) is a simple cycle (path) that spans all the vertices in the graph. It is known from \cite{muller,garey} that HAMILTONIAN CYCLE (PATH) are NP-complete in general graphs and chordal…

Discrete Mathematics · Computer Science 2018-09-18 P. Kowsika , V. Divya , N. Sadagopan

Given a class of graphs $\mathcal{H}$, the problem $\oplus\mathsf{Sub}(\mathcal{H})$ is defined as follows. The input is a graph $H\in \mathcal{H}$ together with an arbitrary graph $G$. The problem is to compute, modulo $2$, the number of…

Computational Complexity · Computer Science 2023-10-12 Leslie Ann Goldberg , Marc Roth

We study the complexity of a generic hitting problem H-Subgraph Hitting, where given a fixed pattern graph $H$ and an input graph $G$, the task is to find a set $X \subseteq V(G)$ of minimum size that hits all subgraphs of $G$ isomorphic to…

Data Structures and Algorithms · Computer Science 2014-11-18 Marek Cygan , Dániel Marx , Marcin Pilipczuk , Michał Pilipczuk

In 1992 Bir\'{o}, Hujter and Tuza introduced, for every fixed connected graph $H$, the class of $H$-graphs, defined as the intersection graphs of connected subgraphs of some subdivision of $H$. Recently, quite a lot of research has been…

Given finite simple graphs $G$ and $H$, the Hom complex $\mathrm{Hom}(G,H)$ is a polyhedral complex having the graph homomorphisms $G\to H$ as the vertices. We determine the homotopy type of each connected component of $\mathrm{Hom}(G,H)$…

Combinatorics · Mathematics 2025-09-16 Soichiro Fujii , Kei Kimura , Yuta Nozaki

Subgraph counting is a fundamental and well-studied problem whose computational complexity is well understood. Quite surprisingly, the hypergraph version of subgraph counting has been almost ignored. In this work, we address this gap by…

Computational Complexity · Computer Science 2025-06-18 Marco Bressan , Julian Brinkmann , Holger Dell , Marc Roth , Philip Wellnitz

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

A graph G is a homomorphic preimage of another graph H, or equivalently G is H-colorable, if there exists a graph homomorphism from G to H. A classic problem is to characterize the family of homomorphic preimages of a given graph H. A…

Combinatorics · Mathematics 2024-06-13 Sally Cockburn

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