English
Related papers

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

200 papers

For every fixed graph $H$, it is known that homomorphism counts from $H$ and colorful $H$-subgraph counts can be determined in $O(n^{t+1})$ time on $n$-vertex input graphs $G$, where $t$ is the treewidth of $H$. On the other hand, a running…

Computational Complexity · Computer Science 2025-05-30 C. S. Bhargav , Shiteng Chen , Radu Curticapean , Prateek Dwivedi

We show that for every fixed undirected graph $H$, there is a $O(|V(G)|^3)$ time algorithm that tests, given a graph $G$, if $G$ contains $H$ as a topological subgraph (that is, a subdivision of $H$ is subgraph of $G$). This shows that…

Data Structures and Algorithms · Computer Science 2015-03-17 Martin Grohe , Ken-ichi Kawarabayashi , Dániel Marx , Paul Wollan

${ NP}$-complete problem "Hamiltonian cycle"\ for graph $G=(V,E)$ is extended to the "Hamiltonian Complement of the Graph"\ problem of finding the minimal cardinality set $H$ containing additional edges so that graph $G=(V,E\cup H)$ is…

Computational Complexity · Computer Science 2018-08-27 Anatoly Panyukov

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

The problem of extending partial geometric graph representations such as plane graphs has received considerable attention in recent years. In particular, given a graph $G$, a connected subgraph $H$ of $G$ and a drawing $\mathcal{H}$ of $H$,…

Computational Geometry · Computer Science 2020-07-13 Eduard Eiben , Robert Ganian , Thekla Hamm , Fabian Klute , Martin Nöllenburg

In this paper, we consider the following problem: given a connected graph $G$, can we reduce the domination number of $G$ by one by using only one edge contraction? We show that the problem is $\mathsf{NP}$-hard when restricted to…

Discrete Mathematics · Computer Science 2019-08-06 Esther Galby , Paloma T. Lima , Bernard Ries

We generalize the structure theorem of Robertson and Seymour for graphs excluding a fixed graph $H$ as a minor to graphs excluding $H$ as a topological subgraph. We prove that for a fixed $H$, every graph excluding $H$ as a topological…

Data Structures and Algorithms · Computer Science 2015-03-19 Martin Grohe , Dániel Marx

Given a pair of graphs $\textbf{A}$ and $\textbf{B}$, the problems of deciding whether there exists either a homomorphism or an isomorphism from $\textbf{A}$ to $\textbf{B}$ have received a lot of attention. While graph homomorphism is…

Data Structures and Algorithms · Computer Science 2021-07-08 Silvia Butti , Victor Dalmau

A graph covering projection, also referred to as a locally bijective homomorphism, is a mapping between the vertices and edges of two graphs that preserves incidences and is a local bijection. This concept originates in topological graph…

Discrete Mathematics · Computer Science 2025-07-02 Jan Bok , Jiří Fiala , Nikola Jedličková , Jan Kratochvíl

A full-homomorphism between a pair of graphs is a vertex mapping that preserves adjacencies and non-adjacencies. For a fixed graph $H$, a full $H$-colouring is a full-homomorphism of $G$ to $H$. A minimal $H$-obstruction is a graph that…

Combinatorics · Mathematics 2023-09-18 Santiago Guzmán-Pro

The NP-complete problem Matching Cut is to decide if a graph has a matching that is also an edge cut of the graph. We prove new complexity results for Matching Cut restricted to $H$-free graphs, that is, graphs that do not contain some…

Combinatorics · Mathematics 2022-07-15 Felicia Lucke , Daniël Paulusma , Bernard Ries

We consider the classical problems (Edge) Steiner Tree and Vertex Steiner Tree after restricting the input to some class of graphs characterized by a small set of forbidden induced subgraphs. We show a dichotomy for the former problem…

Data Structures and Algorithms · Computer Science 2020-12-17 Hans Bodlaender , Nick Brettell , Matthew Johnson , Giacomo Paesani , Daniel Paulusma , Erik Jan van Leeuwen

An ordered graph is a graph enhanced with a linear order on the vertex set. An ordered graph is a core if it does not have an order-preserving homomorphism to a proper subgraph. We say that $H$ is the core of $G$ if (i) $H$ is a core, (ii)…

Computational Complexity · Computer Science 2025-12-01 Michal Čertík , Andreas Emil Feldmann , Jaroslav Nešetřil , Paweł Rzążewski

Let $G$ be a graph on $n\geq 3$ vertices. A graph $G$ is almost distance-hereditary if each connected induced subgraph $H$ of $G$ has the property $d_{H}(x,y)\leq d_{G}(x,y)+1$ for any pair of vertices $x,y\in V(H)$. A graph $G$ is called…

Combinatorics · Mathematics 2016-06-13 Bing Chen , Bo Ning

The well-known Disjoint Paths problem is to decide if a graph contains k pairwise disjoint paths, each connecting a different terminal pair from a set of k distinct pairs. We determine, with an exception of two cases, the complexity of the…

Combinatorics · Mathematics 2021-05-14 Walter Kern , Barnaby Martin , Daniël Paulusma , Siani Smith , Erik Jan van Leeuwen

We consider constrained variants of graph homomorphisms such as embeddings, monomorphisms, full homomorphisms, surjective homomorpshims, and locally constrained homomorphisms. We also introduce a new variation on this theme which derives…

Combinatorics · Mathematics 2014-04-23 Yangjing Long

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

Discrete Mathematics · Computer Science 2007-10-16 Arvind Gupta , Pavol Hell , Mehdi Karimi , Arash Rafiey

The $k$-Colouring problem is to decide if the vertices of a graph can be coloured with at most $k$ colours for a fixed integer $k$ such that no two adjacent vertices are coloured alike. If each vertex u must be assigned a colour from a…

Data Structures and Algorithms · Computer Science 2026-02-19 Tereza Klimošová , Josef Malík , Tomáš Masařík , Jana Novotná , Daniël Paulusma , Veronika Slívová

Digraphs H for which the list homomorphism problem with template H (LHOM(H)) is in logspace (L) was characterized by Egri et al. (SODA 2014): LHOM(H) is in L if and only if H does not contain a circular N (assuming L is different from NL).…

Computational Complexity · Computer Science 2015-10-27 Laszlo Egri

For a class $\mathcal{G}$ of graphs, the objective of \textsc{Subgraph Complementation to} $\mathcal{G}$ is to find whether there exists a subset $S$ of vertices of the input graph $G$ such that modifying $G$ by complementing the subgraph…

Data Structures and Algorithms · Computer Science 2023-03-29 Dhanyamol Antony , Sagartanu Pal , R. B. Sandeep
‹ Prev 1 8 9 10 Next ›