English
Related papers

Related papers: Dichotomies for Tree Minor Containment with Struct…

200 papers

A graph $G$ covers a graph $H$ if there exists a locally bijective homomorphism from $G$ to $H$. We deal with regular covers where this homomorphism is prescribed by the action of a semiregular subgroup of $\textrm{Aut}(G)$. We study…

Discrete Mathematics · Computer Science 2017-01-31 Jiří Fiala , Pavel Klavík , Jan Kratochvíl , Roman Nedela

We give an analog of the Myhill-Nerode methods from formal language theory for hypergraphs and use it to derive the following results for two NP-hard hypergraph problems: * We provide an algorithm for testing whether a hypergraph has…

Discrete Mathematics · Computer Science 2016-01-12 René van Bevern , Rodney G. Downey , Michael R. Fellows , Serge Gaspers , Frances A. Rosamond

We consider the NP-hard Tree Containment problem that has important applications in phylogenetics. The problem asks if a given leaf-labeled network contains a subdivision of a given leaf-labeled tree. We develop a fast algorithm for the…

Computational Complexity · Computer Science 2017-02-22 Mathias Weller

The bidimensionality of a set of vertices $X$ in a graph $G$ is the maximum $k$ for which $G$ contains as a $X$-rooted minor the $(k \times k)$-grid. This notion allows for the following version of the Graph Minors Structure Theorem (GMST)…

Combinatorics · Mathematics 2026-05-27 Dimitrios M. Thilikos , Sebastian Wiederrecht

The Subtree Isomorphism problem asks whether a given tree is contained in another given tree. The problem is of fundamental importance and has been studied since the 1960s. For some variants, e.g., ordered trees, near-linear time algorithms…

Computational Complexity · Computer Science 2015-10-16 Amir Abboud , Arturs Backurs , Thomas Dueholm Hansen , Virginia Vassilevska Williams , Or Zamir

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

The general communication tree embedding problem is the problem of mapping a set of communicating terminals, represented by a graph G, into the set of vertices of some physical network represented by a tree T. In the case where the vertices…

Computational Complexity · Computer Science 2016-01-13 Saber Mirzaei

In line with the recent development in topological graph theory, we are considering undirected graphs that are allowed to contain {\em multiple edges}, {\em loops}, and {\em semi-edges}. A graph is called {\em simple} if it contains no…

Discrete Mathematics · Computer Science 2023-12-12 Jan Bok , Jiří Fiala , Nikola Jedličková , Jan Kratochvíl , Paweł Rzążewski

A natural way of increasing our understanding of NP-complete graph problems is to restrict the input to a special graph class. Classes of $H$-free graphs, that is, graphs that do not contain some graph $H$ as an induced subgraph, have…

Data Structures and Algorithms · Computer Science 2022-04-19 Christoph Brause , Petr Golovach , Barnaby Martin , Daniël Paulusma , Siani Smith

Reachability and shortest path problems are NL-complete for general graphs. They are known to be in L for graphs of tree-width 2 [JT07]. However, for graphs of tree-width larger than 2, no bound better than NL is known. In this paper, we…

Computational Complexity · Computer Science 2010-02-03 Bireswar Das , Samir Datta , Prajakta Nimbhorkar

Temporal graphs are a special class of graphs for which a temporal component is added to edges, that is, each edge possesses a set of times at which it is available and can be traversed. Many classical problems on graphs can be translated…

Data Structures and Algorithms · Computer Science 2025-04-10 Lapo Cioni , Riccardo Dondi , Andrea Marino , Jason Schoeters , Ana Silva

According to the classic Chv{\'{a}}tal's Lemma from 1977, a graph of minimum degree $\delta(G)$ contains every tree on $\delta(G)+1$ vertices. Our main result is the following algorithmic "extension" of Chv\'{a}tal's Lemma: For any…

Data Structures and Algorithms · Computer Science 2023-10-17 Fedor V. Fomin , Petr A. Golovach , Danil Sagunov , Kirill Simonov

We consider the problem of finding a Hamiltonian path or a Hamiltonian cycle with precedence constraints in the form of a partial order on the vertex set. We show that the path problem is $\mathsf{NP}$-complete for graphs of pathwidth 4…

Discrete Mathematics · Computer Science 2025-07-01 Jesse Beisegel , Katharina Klost , Kristin Knorr , Fabienne Ratajczak , Robert Scheffler

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

In this paper we study a scheduling problem arising from executing numerical simulations on HPC architectures. With a constant number of parallel machines, the objective is to minimize the makespan under memory constraints for the machines.…

Data Structures and Algorithms · Computer Science 2022-02-18 Eric Angel , Sébastien Morais , Damien Regnault

A graph $G$ is said to be a `set graph' if it admits an acyclic orientation that is also `extensional', in the sense that the out-neighborhoods of its vertices are pairwise distinct. Equivalently, a set graph is the underlying graph of the…

Discrete Mathematics · Computer Science 2015-03-20 Martin Milanič , Romeo Rizzi , Alexandru I. Tomescu

Phylogenetic networks are a generalization of phylogenetic trees to leaf-labeled directed acyclic graphs that represent ancestral relationships between species whose past includes non-tree-like events such as hybridization and horizontal…

Combinatorics · Mathematics 2021-04-13 Janosch Döcker , Simone Linz , Charles Semple

Given a graph $G(V,E)$, a vertex subset $S$ of $G$ is called an open packing in $G$ if no pair of distinct vertices in $S$ have a common neighbour in $G$. The size of a largest open packing in $G$ is called the open packing number,…

Discrete Mathematics · Computer Science 2024-07-15 M. A. Shalu , V. K. Kirubakaran

An elimination tree of a connected graph $G$ is a rooted tree on the vertices of $G$ obtained by choosing a root $v$ and recursing on the connected components of $G-v$ to obtain the subtrees of $v$. The graph associahedron of $G$ is a…

Data Structures and Algorithms · Computer Science 2026-03-24 Luís Felipe I. Cunha , Ignasi Sau , Uéverton S. Souza , Mario Valencia-Pabon

Permutation Pattern Matching (PPM) is the problem of deciding for a given pair of permutations P and T whether the pattern P is contained in the text T. Bose, Buss and Lubiw showed that PPM is NP-complete. In view of this result, it is…

Combinatorics · Mathematics 2020-08-12 Vít Jelínek , Michal Opler , Jakub Pekárek