568 research outputs found
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
Strong Formulations for Network Design Problems with Connectivity Requirements
The network design problem with connectivity requirements (NDC) models a wide variety of celebrated combinatorial optimization problems including the minimum spanning tree, Steiner tree, and survivable network design problems. We develop strong formulations for two versions of the edge-connectivity NDC problem: unitary problems requiring connected network designs, and nonunitary problems permitting non-connected networks as solutions. We (i) present a new directed formulation for the unitary NDC problem that is stronger than a natural undirected formulation, (ii) project out several classes of valid inequalities-partition inequalities, odd-hole inequalities, and combinatorial design inequalities-that generalize known classes of valid inequalities for the Steiner tree problem to the unitary NDC problem, and (iii) show how to strengthen and direct nonunitary problems. Our results provide a unifying framework for strengthening formulations for NDC problems, and demonstrate the strength and power of flow-based formulations for network design problems with connectivity requirements
Non-crossing frameworks with non-crossing reciprocals
We study non-crossing frameworks in the plane for which the classical
reciprocal on the dual graph is also non-crossing. We give a complete
description of the self-stresses on non-crossing frameworks whose reciprocals
are non-crossing, in terms of: the types of faces (only pseudo-triangles and
pseudo-quadrangles are allowed); the sign patterns in the self-stress; and a
geometric condition on the stress vectors at some of the vertices.
As in other recent papers where the interplay of non-crossingness and
rigidity of straight-line plane graphs is studied, pseudo-triangulations show
up as objects of special interest. For example, it is known that all planar
Laman circuits can be embedded as a pseudo-triangulation with one non-pointed
vertex. We show that if such an embedding is sufficiently generic, then the
reciprocal is non-crossing and again a pseudo-triangulation embedding of a
planar Laman circuit. For a singular (i.e., non-generic) pseudo-triangulation
embedding of a planar Laman circuit, the reciprocal is still non-crossing and a
pseudo-triangulation, but its underlying graph may not be a Laman circuit.
Moreover, all the pseudo-triangulations which admit a non-crossing reciprocal
arise as the reciprocals of such, possibly singular, stresses on
pseudo-triangulation embeddings of Laman circuits.
All self-stresses on a planar graph correspond to liftings to piece-wise
linear surfaces in 3-space. We prove characteristic geometric properties of the
lifts of such non-crossing reciprocal pairs.Comment: 32 pages, 23 figure
- …