Classifying customer-provider relationships in the internet

The problem of inferring customer-provider relationships in the autonomous system topology of the Internet leads to the following optimization problem: given an undirected graph G and a set P of paths in G, orient the edges of G such that as many paths as possible are valid, meaning that they do not contain an internal node with both incident edges on the path directed away from that node. The complexity of this problem was left open by Subramanian et al. (“Characterizing the Internet hierarchy from multiple vantage points,” INFOCOM 2002). We show that finding an orientation that makes all paths valid (if such an orientation exists) can be done in linear time and that the maximization version of the problem is NP-hard and cannot be approximated within 1/n1−ε for n paths unless NP=co-RP . We present constantfactor approximation algorithms for the case where the paths have bounded length and prove that the problem remains APX -hard in this case. Finally, we report experimental results demonstrating that the approximation algorithm yields very good solutions on real data sets.

[1]  Johan Håstad,et al.  Some optimal inapproximability results , 2001, JACM.

[2]  Uri Zwick,et al.  Improved Rounding Techniques for the MAX 2-SAT and MAX DI-CUT Problems , 2002, IPCO.

[3]  Donald F. Towsley,et al.  On distinguishing between Internet power law topology generators , 2002, Proceedings.Twenty-First Annual Joint Conference of the IEEE Computer and Communications Societies.

[4]  Giorgio Gambosi,et al.  Complexity and Approximation , 1999, Springer Berlin Heidelberg.

[5]  Ratul Mahajan,et al.  Understanding BGP misconfiguration , 2002, SIGCOMM '02.

[6]  Giorgio Gambosi,et al.  Complexity and approximation: combinatorial optimization problems and their approximability properties , 1999 .

[7]  Uriel Feige,et al.  Approximating the value of two power proof systems, with applications to MAX 2SAT and MAX DICUT , 1995, Proceedings Third Israel Symposium on the Theory of Computing and Systems.

[8]  Johan Håstad,et al.  Clique is hard to approximate within n/sup 1-/spl epsiv// , 1996, Proceedings of 37th Conference on Foundations of Computer Science.

[9]  Michalis Faloutsos,et al.  On power-law relationships of the Internet topology , 1999, SIGCOMM '99.

[10]  Lixin Gao On inferring autonomous system relationships in the internet , 2001, TNET.

[11]  J. Håstad Clique is hard to approximate withinn1−ε , 1999 .

[12]  Ibrahim Matta,et al.  On the origin of power laws in Internet topologies , 2000, CCRV.

[13]  Thomas Erlebach,et al.  On the Spectrum and Structure of Internet Topology Graphs , 2002, IICS.

[14]  Randy H. Katz,et al.  Characterizing the Internet hierarchy from multiple vantage points , 2002, Proceedings.Twenty-First Annual Joint Conference of the IEEE Computer and Communications Societies.

[15]  David P. Williamson,et al.  Improved approximation algorithms for maximum cut and satisfiability problems using semidefinite programming , 1995, JACM.

[16]  Arild Stubhaug Acta Mathematica , 1886, Nature.