Near-Optimal Disjoint-Path Facility Location Through Set Cover by Pairs

TL;DR

This paper addresses specialized facility location problems in network monitoring, proposing heuristics for near-optimal solutions in complex scenarios with practical validation and theoretical bounds.

Contribution

It introduces heuristics for two variants of the cover-by-pairs problem in network routing, with extensive experimental validation and a new lower-bounding formulation.

Findings

Heuristics perform well on real-world network instances.

The lower bound matches optimal solutions in tests.

Proposed methods are effective for network monitoring applications.

Abstract

In this paper we consider two special cases of the "cover-by-pairs" optimization problem that arise when we need to place facilities so that each customer is served by two facilities that reach it by disjoint shortest paths. These problems arise in a network traffic monitoring scheme proposed by Breslau et al. and have potential applications to content distribution. The "set-disjoint" variant applies to networks that use the OSPF routing protocol, and the "path-disjoint" variant applies when MPLS routing is enabled, making better solutions possible at the cost of greater operational expense. Although we can prove that no polynomial-time algorithm can guarantee good solutions for either version, we are able to provide heuristics that do very well in practice on instances with real-world network structure. Fast implementations of the heuristics, made possible by exploiting mathematical observations about the relationship between the network instances and the corresponding instances of the cover-by-pairs problem, allow us to perform an extensive experimental evaluation of the heuristics and what the solutions they produce tell us about the effectiveness of the proposed monitoring scheme. For the set-disjoint variant, we validate our claim of near-optimality via a new lower-bounding integer programming formulation. Although computing this lower bound requires solving the NP-hard Hitting Set problem and can underestimate the optimal value by a linear factor in the worst case, it can be computed quickly by CPLEX, and it equals the optimal solution value for all the instances in our extensive testbed.