6 research outputs found
Lift & Project Systems Performing on the Partial-Vertex-Cover Polytope
We study integrality gap (IG) lower bounds on strong LP and SDP relaxations
derived by the Sherali-Adams (SA), Lovasz-Schrijver-SDP (LS+), and
Sherali-Adams-SDP (SA+) lift-and-project (L&P) systems for the
t-Partial-Vertex-Cover (t-PVC) problem, a variation of the classic Vertex-Cover
problem in which only t edges need to be covered. t-PVC admits a
2-approximation using various algorithmic techniques, all relying on a natural
LP relaxation. Starting from this LP relaxation, our main results assert that
for every epsilon > 0, level-Theta(n) LPs or SDPs derived by all known L&P
systems that have been used for positive algorithmic results (but the Lasserre
hierarchy) have IGs at least (1-epsilon)n/t, where n is the number of vertices
of the input graph. Our lower bounds are nearly tight.
Our results show that restricted yet powerful models of computation derived
by many L&P systems fail to witness c-approximate solutions to t-PVC for any
constant c, and for t = O(n). This is one of the very few known examples of an
intractable combinatorial optimization problem for which LP-based algorithms
induce a constant approximation ratio, still lift-and-project LP and SDP
tightenings of the same LP have unbounded IGs.
We also show that the SDP that has given the best algorithm known for t-PVC
has integrality gap n/t on instances that can be solved by the level-1 LP
relaxation derived by the LS system. This constitutes another rare phenomenon
where (even in specific instances) a static LP outperforms an SDP that has been
used for the best approximation guarantee for the problem at hand. Finally, one
of our main contributions is that we make explicit of a new and simple
methodology of constructing solutions to LP relaxations that almost trivially
satisfy constraints derived by all SDP L&P systems known to be useful for
algorithmic positive results (except the La system).Comment: 26 page
Capacitated Network Design on Outerplanar Graphs
Network design problems model the efficient allocation of resources like routers, optical fibres, roads, canals etc. to effectively construct and operate critical infrastructures. In this thesis, we consider the capacitated network design problem (CapNDP), which finds applications in supply-chain logistics problems and network security. Here, we are given a network and for each edge in the network, several security reinforcement options. In addition, for each pair of nodes in the network, there is a specified level of protection demanded. The objective is to select a minimum-cost set of reinforcements for all the edges so that an adversary with strength less than the protection level of a particular pair of nodes cannot disconnect these nodes. The optimal solution to this problem cannot, in general, be found in reasonable time. One way to tackle such hard problems is to develop approximation algorithms, which are fast algorithms that are guaranteed to find near-optimal solutions; the worst-case ratio between the cost of the solution output by the algorithm and the optimum cost is called the approximation ratio of the algorithm. In this thesis, we investigate CapNDP when the network structure is constrained to belong to a class of graphs called outerplanar graphs. This particular special case was first considered by Carr, Fleischer, Leung and Philips; while they claimed to obtain an approximation ratio arbitrarily close to 1, their algorithm has certain fatal flaws. We build upon some of the ideas they use to approximate CapNDP on general networks to develop a new algorithm for CapNDP on outerplanar graphs. The approximation ratio achieved by our algorithm improves the state-of-the-art by a doubly exponential factor. We also notice that our methods can be applied to a more general class of problems called column-restricted covering integers programs, and be adapted to improve the approximation ratio on more instances of CapNDP if the structure of the network is known. Furthermore, our techniques also yield interesting results for a completely unrelated problem in the area of data structures