Parameterized complexity of spare capacity allocation and the multicost Steiner subgraph problem

We study the computational complexity of the Spare Capacity Allocation problem arising in optical networks that use a shared mesh restoration scheme. In this problem we are given a network with edge capacities and point-to-point demands, and the goal is to allocate two edge-disjoint paths for each demand (a working path and a so-called restoration path, which is activated only if the working path fails) so that the capacity constraints are satisfied and the total cost of the used and reserved bandwidth is minimized. We focus on the setting where we deal with a group of demands together, and select their restoration paths simultaneously in order to minimize the total cost. We investigate how the computational complexity of this problem is affected by certain parameters, such as the number of restoration paths to be selected, or the treewidth of the network graph. To analyze the complexity of the problem, we introduce a generalization of the Steiner Forest problem that we call Multicost Steiner Subgraph. We study its parameterized complexity, and identify computationally easy and hard cases by providing hardness proofs as well as efficient (fixed-parameter tractable) algorithms.

[1]  Ton Kloks,et al.  Efficient and Constructive Algorithms for the Pathwidth and Treewidth of Graphs , 1993, J. Algorithms.

[2]  Robert D. Doverspike,et al.  Efficient distributed restoration path selection for shared mesh restoration , 2003, TNET.

[3]  R. Gary Parker,et al.  On multiple steiner subgraph problems , 1986, Networks.

[4]  Carla P. Gomes,et al.  The Steiner Multigraph Problem: Wildlife Corridor Design for Multiple Species , 2011, AAAI.

[5]  Mihalis Yannakakis,et al.  The Complexity of Multiterminal Cuts , 1994, SIAM J. Comput..

[6]  Rolf Niedermeier,et al.  Invitation to Fixed-Parameter Algorithms , 2006 .

[7]  Eric Mannie,et al.  Generalized Multi-Protocol Label Switching (GMPLS) Architecture , 2004, RFC.

[8]  Jörg Flum,et al.  Parameterized Complexity Theory (Texts in Theoretical Computer Science. An EATCS Series) , 2006 .

[9]  David S. Johnson,et al.  The Rectilinear Steiner Tree Problem is NP Complete , 1977, SIAM Journal of Applied Mathematics.

[10]  R. Ravi,et al.  When trees collide: an approximation algorithm for the generalized Steiner problem on networks , 1991, STOC '91.

[11]  Alon Itai,et al.  On the Complexity of Timetable and Multicommodity Flow Problems , 1976, SIAM J. Comput..

[12]  Markus Chimani,et al.  Improved Steiner Tree Algorithms for Bounded Treewidth , 2011, IWOCA.

[13]  Andreas Björklund,et al.  Fourier meets möbius: fast subset convolution , 2006, STOC '07.

[14]  Arie M. C. A. Koster,et al.  Combinatorial Optimization on Graphs of Bounded Treewidth , 2008, Comput. J..

[15]  Elisabeth Gassner,et al.  The Steiner Forest Problem revisited , 2010, J. Discrete Algorithms.

[16]  Jörg Flum,et al.  Parameterized Complexity Theory , 2006, Texts in Theoretical Computer Science. An EATCS Series.

[17]  Derek G. Corneil,et al.  Complexity of finding embeddings in a k -tree , 1987 .

[18]  Yu Liu,et al.  Approximating optimal spare capacity allocation by successive survivable routing , 2001, IEEE/ACM Transactions on Networking.

[19]  Lou Berger,et al.  Generalized Multi-Protocol Label Switching (GMPLS) Signaling Functional Description , 2003, RFC.

[20]  S. E. Dreyfus,et al.  The steiner problem in graphs , 1971, Networks.

[21]  Michael R. Fellows,et al.  Parameterized Complexity , 1998 .

[22]  Ue-Pyng Wen,et al.  Applying tabu search to spare capacity planning for network restoration , 1999, Comput. Oper. Res..

[23]  S. Chowla,et al.  On Recursions Connected With Symmetric Groups I , 1951, Canadian Journal of Mathematics.

[24]  Ishwar Murthy,et al.  Solving min‐max shortest‐path problems on a network , 1992 .

[25]  Hans L. Bodlaender A linear time algorithm for finding tree-decompositions of small treewidth , 1993, STOC '93.

[26]  R. Ravi,et al.  When Trees Collide: An Approximation Algorithm for the Generalized Steiner Problem on Networks , 1995, SIAM J. Comput..

[27]  Ton Kloks Treewidth, Computations and Approximations , 1994, Lecture Notes in Computer Science.

[28]  Yu Liu,et al.  Spare capacity allocation: model, analysis and algorithm , 2001 .

[29]  Hans L. Bodlaender,et al.  Treewidth: Algorithmic Techniques and Results , 1997, MFCS.

[30]  Jean-Yves Le Boudec,et al.  Design protection for WDM optical networks , 1998, IEEE J. Sel. Areas Commun..

[31]  Pawel Winter,et al.  Steiner problem in networks: A survey , 1987, Networks.