English
Related papers

Related papers: Restricted Space Algorithms for Isomorphism on Bou…

200 papers

In this paper, we give a constructive proof of the fact that the treewidth of a graph is at most its divisorial gonality. The proof gives a polynomial time algorithm to construct a tree decomposition of width at most $k$, when an effective…

Discrete Mathematics · Computer Science 2020-05-13 Hans L. Bodlaender , Josse van Dobben de Bruyn , Dion Gijswijt , Harry Smit

In this paper we resolve the complexity of the isomorphism problem on all but finitely many of the graph classes characterized by two forbidden induced subgraphs. To this end we develop new techniques applicable for the structural and…

Discrete Mathematics · Computer Science 2014-11-10 Pascal Schweitzer

The induced matching width of a tree decomposition of a graph $G$ is the cardinality of a largest induced matching $M$ of $G$, such that there exists a bag that intersects every edge in $M$. The induced matching treewidth of a graph $G$,…

Data Structures and Algorithms · Computer Science 2025-07-11 Hans L. Bodlaender , Fedor V. Fomin , Tuukka Korhonen

Decompositional parameters such as treewidth are commonly used to obtain fixed-parameter algorithms for NP-hard graph problems. For problems that are W[1]-hard parameterized by treewidth, a natural alternative would be to use a suitable…

Data Structures and Algorithms · Computer Science 2022-03-01 Cornelius Brand , Esra Ceylan , Christian Hatschka , Robert Ganian , Viktoriia Korchemna

We investigate how efficiently a well-studied family of domination-type problems can be solved on bounded-treewidth graphs. For sets $\sigma,\rho$ of non-negative integers, a $(\sigma,\rho)$-set of a graph $G$ is a set $S$ of vertices such…

Computational Complexity · Computer Science 2025-04-22 Jacob Focke , Dániel Marx , Fionn Mc Inerney , Daniel Neuen , Govind S. Sankar , Philipp Schepper , Philip Wellnitz

We present a logspace algorithm that constructs a canonical intersection model for a given proper circular-arc graph, where `canonical' means that models of isomorphic graphs are equal. This implies that the recognition and the isomorphism…

Computational Complexity · Computer Science 2013-12-06 Johannes Köbler , Sebastian Kuhnert , Oleg Verbitsky

In recent years many algorithms have been developed for finding patterns in graphs and networks. A disadvantage of these algorithms is that they use subgraph isomorphism to determine the support of a graph pattern; subgraph isomorphism is a…

Data Structures and Algorithms · Computer Science 2015-03-19 Anton Dries , Siegfried Nijssen

The treewidth of a graph is an important invariant in structural and algorithmic graph theory. This paper studies the treewidth of line graphs. We show that determining the treewidth of the line graph of a graph $G$ is equivalent to…

Combinatorics · Mathematics 2014-09-25 Daniel J. Harvey , David R. Wood

We describe a polynomial-time algorithm which, given a graph $G$ with treewidth $t$, approximates the pathwidth of $G$ to within a ratio of $O(t\sqrt{\log t})$. This is the first algorithm to achieve an $f(t)$-approximation for some…

Data Structures and Algorithms · Computer Science 2023-03-13 Carla Groenland , Gwenaël Joret , Wojciech Nadara , Bartosz Walczak

We give an algorithm that takes as input an $n$-vertex graph $G$ and an integer $k$, runs in time $2^{O(k^2)} n^{O(1)}$, and outputs a tree decomposition of $G$ of width at most $k$, if such a decomposition exists. This resolves the…

Data Structures and Algorithms · Computer Science 2023-08-21 Tuukka Korhonen , Daniel Lokshtanov

A commonly studied means of parameterizing graph problems is the deletion distance from triviality (Guo et al. 2004), which counts vertices that need to be deleted from a graph to place it in some class for which efficient algorithms are…

Data Structures and Algorithms · Computer Science 2014-10-17 Jannis Bulian , Anuj Dawar

We resolve the computational complexity of Graph Isomorphism for classes of graphs characterized by two forbidden induced subgraphs $H_1$ and $H_2$ for all but six pairs $(H_1,H_2)$. Schweitzer had previously shown that the number of open…

Discrete Mathematics · Computer Science 2019-09-04 Marthe Bonamy , Nicolas Bousquet , Konrad K. Dabrowski , Matthew Johnson , Daniël Paulusma , Théo Pierron

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

We introduce the tree distance, a new distance measure on graphs. The tree distance can be computed in polynomial time with standard methods from convex optimization. It is based on the notion of fractional isomorphism, a characterization…

Discrete Mathematics · Computer Science 2021-04-30 Jan Böker

Treewidth is a graph parameter that plays a fundamental role in several structural and algorithmic results. We study the problem of decomposing a given graph $G$ into node-disjoint subgraphs, where each subgraph has sufficiently large…

Data Structures and Algorithms · Computer Science 2013-04-08 Chandra Chekuri , Julia Chuzhoy

This paper presents the novel `uniqueness tree' algorithm, as one possible method for determining whether two finite, undirected graphs are isomorphic. We prove that the algorithm has polynomial time complexity in the worst case, and that…

Discrete Mathematics · Computer Science 2016-06-22 Jonathan Gorard

The recently introduced graph parameter tree-cut width plays a similar role with respect to immersions as the graph parameter treewidth plays with respect to minors. In this paper, we provide the first algorithmic applications of tree-cut…

Data Structures and Algorithms · Computer Science 2022-06-03 Robert Ganian , Eun Jung Kim , Stefan Szeider

By a well known result the treewidth of k-outerplanar graphs is at most 3k-1. This paper gives, besides a rigorous proof of this fact, an algorithmic implementation of the proof, i.e. it is shown that, given a k-outerplanar graph G, a tree…

Data Structures and Algorithms · Computer Science 2013-01-25 Ioannis Katsikarelis

In this paper, we show that computing canonical labelings of graphs of bounded rank-width is in $\textsf{TC}^{2}$. Our approach builds on the framework of K\"obler & Verbitsky (CSR 2008), who established the analogous result for graphs of…

Data Structures and Algorithms · Computer Science 2024-04-26 Michael Levet , Puck Rombach , Nicholas Sieger

For any fixed graph $G$, the subgraph isomorphism problem asks whether an $n$-vertex input graph has a subgraph isomorphic to $G$. A well-known algorithm of Alon, Yuster and Zwick (1995) efficiently reduces this to the "colored" version of…

Computational Complexity · Computer Science 2020-11-04 Gregory Rosenthal