Node-Constrained Traffic Engineering: Theory and Applications

Traffic engineering (TE) is a fundamental task in networking. Conventionally, traffic can take any path connecting the source and destination. Emerging technologies such as segment routing, however, use logical paths that are composed of shortest paths going through a predetermined set of middlepoints in order to reduce the flow table overhead of TE implementation. Inspired by this, in this paper, we introduce the problem of node-constrained TE, where the traffic must go through a set of middlepoints, and study its theoretical fundamentals. We show that the general node-constrained TE that allows the traffic to take any path going through one or more middlepoints is NP-hard for directed graphs but strongly polynomial for undirected graphs, unveiling a profound dichotomy between the two cases. We also investigate a variant of node-constrained TE that uses only shortest paths between middlepoints, and prove that the problem can now be solved in weakly polynomial time for a fixed number of middlepoints, which explains why existing work focuses on this variant. Yet, if we constrain the end-to-end paths to be acyclic, the problem can become NP-hard. An important application of our work concerns flow centrality, for which we are able to derive complexity results. Furthermore, we investigate the middlepoint selection problem in general node-constrained TE. We introduce and study group flow centrality as a solution concept, and show that it is monotone but not submodular. Our work provides a thorough theoretical treatment of node-constrained TE and sheds light on the development of the emerging node-constrained TE in practice.

[1]  L. Freeman Centrality in social networks conceptual clarification , 1978 .

[2]  Clarence Filsfils,et al.  Segment Routing with the MPLS Data Plane , 2019, RFC.

[3]  J. Rexford,et al.  Scalable Multi-Class Traffic Management in Data Center Backbone Networks , 2013, IEEE Journal on Selected Areas in Communications.

[4]  Neil Robertson,et al.  Graph Minors .XIII. The Disjoint Paths Problem , 1995, J. Comb. Theory B.

[5]  T. V. Lakshman,et al.  Optimized network traffic engineering using segment routing , 2015, 2015 IEEE Conference on Computer Communications (INFOCOM).

[6]  Min Zhu,et al.  B4: experience with a globally-deployed software defined wan , 2013, SIGCOMM.

[7]  Narendra Karmarkar,et al.  A new polynomial-time algorithm for linear programming , 1984, Comb..

[8]  L. Freeman,et al.  Centrality in valued graphs: A measure of betweenness based on network flow , 1991 .

[9]  Mikkel Thorup,et al.  Internet traffic engineering by optimizing OSPF weights , 2000, Proceedings IEEE INFOCOM 2000. Conference on Computer Communications. Nineteenth Annual Joint Conference of the IEEE Computer and Communications Societies (Cat. No.00CH37064).

[10]  Alon Itai,et al.  On the complexity of time table and multi-commodity flow problems , 1975, 16th Annual Symposium on Foundations of Computer Science (sfcs 1975).

[11]  Olivier Bonaventure,et al.  A Declarative and Expressive Approach to Control Forwarding Paths in Carrier-Grade Networks , 2015, SIGCOMM.

[12]  Wim Henderickx,et al.  Segment Routing Use Cases , 2013 .

[13]  Jim Kurose,et al.  Computer Networking: A Top-Down Approach , 1999 .

[14]  Mark Newman,et al.  Networks: An Introduction , 2010 .

[15]  Olivier Bonaventure,et al.  Solving Segment Routing Problems with Hybrid Constraint Programming Techniques , 2015, CP.

[16]  Leonard M. Freeman,et al.  A set of measures of centrality based upon betweenness , 1977 .

[17]  Tali Eilam-Tzoreff,et al.  The Disjoint Shortest Paths Problem , 1998, Discret. Appl. Math..

[18]  Richard M. Karp,et al.  On the Computational Complexity of Combinatorial Problems , 1975, Networks.

[19]  Ronald L. Rivest,et al.  The Subgraph Homeomorphism Problem , 1980, J. Comput. Syst. Sci..

[20]  Tamás Lukovszki,et al.  It's a Match!: Near-Optimal and Incremental Middlebox Deployment , 2016, CCRV.

[21]  Srikanth Kandula,et al.  Walking the tightrope: responsive yet stable traffic engineering , 2005, SIGCOMM '05.

[22]  Rami Puzis,et al.  Incremental deployment of network monitors based on Group Betweenness Centrality , 2009, Inf. Process. Lett..

[23]  Éva Tardos,et al.  A Strongly Polynomial Algorithm to Solve Combinatorial Linear Programs , 1986, Oper. Res..

[24]  Srikanth Kandula,et al.  Achieving high utilization with software-driven WAN , 2013, SIGCOMM.

[25]  Kenneth Steiglitz,et al.  Combinatorial Optimization: Algorithms and Complexity , 1981 .

[26]  Michael J. Todd,et al.  Polynomial Algorithms for Linear Programming , 1988 .

[27]  S. Borgatti,et al.  The centrality of groups and classes , 1999 .

[28]  Anja Feldmann,et al.  Panopticon: Reaping the Benefits of Incremental SDN Deployment in Enterprise Networks , 2014, USENIX Annual Technical Conference.

[29]  Piero Castoldi,et al.  Path Encoding in Segment Routing , 2014, 2015 IEEE Global Communications Conference (GLOBECOM).

[30]  Yves Deville,et al.  SCMon: Leveraging segment routing to improve network monitoring , 2016, IEEE INFOCOM 2016 - The 35th Annual IEEE International Conference on Computer Communications.

[31]  Tamás Lukovszki,et al.  Online Admission Control and Embedding of Service Chains , 2015, SIROCCO.

[32]  Srikanth Kandula,et al.  Traffic engineering with forward fault correction , 2014, SIGCOMM.

[33]  Yusuke Kobayashi,et al.  The Directed Disjoint Shortest Paths Problem , 2017, ESA.

[34]  Clarence Filsfils,et al.  The Segment Routing Architecture , 2014, 2015 IEEE Global Communications Conference (GLOBECOM).

[35]  Alexander Schrijver,et al.  Combinatorial optimization. Polyhedra and efficiency. , 2003 .

[36]  U. Brandes A faster algorithm for betweenness centrality , 2001 .

[37]  Rami Puzis,et al.  Collaborative attack on Internet users' anonymity , 2009, Internet Res..

[38]  M. L. Fisher,et al.  An analysis of approximations for maximizing submodular set functions—I , 1978, Math. Program..

[39]  John E. Hopcroft,et al.  The Directed Subgraph Homeomorphism Problem , 1978, Theor. Comput. Sci..

[40]  Cheng Jin,et al.  MATE: MPLS adaptive traffic engineering , 2001, Proceedings IEEE INFOCOM 2001. Conference on Computer Communications. Twentieth Annual Joint Conference of the IEEE Computer and Communications Society (Cat. No.01CH37213).

[41]  Ravindra K. Ahuja,et al.  Network Flows: Theory, Algorithms, and Applications , 1993 .

[42]  Mung Chiang,et al.  Towards Robust Multi-Layer Traffic Engineering: Optimization of Congestion Control and Routing , 2007, IEEE Journal on Selected Areas in Communications.

[43]  P. Bonacich Power and Centrality: A Family of Measures , 1987, American Journal of Sociology.

[44]  Yin Zhang,et al.  COPE: traffic engineering in dynamic networks , 2006, SIGCOMM 2006.

[45]  Chen Chen,et al.  Efficient Maximum Closeness Centrality Group Identification , 2016, ADC.