85 research outputs found
The Effect of Planarization on Width
We study the effects of planarization (the construction of a planar diagram
from a non-planar graph by replacing each crossing by a new vertex) on
graph width parameters. We show that for treewidth, pathwidth, branchwidth,
clique-width, and tree-depth there exists a family of -vertex graphs with
bounded parameter value, all of whose planarizations have parameter value
. However, for bandwidth, cutwidth, and carving width, every graph
with bounded parameter value has a planarization of linear size whose parameter
value remains bounded. The same is true for the treewidth, pathwidth, and
branchwidth of graphs of bounded degree.Comment: 15 pages, 6 figures. To appear at the 25th International Symposium on
Graph Drawing and Network Visualization (GD 2017
The Firefighter Problem: A Structural Analysis
We consider the complexity of the firefighter problem where b>=1 firefighters
are available at each time step. This problem is proved NP-complete even on
trees of degree at most three and budget one (Finbow et al.,2007) and on trees
of bounded degree b+3 for any fixed budget b>=2 (Bazgan et al.,2012). In this
paper, we provide further insight into the complexity landscape of the problem
by showing that the pathwidth and the maximum degree of the input graph govern
its complexity. More precisely, we first prove that the problem is NP-complete
even on trees of pathwidth at most three for any fixed budget b>=1. We then
show that the problem turns out to be fixed parameter-tractable with respect to
the combined parameter "pathwidth" and "maximum degree" of the input graph
What Makes a Good Plan? An Efficient Planning Approach to Control Diffusion Processes in Networks
In this paper, we analyze the quality of a large class of simple dynamic
resource allocation (DRA) strategies which we name priority planning. Their aim
is to control an undesired diffusion process by distributing resources to the
contagious nodes of the network according to a predefined priority-order. In
our analysis, we reduce the DRA problem to the linear arrangement of the nodes
of the network. Under this perspective, we shed light on the role of a
fundamental characteristic of this arrangement, the maximum cutwidth, for
assessing the quality of any priority planning strategy. Our theoretical
analysis validates the role of the maximum cutwidth by deriving bounds for the
extinction time of the diffusion process. Finally, using the results of our
analysis, we propose a novel and efficient DRA strategy, called Maximum
Cutwidth Minimization, that outperforms other competing strategies in our
simulations.Comment: 18 pages, 3 figure
Arrangement Problems Parameterized by Neighbourhood Diversity
We show that the arrangement problems BANDWIDTH, DISTORTION and IMBALANCE is FPT when parameterized by neighbourhood diversity, and establish some structural results for CUTWIDTH parameterized by neighbourhood diversity.Masteroppgave i informatikkINF39
Exact and Approximate Digraph Bandwidth
In this paper, we introduce a directed variant of the classical Bandwidth problem and study it from the view-point of moderately exponential time algorithms, both exactly and approximately. Motivated by the definitions of the directed variants of the classical Cutwidth and Pathwidth problems, we define Digraph Bandwidth as follows. Given a digraph D and an ordering sigma of its vertices, the digraph bandwidth of sigma with respect to D is equal to the maximum value of sigma(v)-sigma(u) over all arcs (u,v) of D going forward along sigma (that is, when sigma(u) < sigma (v)). The Digraph Bandwidth problem takes as input a digraph D and asks to output an ordering with the minimum digraph bandwidth. The undirected Bandwidth easily reduces to Digraph Bandwidth and thus, it immediately implies that Directed Bandwidth is {NP-hard}. While an O^*(n!) time algorithm for the problem is trivial, the goal of this paper is to design algorithms for Digraph Bandwidth which have running times of the form 2^O(n). In particular, we obtain the following results. Here, n and m denote the number of vertices and arcs of the input digraph D, respectively.
- Digraph Bandwidth can be solved in O^*(3^n * 2^m) time. This result implies a 2^O(n) time algorithm on sparse graphs, such as graphs of bounded average degree.
- Let G be the underlying undirected graph of the input digraph. If the treewidth of G is at most t, then Digraph Bandwidth can be solved in time O^*(2^(n + (t+2) log n)). This result implies a 2^(n+O(sqrt(n) log n)) algorithm for directed planar graphs and, in general, for the class of digraphs whose underlying undirected graph excludes some fixed graph H as a minor.
- Digraph Bandwidth can be solved in min{O^*(4^n * b^n), O^*(4^n * 2^(b log b log n))} time, where b denotes the optimal digraph bandwidth of D. This allow us to deduce a 2^O(n) algorithm in many cases, for example when b <= n/(log^2n).
- Finally, we give a (Single) Exponential Time Approximation Scheme for Digraph Bandwidth. In particular, we show that for any fixed real epsilon > 0, we can find an ordering whose digraph bandwidth is at most (1+epsilon) times the optimal digraph bandwidth, in time O^*(4^n * (ceil[4/epsilon])^n)
A coarse geometric approach to graph layout problems
We define a range of new coarse geometric invariants based on various
graph-theoretic measures of complexity for finite graphs, including: treewidth,
pathwidth, cutwidth, search number, topological bandwidth, bandwidth, minimal
linear arrangment, sumcut, profile, vertex and edge separation. We prove that,
for bounded degree graphs, these invariants can be used to define functions
which satisfy a strong monotonicity property, namely they are monotonically
non-decreasing with respect to regular maps, and as such have potential
applications in coarse geometry and geometric group theory. On the
graph-theoretic side, we prove asymptotically optimal upper bounds on the
treewidth, pathwidth, cutwidth, search number, topological bandwidth, vertex
separation, edge separation, minimal linear arrangement, sumcut and profile for
the family of all finite subgraphs of any bounded degree graph whose separation
profile is known to be of the form for some . This large
class includes the Diestel-Leader graph, all Cayley graphs of non-virtually
cyclic polycyclic groups, uniform lattices in almost all connected unimodular
Lie groups, and certain hyperbolic groups.Comment: 19 page
- …