English
Related papers

Related papers: Optimal local certification on graphs of bounded p…

200 papers

The metric dimension of a graph is the minimum size of a set of vertices such that each vertex is uniquely determined by the distances to the vertices of that set. Our aim is to upper-bound the order $n$ of a graph in terms of its diameter…

We show that for a number of parameterized problems for which only $2^{O(k)} n^{O(1)}$ time algorithms are known on general graphs, subexponential parameterized algorithms with running time $2^{O(k^{1-\frac{1}{1+\delta}} \log^2 k)}…

Data Structures and Algorithms · Computer Science 2016-10-26 Dániel Marx , Marcin Pilipczuk

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

Boettcher, Schacht and Taraz gave a condition on the minimum degree of a graph G on n vertices that ensures G contains every r-chromatic graph H on n vertices of bounded degree and of bandwidth o(n), thereby proving a conjecture of Bollobas…

Combinatorics · Mathematics 2012-09-06 Fiachra Knox , Andrew Treglown

We consider several problems related to packing forests in graphs. The first one is to find $k$ edge-disjoint forests in a directed graph $G$ of maximal size such that the indegree of each vertex in these forests is at most $k$. We describe…

Data Structures and Algorithms · Computer Science 2026-01-26 Pavel Arkhipov , Vladimir Kolmogorov

A graph $G$ is said to have \textit{bandwidth} at most $b$, if there exists a labeling of the vertices by $1,2,..., n$, so that $|i - j| \leq b$ whenever $\{i,j\}$ is an edge of $G$. Recently, B\"{o}ttcher, Schacht, and Taraz verified a…

Combinatorics · Mathematics 2015-03-17 Hao Huang , Choongbum Lee , Benny Sudakov

Exact pattern matching in labeled graphs is the problem of searching paths of a graph $G=(V,E)$ that spell the same string as the given pattern $P[1..m]$. This basic problem can be found at the heart of more complex operations on variation…

Computational Complexity · Computer Science 2019-02-12 Massimo Equi , Roberto Grossi , Alexandru I. Tomescu , Veli Mäkinen

The conjecture of Bollob\'as and Koml\'os, recently proved by B\"ottcher, Schacht, and Taraz [Math. Ann. 343(1), 175--205, 2009], implies that for any $\gamma>0$, every balanced bipartite graph on $2n$ vertices with bounded degree and…

Combinatorics · Mathematics 2011-07-28 Julia Böttcher , Peter Christian Heinig , Anusch Taraz

A variant of the Erd\H{o}s-S\'os conjecture, posed by Havet, Reed, Stein and Wood, states that every graph with minimum degree at least $\lfloor 2k/3 \rfloor$ and maximum degree at least $k$ contains a copy of every tree with $k$ edges.…

Combinatorics · Mathematics 2025-12-19 Alexey Pokrovskiy , Leo Versteegen , Ella Williams

The last five years of research on distributed graph algorithms have seen huge leaps of progress, both regarding algorithmic improvements and impossibility results: new strong lower bounds have emerged for many central problems and…

Data Structures and Algorithms · Computer Science 2025-01-08 Sebastian Brandt , Yannic Maus , Ananth Narayanan , Florian Schager , Jara Uitto

The Subgraph Isomorphism problem is of considerable importance in computer science. We examine the problem when the pattern graph H is of bounded treewidth, as occurs in a variety of applications. This problem has a well-known algorithm via…

Data Structures and Algorithms · Computer Science 2021-05-12 Karl Bringmann , Jasper Slusallek

We consider how to assign labels to any undirected graph with n nodes such that, given the labels of two nodes and no other information regarding the graph, it is possible to determine the distance between the two nodes. The challenge in…

Data Structures and Algorithms · Computer Science 2015-04-20 Stephen Alstrup , Cyril Gavoille , Esben Bistrup Halvorsen , Holger Petersen

Alon, Seymour and Thomas [1990] proved that every $n$-vertex graph excluding $K_t$ as a minor has treewidth less than $t^{3/2}\sqrt{n}$. Illingworth, Scott and Wood [2022] recently refined this result by showing that every such graph is a…

We present two new and efficient algorithms for computing all-pairs shortest paths. The algorithms operate on directed graphs with real (possibly negative) weights. They make use of directed path consistency along a vertex ordering d. Both…

Data Structures and Algorithms · Computer Science 2014-01-21 Léon R. Planken , Mathijs M. de Weerdt , Roman P. J. van der Krogt

We consider a monotone submodular maximization problem whose constraint is described by a logic formula on a graph. Formally, we prove the following three `algorithmic metatheorems.' (1) If the constraint is specified by a monadic…

Data Structures and Algorithms · Computer Science 2018-07-13 Masakazu Ishihata , Takanori Maehara , Tomas Rigaux

Classes with bounded rankwidth are MSO-transductions of trees and classes with bounded linear rankwidth are MSO-transductions of paths -- a result that shows a strong link between the properties of these graph classes considered from the…

Logic in Computer Science · Computer Science 2019-09-05 Jaroslav Nesetril , Patrice Ossona de Mendez , Roman Rabinovich , Sebastian Siebertz

Detecting specific structures in a network has been a very active theme of research in distributed computing for at least a decade. In this paper, we start the study of subgraph detection from the perspective of local certification.…

Distributed, Parallel, and Cluster Computing · Computer Science 2024-10-07 Nicolas Bousquet , Linda Cook , Laurent Feuilloley , Théo Pierron , Sébastien Zeitoun

We prove that any $n$-node graph $G$ with diameter $D$ admits shortcuts with congestion $O(\delta D \log n)$ and dilation $O(\delta D)$, where $\delta$ is the maximum edge-density of any minor of $G$. Our proof is simple, elementary, and…

Data Structures and Algorithms · Computer Science 2020-08-10 Mohsen Ghaffari , Bernhard Haeupler

A map graph is a graph admitting a representation in which vertices are nations on a spherical map and edges are shared curve segments or points between nations. We present an explicit fixed-parameter tractable algorithm for recognizing map…

Data Structures and Algorithms · Computer Science 2022-07-01 Patrizio Angelini , Michael A. Bekos , Giordano Da Lozzo , Martin Gronemann , Fabrizio Montecchiani , Alessandra Tappini

We give a simple, greedy $O(n^{\omega+0.5})=O(n^{2.872})$-time algorithm to list-decode planted cliques in a semirandom model introduced in [CSV17] (following [FK01]) that succeeds whenever the size of the planted clique is $k\geq…

Data Structures and Algorithms · Computer Science 2024-10-10 Jarosław Błasiok , Rares-Darius Buhai , Pravesh K. Kothari , David Steurer