142 research outputs found
Shorter Labeling Schemes for Planar Graphs
An \emph{adjacency labeling scheme} for a given class of graphs is an algorithm that for every graph from the class, assigns bit strings (labels) to vertices of so that for any two vertices , whether and are adjacent can be determined by a fixed procedure that examines only their labels. It is known that planar graphs with vertices admit a labeling scheme with labels of bit length . In this work we improve this bound by designing a labeling scheme with labels of bit length . In graph-theoretical terms, this implies an explicit construction of a graph on vertices that contains all planar graphs on vertices as induced subgraphs, improving the previous best upper bound of . Our scheme generalizes to graphs of bounded Euler genus with the same label length up to a second-order term. All the labels of the input graph can be computed in polynomial time, while adjacency can be decided from the labels in constant time
Dynamic and Multi-functional Labeling Schemes
We investigate labeling schemes supporting adjacency, ancestry, sibling, and
connectivity queries in forests. In the course of more than 20 years, the
existence of labeling schemes supporting each of these
functions was proven, with the most recent being ancestry [Fraigniaud and
Korman, STOC '10]. Several multi-functional labeling schemes also enjoy lower
or upper bounds of or
respectively. Notably an upper bound of for
adjacency+siblings and a lower bound of for each of the
functions siblings, ancestry, and connectivity [Alstrup et al., SODA '03]. We
improve the constants hidden in the -notation. In particular we show a lower bound for connectivity+ancestry and
connectivity+siblings, as well as an upper bound of for connectivity+adjacency+siblings by altering existing
methods.
In the context of dynamic labeling schemes it is known that ancestry requires
bits [Cohen, et al. PODS '02]. In contrast, we show upper and lower
bounds on the label size for adjacency, siblings, and connectivity of
bits, and to support all three functions. There exist efficient
adjacency labeling schemes for planar, bounded treewidth, bounded arboricity
and interval graphs. In a dynamic setting, we show a lower bound of
for each of those families.Comment: 17 pages, 5 figure
Graph product structure for non-minor-closed classes
Dujmovi\'c et al. (FOCS 2019) recently proved that every planar graph is a
subgraph of the strong product of a graph of bounded treewidth and a path.
Analogous results were obtained for graphs of bounded Euler genus or
apex-minor-free graphs. These tools have been used to solve longstanding
problems on queue layouts, non-repetitive colouring, -centered colouring,
and adjacency labelling. This paper proves analogous product structure theorems
for various non-minor-closed classes. One noteable example is -planar graphs
(those with a drawing in the plane in which each edge is involved in at most
crossings). We prove that every -planar graph is a subgraph of the
strong product of a graph of treewidth and a path. This is the first
result of this type for a non-minor-closed class of graphs. It implies, amongst
other results, that -planar graphs have non-repetitive chromatic number
upper-bounded by a function of . All these results generalise for drawings
of graphs on arbitrary surfaces. In fact, we work in a much more general
setting based on so-called shortcut systems that are of independent interest.
This leads to analogous results for map graphs, string graphs, graph powers,
and nearest neighbour graphs.Comment: v2 Cosmetic improvements and a corrected bound for
(layered-)(tree)width in Theorems 2, 9, 11, and Corollaries 1, 3, 4, 6, 12.
v3 Complete restructur
Notes on Graph Product Structure Theory
It was recently proved that every planar graph is a subgraph of the strong
product of a path and a graph with bounded treewidth. This paper surveys
generalisations of this result for graphs on surfaces, minor-closed classes,
various non-minor-closed classes, and graph classes with polynomial growth. We
then explore how graph product structure might be applicable to more broadly
defined graph classes. In particular, we characterise when a graph class
defined by a cartesian or strong product has bounded or polynomial expansion.
We then explore graph product structure theorems for various geometrically
defined graph classes, and present several open problems.Comment: 19 pages, 0 figure
Parameterized Approximation Algorithms for Bidirected Steiner Network Problems
The Directed Steiner Network (DSN) problem takes as input a directed
edge-weighted graph and a set of
demand pairs. The aim is to compute the cheapest network for
which there is an path for each . It is known
that this problem is notoriously hard as there is no
-approximation algorithm under Gap-ETH, even when parametrizing
the runtime by [Dinur & Manurangsi, ITCS 2018]. In light of this, we
systematically study several special cases of DSN and determine their
parameterized approximability for the parameter .
For the bi-DSN problem, the aim is to compute a planar
optimum solution in a bidirected graph , i.e., for every edge
of the reverse edge exists and has the same weight. This problem
is a generalization of several well-studied special cases. Our main result is
that this problem admits a parameterized approximation scheme (PAS) for . We
also prove that our result is tight in the sense that (a) the runtime of our
PAS cannot be significantly improved, and (b) it is unlikely that a PAS exists
for any generalization of bi-DSN, unless FPT=W[1].
One important special case of DSN is the Strongly Connected Steiner Subgraph
(SCSS) problem, for which the solution network needs to strongly
connect a given set of terminals. It has been observed before that for SCSS
a parameterized -approximation exists when parameterized by [Chitnis et
al., IPEC 2013]. We give a tight inapproximability result by showing that for
no parameterized -approximation algorithm exists under
Gap-ETH. Additionally we show that when restricting the input of SCSS to
bidirected graphs, the problem remains NP-hard but becomes FPT for
- …