English
Related papers

Related papers: Quickly excluding an annotated planar graph

200 papers

Graph neural networks have been successful in many learning problems and real-world applications. A recent line of research explores the power of graph neural networks to solve combinatorial and graph algorithmic problems such as subgraph…

Machine Learning · Computer Science 2021-08-20 Reyan Ahmed , Md Asadullah Turja , Faryad Darabi Sahneh , Mithun Ghosh , Keaton Hamm , Stephen Kobourov

Twin-width is a structural width parameter introduced by Bonnet, Kim, Thomass\'e and Watrigant [FOCS 2020], and has interesting applications in the areas of logic on graphs and in parameterized algorithmics. Very briefly, the essence of…

Combinatorics · Mathematics 2023-12-08 Petr Hliněný , Jan Jedelský

A graph has tree-width at most $k$ if it can be obtained from a set of graphs each with at most $k+1$ vertices by a sequence of clique sums. We refine this definition by, for each non-negative integer $\theta$, defining the…

Combinatorics · Mathematics 2016-09-30 Jim Geelen , Benson Joeris

We study a special case of the Steiner Tree problem in which the input graph does not have a minor model of a complete graph on 4 vertices for which all branch sets contain a terminal. We show that this problem can be solved in $O(n^4)$…

Data Structures and Algorithms · Computer Science 2024-10-10 Carla Groenland , Jesper Nederlof , Tomohiro Koana

We characterize classes of graphs closed under taking vertex-minors and having no $P_n$ and no disjoint union of $n$ copies of the $1$-subdivision of $K_{1,n}$ for some $n$. Our characterization is described in terms of a tree of radius $2$…

Combinatorics · Mathematics 2021-01-19 O-joung Kwon , Sang-il Oum

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

Given an undirected, edge-weighted graph G together with pairs of vertices, called pairs of terminals, the minimum multicut problem asks for a minimum-weight set of edges such that, after deleting these edges, the two terminals of each pair…

Data Structures and Algorithms · Computer Science 2016-11-24 Éric Colin de Verdière

Given a planar graph $G$ and an integer $b$, OrthogonalPlanarity is the problem of deciding whether $G$ admits an orthogonal drawing with at most $b$ bends in total. We show that OrthogonalPlanarity can be solved in polynomial time if $G$…

Computational Geometry · Computer Science 2019-08-15 Emilio Di Giacomo , Giuseppe Liotta , Fabrizio Montecchiani

Twin-width is a newly introduced graph width parameter that aims at generalizing a wide range of "nicely structured" graph classes. In this work, we focus on obtaining good bounds on twin-width $\text{tww}(G)$ for graphs $G$ from a number…

Discrete Mathematics · Computer Science 2022-01-25 Hugo Jacob , Marcin Pilipczuk

A graph is rectilinear planar if it admits a planar orthogonal drawing without bends. While testing rectilinear planarity is NP-hard in general (Garg and Tamassia, 2001), it is a long-standing open problem to establish a tight upper bound…

Data Structures and Algorithms · Computer Science 2023-06-23 Walter Didimo , Michael Kaufmann , Giuseppe Liotta , Giacomo Ortali

A subset of vertices of a graph is minimal if, within all subsets of the same size, its vertex boundary is minimal. We give a complete, geometric characterization of minimal sets for the planar integer lattice X. Our characterization…

Combinatorics · Mathematics 2020-09-28 Radhika Gupta , Ivan Levcovitz , Alexander Margolis , Emily Stark

We prove that there is a randomized polynomial-time algorithm that given an edge-weighted graph $G$ excluding a fixed-minor $Q$ on $n$ vertices and an accuracy parameter $\varepsilon>0$, constructs an edge-weighted graph~$H$ and an…

Data Structures and Algorithms · Computer Science 2023-04-17 Vincent Cohen-Addad , Hung Le , Marcin Pilipczuk , Michał Pilipczuk

Graph-based semantic representations are valuable in natural language processing, where it is often simple and effective to represent linguistic concepts as nodes, and relations as edges between them. Several attempts has been made to find…

Formal Languages and Automata Theory · Computer Science 2021-05-10 Johanna Björklund , Frank Drewes , Anna Jonsson

For every $r \in \mathbb{N}$, let $\theta_r$ denote the graph with two vertices and $r$ parallel edges. The $\theta_r$-girth of a graph $G$ is the minimum number of edges of a subgraph of $G$ that can be contracted to $\theta_r$. This…

Combinatorics · Mathematics 2017-01-19 Dimitris Chatzidimitriou , Jean-Florent Raymond , Ignasi Sau , Dimitrios M. Thilikos

In the Disjoint Paths problem, the input consists of an $n$-vertex graph $G$ and a collection of $k$ vertex pairs, $\{(s_i,t_i)\}_{i=1}^k$, and the objective is to determine whether there exists a collection $\{P_i\}_{i=1}^k$ of $k$…

Data Structures and Algorithms · Computer Science 2020-08-20 Daniel Lokshtanov , Saket Saurabh , Meirav Zehavi

Classes of graphs with bounded expansion are a generalization of both proper minor closed classes and degree bounded classes. Such classes are based on a new invariant, the greatest reduced average density (grad) of G with rank r,…

Combinatorics · Mathematics 2007-05-23 Jaroslav Nesetril , Patrice Ossona De Mendez

We obtain upper bounds, independent of the ambient dimension, for the number of realizable zero-nonzero patterns and (over ordered fields) sign conditions of a finite family of polynomials $\mathcal P$ restricted to an algebraic subset $V$…

Combinatorics · Mathematics 2026-01-05 Saugata Basu , Laxmi Parida

A graph $G$ contains a graph $H$ as an induced minor if $H$ can be obtained from $G$ by vertex deletions and edge contractions. The class of $H$-induced-minor-free graphs generalizes the class of $H$-minor-free graphs, but unlike…

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

A new, constructive proof with a small explicit constant is given to the Erd\H{o}s-Pyber theorem which says that the edges of a graph on $n$ vertices can be partitioned into complete bipartite subgraphs so that every vertex is covered at…

Combinatorics · Mathematics 2013-11-21 László Csirmaz , Péter Ligeti , Gábor Tardos

In the $\mathcal{F}$-Minor-Free Deletion problem one is given an undirected graph $G$, an integer $k$, and the task is to determine whether there exists a vertex set $S$ of size at most $k$, so that $G-S$ contains no graph from the finite…

Data Structures and Algorithms · Computer Science 2021-10-06 Huib Donkers , Bart M. P. Jansen , Michał Włodarczyk