English
Related papers

Related papers: Fixed-parameter tractable canonization and isomorp…

200 papers

Orienting the edges of an undirected graph such that the resulting digraph satisfies some given constraints is a classical problem in graph theory, with multiple algorithmic applications. In particular, an $st$-orientation orients each edge…

Data Structures and Algorithms · Computer Science 2023-07-11 Carla Binucci , Giuseppe Liotta , Fabrizio Montecchiani , Giacomo Ortali , Tommaso Piselli

Lov\'asz (1967) showed that two graphs $G$ and $H$ are isomorphic if and only if they are homomorphism indistinguishable over the class of all graphs, i.e. for every graph $F$, the number of homomorphisms from $F$ to $G$ equals the number…

Combinatorics · Mathematics 2025-03-13 Martin Grohe , Gaurav Rattan , Tim Seppelt

In the Steiner Tree problem we are given an undirected edge-weighted graph as input, along with a set $K$ of vertices called terminals. The task is to output a minimum-weight connected subgraph that spans all the terminals. The famous…

Data Structures and Algorithms · Computer Science 2024-07-01 Bart M. P. Jansen , Céline M. F. Swennenhuis

The NP-hard general factor problem asks, given a graph and for each vertex a list of integers, whether the graph has a spanning subgraph where each vertex has a degree that belongs to its assigned list. The problem remains NP-hard even if…

Data Structures and Algorithms · Computer Science 2015-03-19 Gregory Gutin , Eun Jung Kim , Arezou Soleimanfallah , Stefan Szeider , Anders Yeo

For all integers $k\geq 3$, we give an $O(n^4)$ time algorithm for the problem whose instance is a graph $G$ of girth at least $k$ together with $k$ vertices and whose question is "Does $G$ contains an induced subgraph containing the $k$…

Discrete Mathematics · Computer Science 2013-09-06 Wei Liu , Nicolas Trotignon

We extend Babai's quasipolynomial-time graph isomorphism test (STOC 2016) and develop a quasipolynomial-time algorithm for the multiple-coset isomorphism problem. The algorithm for the multiple-coset isomorphism problem allows to exploit…

Data Structures and Algorithms · Computer Science 2020-04-21 Daniel Wiebking

We study the classical problem of computing geometric thickness, i.e., finding a straight-line drawing of an input graph and a partition of its edges into as few parts as possible so that each part is crossing-free. Since the problem is…

Computational Complexity · Computer Science 2024-11-26 Thomas Depian , Simon Dominik Fink , Alexander Firbas , Robert Ganian , Martin Nöllenburg

We study the minimum \emph{interval deletion} problem, which asks for the removal of a set of at most $k$ vertices to make a graph of $n$ vertices into an interval graph. We present a parameterized algorithm of runtime $10^k \cdot n^{O(1)}$…

Data Structures and Algorithms · Computer Science 2014-05-07 Yixin Cao , Dániel Marx

To enumerate 3-manifold triangulations with a given property, one typically begins with a set of potential face pairing graphs (also known as dual 1-skeletons), and then attempts to flesh each graph out into full triangulations using an…

Geometric Topology · Mathematics 2014-07-25 Benjamin A. Burton , William Pettersson

Let $G$ be a graph such that each vertex has its list of available colors, and assume that each list is a subset of the common set consisting of $k$ colors. For two given list colorings of $G$, we study the problem of transforming one into…

Data Structures and Algorithms · Computer Science 2017-05-23 Tatsuhiko Hatanaka , Takehiro Ito , Xiao Zhou

We introduce graph width parameters, called $\alpha$-edge-crossing width and edge-crossing width. These are defined in terms of the number of edges crossing a bag of a tree-cut decomposition. They are motivated by edge-cut width, recently…

Data Structures and Algorithms · Computer Science 2025-07-31 Yeonsu Chang , O-joung Kwon , Myounghwan Lee

The notion of treewidth plays an important role in theoretical and practical studies of graph problems. It has been recognized that, especially in practical environments, when computing the treewidth of a graph it is invaluable to first…

Data Structures and Algorithms · Computer Science 2015-03-19 Hans L. Bodlaender , Bart M. P. Jansen , Stefan Kratsch

Vertex deletion and edge deletion problems play a central role in Parameterized Complexity. Examples include classical problems like Feedback Vertex Set, Odd Cycle Transversal, and Chordal Deletion. Interestingly, the study of edge…

Data Structures and Algorithms · Computer Science 2011-04-20 Pinar Heggernes , Pim van 't Hof , Benjamin Lévêque , Daniel Lokshtanov , Christophe Paul

We show that for various classes C of sparse graphs, and several measures of distance to such classes (such as edit distance and elimination distance), the problem of determining the distance of a given graph G to C is fixed-parameter…

Data Structures and Algorithms · Computer Science 2015-02-23 Jannis Bulian , Anuj Dawar

The bandwidth of a $n$-vertex graph $G$ is the smallest integer $b$ such that there exists a bijective function $f : V(G) \rightarrow \{1,...,n\}$, called a layout of $G$, such that for every edge $uv \in E(G)$, $|f(u) - f(v)| \leq b$. In…

Data Structures and Algorithms · Computer Science 2014-05-01 Markus Sortland Dregi , Daniel Lokshtanov

$H$-Packing is the problem of finding a maximum number of vertex-disjoint copies of $H$ in a given graph $G$. $H$-Partition is the special case of finding a set of vertex-disjoint copies that cover each vertex of $G$ exactly once. Our goal…

Data Structures and Algorithms · Computer Science 2025-09-09 Barış Can Esmer , Dániel Marx

Given an undirected graph $G$, a collection $\{(s_1,t_1),..., (s_k,t_k)\}$ of pairs of vertices, and an integer $p$, the Edge Multicut problem ask if there is a set $S$ of at most $p$ edges such that the removal of $S$ disconnects every…

Data Structures and Algorithms · Computer Science 2015-03-17 Dániel Marx , Igor Razgon

We consider the parameterised complexity of several list problems on graphs, with parameter treewidth or pathwidth. In particular, we show that List Edge Chromatic Number and List Total Chromatic Number are fixed parameter tractable,…

Computational Complexity · Computer Science 2016-08-05 Kitty Meeks , Alexander Scott

In the Vertex Planarization problem one asks to delete the minimum possible number of vertices from an input graph to obtain a planar graph. The parameterized complexity of this problem, parameterized by the solution size (the number of…

Data Structures and Algorithms · Computer Science 2015-11-30 Marcin Pilipczuk

A strength of parameterized algorithmics is that each problem can be parameterized by an essentially inexhaustible set of parameters. Usually, the choice of the considered parameter is informed by the theoretical relations between…

Computational Complexity · Computer Science 2026-05-05 Christian Komusiewicz , Nils Morawietz , Frank Sommer , Luca Pascal Staus