Abstract
In a communication network one often needs to combine several communication requests into a path in a physical layer of the network. In these cases the cost is measured in terms of the total length of these paths or the total hardware cost of maintaining these paths. In this paper we consider a problem belonging to this general family of optimization problems. We consider the problem of minimizing the number of regenerators in optical networks with traffic grooming. In this problem we are given a network with an underlying topology of a graph G, a set of requests that correspond to paths in G and two positive integers g and d. There is a need to put a regenerator every d edges of every path, because of a degradation in the quality of the signal. Each regenerator can be shared by at most g paths, g being the grooming factor. On the one hand, we show that even in the case of d=1 the problem is APX-hard, i.e. a polynomial time approximation scheme for it does not exist (unless P=NP). On the other hand, we solve such a problem for general G and any d and g, by providing an O(logg)-approximation algorithm and thus extending previous results holding only for specific topologies and specific values of d or g.








Similar content being viewed by others
Notes
Actually, the number of such paths could be less than three, but the proof easily extends to these cases.
This paragraph is a modified version of the proof of Lemma 2.3 in [17].
References
Amini, O., Pérennes, S., Sau, I.: Hardness and approximation of traffic grooming. Theor. Comput. Sci. 410(38–40), 3751–3760 (2009)
Ausiello, G., Crescenzi, P., Gambosi, G., Kann, V., Marchetti-Spaccamela, A., Protasi, M.: Complexity and Approximation, Combinatorial Optimization Problems and Their Approximability Properties. Springer, Berlin (1999)
Chen, S., Ljubić, I., Raghavan, S.: The regenerator location problem. Networks 55(3), 205–220 (2010)
Chvátal, V.: A greedy heuristic for the set covering problem. Math. Oper. Res. 4, 233–235 (1979)
Călinescu, G., Frieder, O., Wan, P.-J.: Minimizing electronic line terminals for automatic ring protection in general WDM optical networks. IEEE J. Sel. Areas Commun. 20(1), 183–189 (2002)
Călinescu, G., Wan, P.-J.: Splitable traffic partition in WDM/SONET rings to minimize sonet ADMs. Theor. Comput. Sci. 276(1–2), 33–50 (2002)
Călinescu, G., Wan, P.-J.: Traffic partition in WDM/SONET rings to minimize SONET ADMs. J. Comb. Optim. 6(4), 425–453 (2002)
Saradhi, C.V., Zanardi, A., Fedrizzi, R., Salvadori, E., Galimberti, G.M., Tanzi, A., Martinelli, G., Gerstel, O.: A framework for regenerator site selection based on multiple paths. In: Proceedings of Conference on Optical Fiber Communications (OFC), pp. 1–3. IEEE Press, New York (2010)
Flammini, M., Marchetti-Spaccamela, A., Monaco, G., Moscardelli, L., Zaks, S.: On the complexity of the regenerator placement problem in optical networks. IEEE/ACM Trans. Netw. 19(2), 498–511 (2011)
Flammini, M., Monaco, G., Moscardelli, L., Shachnai, H., Shalom, M., Tamir, T., Zaks, S.: Minimizing total busy time in parallel scheduling with application to optical networks. Theor. Comput. Sci. 411(40–42), 3553–3562 (2010)
Flammini, M., Monaco, G., Moscardelli, L., Shalom, M., Zaks, S.: Approximating the traffic grooming problem with respect to ADMs and OADMs. In: Proceedings of International European Conference on Parallel and Distributed Computing (EURO-PAR). Lecture Notes in Computer Science, vol. 5168, pp. 920–929. Springer, Berlin (2008)
Flammini, M., Monaco, G., Moscardelli, L., Shalom, M., Zaks, S.: Optimizing regenerator cost in traffic grooming. Theor. Comput. Sci. 412(52), 7109–7121 (2011)
Gerstel, O., Lin, P., Sasaki, G.: Wavelength assignment in a WDM ring to minimize cost of embedded sonet rings. In: Proceedings of International Conference on Computer Communications (INFOCOM), pp. 69–77. IEEE Press, Providence (1998)
Khandekar, R., Schieber, B., Shachnai, H., Tamir, T.: Minimizing busy time in multiple machine real-time scheduling. In: Proceedings of Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS), Schloss Dagstuhl, pp. 169–180 (2010)
Mertzios, G.B., Sau, I., Shalom, M., Zaks, S.: Placing regenerators in optical networks to satisfy multiple sets of requests. IEEE/ACM Trans. Netw. (2012). doi:10.1109/TNET.2012.2186462
Sriram, K., Griffith, D., Su, R., Golmie, N.: Static vs. dynamic regenerator assignment in optical switches: models and cost trade-offs. In: Proceedings of Workshop on High Performance Switching and Routing (HPSR), pp. 151–155. IEEE Press, New York (2004)
Vazirani, V.V.: Approximation Algorithms. Springer, Berlin (2004)
Winkler, P., Zhang, L.: Wavelength assignment and generalized interval graph coloring. In: Proceedings of Symposium on Discrete Algorithms (SODA), pp. 830–831. ACM–SIAM, New York (2003)
Yang, X., Ramamurthy, B.: Sparse regeneration in translucent wavelength-routed optical networks: architecture, network design and wavelength routing. Photonic Netw. Commun. 10(1), 39–53 (2005)
Author information
Authors and Affiliations
Corresponding author
Additional information
This work was partially supported by the Israel Science Foundation grant No. 1249/08, and by the PRIN 2008 research project COGENT (COmputational and GamE-theoretic aspects of uncoordinated NeTworks), funded by the Italian Ministry of University and Research.
A preliminary version of this work is presented in OPODIS’11, 15th International Conference on Principles of Distributed Systems, December 13–16, 2011, Toulouse, France.
Appendix: Proof of Lemma 3
Appendix: Proof of Lemma 3
Without loss of generality assume that the elements are numbered in the order they are covered by GreedySetCover 2. Whenever a set S j is chosen to the cover, we distribute its cost weight[S j ] to the new elements it covers, by assigning a price of price(i)=eff[S j ] to each element i added to Covered. Clearly the cost of the solution is \(\sum_{i=1}^{n} \mathit{price}(i)\).
InFootnote 2 any iteration, the leftover sets of the optimal solution can cover the remaining elements at a cost of at most OPT. Therefore, among these sets, there must be one having cost-effectiveness of at most OPT/|A∖Covered|. In the iteration in which element i was covered, A∖Covered contained at least n−i+1 elements. Since i was covered by a set with cost-effectiveness at most ρ times the minimum, it follows that \(\mathit{price}(i) \leq\rho\cdot\frac{\mathit{OPT}}{|A \setminus \mathit{Covered}|} \leq\rho\cdot\frac{\mathit{OPT}}{n - i + 1}\). Therefore the cost of the solution returned by GreedySetCover 2 is
In order to improve the above result so that to H n is replaced by H k where k is the size of the largest set, one can take an existing proof (e.g. [2]) and modify it as we did in the above proof or, alternatively, use the above result as a black box as we do in the following proof.
Proof
Let \(S_{i_{1}}, S_{i_{2}}, \ldots\) be the sets chosen by GreedySetCover 2, and for every such \(S_{i_{j}}\) let \(\bar{S_{i_{j}}} = S_{i_{j}} \setminus\bigcup_{k=1}^{j-1}S_{i_{k}}\), the subset of \(S_{i_{j}}\) consisting of the new elements covered by it. Let also \(S^{*}_{1}, S^{*}_{2}, \ldots\) be the sets of an optimal solution, and \(\bar{S^{*}_{j}}\) defined similarly.
Consider an oracle that knows the sets \(S^{*}_{1}, S^{*}_{2}, \ldots, S^{*}_{\ell}\) and partitions each set S i of the input into sets S i1,S i2,…, such that \(S_{ij} = S_{i} \cap\bar{S^{*}_{j}}\). Moreover this oracle distributes the weight of each set S i to the sets S ij in a manner proportional to their size, i.e. \(\mathit {weight}[S_{ij}]=\mathit{weight}[S_{i}] \frac{\vert S_{ij}\vert }{\vert S_{i}\vert }\). Now consider the following possible run of GreedySetCover 2 when its input consists of the sets S ij . It chooses one of the sets \(S_{{i_{1}}j}\), (because they have the same efficiency as \(S_{i_{1}}\) which is at most ρ times the best possible), followed by all the other sets \(S_{{i_{1}}j}\). Then it chooses all the sets \(S_{{i_{2}}j}\), etc. … The cost of the solution obtained in this run is equal to the cost of the solution returned by GreedySetCover 2 on the original input, i.e., \(\sum\mathit{weight}[S_{{i_{k}}j}] = \sum \mathit{weight}[S_{i_{k}}]\). We can see this run as ℓ copies of GreedySetCover 2 running in parallel each of which has as goal to cover one set \(\bar {S^{*}_{j}}\). Each copy computes a \(\rho\cdot H_{|\bar{S^{*}_{j}}|}\) approximated solution to the optimum, which is at most \(\mathit {weight}[S^{*}_{j}]\). Summing up for all the copies, we get that the overall cost is at most
where k is the size of the largest set in the input. □
Rights and permissions
About this article
Cite this article
Flammini, M., Monaco, G., Moscardelli, L. et al. On the Complexity of the Regenerator Cost Problem in General Networks with Traffic Grooming. Algorithmica 68, 671–691 (2014). https://doi.org/10.1007/s00453-012-9693-8
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00453-012-9693-8