566 research outputs found
Diameter and Treewidth in Minor-Closed Graph Families
It is known that any planar graph with diameter D has treewidth O(D), and
this fact has been used as the basis for several planar graph algorithms. We
investigate the extent to which similar relations hold in other graph families.
We show that treewidth is bounded by a function of the diameter in a
minor-closed family, if and only if some apex graph does not belong to the
family. In particular, the O(D) bound above can be extended to bounded-genus
graphs. As a consequence, we extend several approximation algorithms and exact
subgraph isomorphism algorithms from planar graphs to other graph families.Comment: 15 pages, 12 figure
On Routing Disjoint Paths in Bounded Treewidth Graphs
We study the problem of routing on disjoint paths in bounded treewidth graphs
with both edge and node capacities. The input consists of a capacitated graph
and a collection of source-destination pairs . The goal is to maximize the number of pairs that
can be routed subject to the capacities in the graph. A routing of a subset
of the pairs is a collection of paths such that,
for each pair , there is a path in
connecting to . In the Maximum Edge Disjoint Paths (MaxEDP) problem,
the graph has capacities on the edges and a routing
is feasible if each edge is in at most of
the paths of . The Maximum Node Disjoint Paths (MaxNDP) problem is
the node-capacitated counterpart of MaxEDP.
In this paper we obtain an approximation for MaxEDP on graphs of
treewidth at most and a matching approximation for MaxNDP on graphs of
pathwidth at most . Our results build on and significantly improve the work
by Chekuri et al. [ICALP 2013] who obtained an approximation
for MaxEDP
An exact characterization of tractable demand patterns for maximum disjoint path problems
We study the following general disjoint paths problem: given a supply graph G, a set T ⊆ V(G) of terminals, a demand graph H on the vertices T, and an integer k, the task is to find a set of k pairwise vertex-disjoint valid paths, where we say that a path of the supply graph G is valid if its endpoints are in T and adjacent in the demand graph H. For a class H of graphs, we denote by Maximum Disjoint ℋ-Paths the restriction of this problem when the demand graph H is assumed to be a member of ℋ. We study the fixed-parameter tractability of this family of problems, parameterized by k. Our main result is a complete characterization of the fixed-parameter tractable cases of Maximum Disjoint ℋ-Paths for every hereditary class ℋ of graphs: it turns out that complexity depends on the existence of large induced matchings and large induced skew bicliques in the demand graph H (a skew biclique is a bipartite graph on vertices a1, …, an, b1, …, bn with ai and bj being adjacent if and only if i ≤ j). Specifically, we prove the following classification for every hereditary class ℋ.
If â„‹ does not contain every matching and does not contain every skew biclique, then MAXIMUM Disjoint â„‹-Paths is FPT.
If ℋ does not contain every matching, but contains every skew biclique, then MAXIMUM DISJOINT ℋ-Paths is W[1]-hard, admits an FPT approximation, and the valid paths satisfy an analog of the Erdös-Pósa property.
If ℋ contains every matching, then MAXIMUM DISJOINT ℋ-Paths is W[1]-hard and the valid paths do not satisfy the analog of the Erdös-Pósa property
Fault-Tolerant Shortest Paths - Beyond the Uniform Failure Model
The overwhelming majority of survivable (fault-tolerant) network design
models assume a uniform scenario set. Such a scenario set assumes that every
subset of the network resources (edges or vertices) of a given cardinality
comprises a scenario. While this approach yields problems with clean
combinatorial structure and good algorithms, it often fails to capture the true
nature of the scenario set coming from applications.
One natural refinement of the uniform model is obtained by partitioning the
set of resources into faulty and secure resources. The scenario set contains
every subset of at most faulty resources. This work studies the
Fault-Tolerant Path (FTP) problem, the counterpart of the Shortest Path problem
in this failure model. We present complexity results alongside exact and
approximation algorithms for FTP. We emphasize the vast increase in the
complexity of the problem with respect to its uniform analogue, the
Edge-Disjoint Paths problem
- …