Routing permutations and involutions on optical ring networks: complexity results and solution to an open problem

• Published in: Journal of discrete algorithms (Amsterdam, Netherlands) Vol. 5; no. 3; pp. 609 - 621
• Main Authors: Yuan, Jinjiang, Zhang, Jian Ying, Zhou, Sanming
• Format: Journal Article
• Language: English
• Published: Elsevier B.V 01.09.2007
• Subjects: Involution; Permutation; Ring; Routing; Wavelength assignment; Routing; Involution; Wavelength assignment; Permutation; Ring
• DOI: 10.1016/j.jda.2006.07.004
• ISSN: 1570-8667

Given a network G and a demand D of communication requests on G, a routing for ( G , D ) is a set of directed paths of G, each from the source to the destination of one request of D. The Routing and Wavelength Assignment Problem seeks a routing R for ( G , D ) and an assignment of wavelengths to the directed paths in R such that the number of wavelengths used is minimized, subject to that any two directed paths with at least one common arc receive distinct wavelengths. In the case where G is a ring, this problem is known as the Ring Routing and Wavelength Assignment Problem (RRWA). If in addition D is symmetric (that is, ( s , t ) ∈ D implies ( t , s ) ∈ D ) and the directed paths for requests ( s , t ) and ( t , s ) are required to be reverse of each other, then the problem is called the Symmetric Ring Routing and Wavelength Assignment Problem (SRRWA). A demand is called a permutation demand if, for each vertex v of G, the number of requests with source v and the number of requests with destination v are the same and are equal to 0 or 1. A symmetric permutation demand is called an involution demand. In this paper we prove that both RRWA and SRRWA are NP -complete even when restricted to involution demands. As a consequence RRWA is NP -complete when restricted to permutation demands. For general demands we prove that RRWA and SRRWA can be solved in polynomial time when the number of wavelengths is fixed. Finally, we answer in the negative an open problem posed by Gargano and Vaccaro and construct infinitely many counterexamples using involution demands.