6,206 research outputs found
Directed Width Parameters and Circumference of Digraphs
We prove that the directed treewidth, DAG-width and Kelly-width of a digraph
are bounded above by its circumference plus one
Circumference and Pathwidth of Highly Connected Graphs
Birmele [J. Graph Theory, 2003] proved that every graph with circumference t
has treewidth at most t-1. Under the additional assumption of 2-connectivity,
such graphs have bounded pathwidth, which is a qualitatively stronger result.
Birmele's theorem was extended by Birmele, Bondy and Reed [Combinatorica, 2007]
who showed that every graph without k disjoint cycles of length at least t has
bounded treewidth (as a function of k and t). Our main result states that,
under the additional assumption of (k + 1)- connectivity, such graphs have
bounded pathwidth. In fact, they have pathwidth O(t^3 + tk^2). Moreover,
examples show that (k + 1)-connectivity is required for bounded pathwidth to
hold. These results suggest the following general question: for which values of
k and graphs H does every k-connected H-minor-free graph have bounded
pathwidth? We discuss this question and provide a few observations.Comment: 11 pages, 4 figure
Defective and Clustered Graph Colouring
Consider the following two ways to colour the vertices of a graph where the
requirement that adjacent vertices get distinct colours is relaxed. A colouring
has "defect" if each monochromatic component has maximum degree at most
. A colouring has "clustering" if each monochromatic component has at
most vertices. This paper surveys research on these types of colourings,
where the first priority is to minimise the number of colours, with small
defect or small clustering as a secondary goal. List colouring variants are
also considered. The following graph classes are studied: outerplanar graphs,
planar graphs, graphs embeddable in surfaces, graphs with given maximum degree,
graphs with given maximum average degree, graphs excluding a given subgraph,
graphs with linear crossing number, linklessly or knotlessly embeddable graphs,
graphs with given Colin de Verdi\`ere parameter, graphs with given
circumference, graphs excluding a fixed graph as an immersion, graphs with
given thickness, graphs with given stack- or queue-number, graphs excluding
as a minor, graphs excluding as a minor, and graphs excluding
an arbitrary graph as a minor. Several open problems are discussed.Comment: This is a preliminary version of a dynamic survey to be published in
the Electronic Journal of Combinatoric
Hyperbolic intersection graphs and (quasi)-polynomial time
We study unit ball graphs (and, more generally, so-called noisy uniform ball
graphs) in -dimensional hyperbolic space, which we denote by .
Using a new separator theorem, we show that unit ball graphs in
enjoy similar properties as their Euclidean counterparts, but in one dimension
lower: many standard graph problems, such as Independent Set, Dominating Set,
Steiner Tree, and Hamiltonian Cycle can be solved in
time for any fixed , while the same problems need
time in . We also show that these algorithms in
are optimal up to constant factors in the exponent under ETH.
This drop in dimension has the largest impact in , where we
introduce a new technique to bound the treewidth of noisy uniform disk graphs.
The bounds yield quasi-polynomial () algorithms for all of the
studied problems, while in the case of Hamiltonian Cycle and -Coloring we
even get polynomial time algorithms. Furthermore, if the underlying noisy disks
in have constant maximum degree, then all studied problems can
be solved in polynomial time. This contrasts with the fact that these problems
require time under ETH in constant maximum degree
Euclidean unit disk graphs.
Finally, we complement our quasi-polynomial algorithm for Independent Set in
noisy uniform disk graphs with a matching lower bound
under ETH. This shows that the hyperbolic plane is a potential source of
NP-intermediate problems.Comment: Short version appears in SODA 202
Pathwidth vs cocircumference
The {\em circumference} of a graph with at least one cycle is the length
of a longest cycle in . A classic result of Birmel\'e (2003) states that the
treewidth of is at most its circumference minus . In case is
-connected, this upper bound also holds for the pathwidth of ; in fact,
even the treedepth of is upper bounded by its circumference (Bria\'nski,
Joret, Majewski, Micek, Seweryn, Sharma; 2023). In this paper, we study whether
similar bounds hold when replacing the circumference of by its {\em
cocircumference}, defined as the largest size of a {\em bond} in , an
inclusion-wise minimal set of edges such that has more components
than . In matroidal terms, the cocircumference of is the circumference
of the bond matroid of .
Our first result is the following `dual' version of Birmel\'e's theorem: The
treewidth of a graph is at most its cocircumference. Our second and main
result is an upper bound of on the pathwidth of a -connected graph
with cocircumference . Contrary to circumference, no such bound holds
for the treedepth of . Our two upper bounds are best possible up to a
constant factor
Solving Vertex Cover in Polynomial Time on Hyperbolic Random Graphs
The VertexCover problem is proven to be computationally hard in different ways: It is NP-complete to find an optimal solution and even NP-hard to find an approximation with reasonable factors. In contrast, recent experiments suggest that on many real-world networks the run time to solve VertexCover is way smaller than even the best known FPT-approaches can explain. Similarly, greedy algorithms deliver very good approximations to the optimal solution in practice.
We link these observations to two properties that are observed in many real-world networks, namely a heterogeneous degree distribution and high clustering. To formalize these properties and explain the observed behavior, we analyze how a branch-and-reduce algorithm performs on hyperbolic random graphs, which have become increasingly popular for modeling real-world networks. In fact, we are able to show that the VertexCover problem on hyperbolic random graphs can be solved in polynomial time, with high probability.
The proof relies on interesting structural properties of hyperbolic random graphs. Since these predictions of the model are interesting in their own right, we conducted experiments on real-world networks showing that these properties are also observed in practice. When utilizing the same structural properties in an adaptive greedy algorithm, further experiments suggest that, on real instances, this leads to better approximations than the standard greedy approach within reasonable time
- …