Oblivious network design

Anupam Gupta, Mohammad T. Hajiaghayi, Harald Räcke
2006 Proceedings of the seventeenth annual ACM-SIAM symposium on Discrete algorithm - SODA '06  
Consider the following network design problem: given a network G = (V, E), source-sink pairs {s i , t i } arrive and desire to send a unit of flow between themselves. The cost of the routing is this: if edge e carries a total of f e flow (from all the terminal pairs), the cost is given by e (f e ), where is some concave cost function; the goal is to minimize the total cost incurred. However, we want the routing to be oblivious: when terminal pair {s i , t i } makes its routing decisions, it
more » ... not know the current flow on the edges of the network, nor the identity of the other pairs in the system. Moreover, it does not even know the identity of the function , merely knowing that is a concave function of the total flow on the edge. How should it (obliviously) route its one unit of flow? Can we get competitive algorithms for this problem? In this paper, we develop a framework to model oblivious network design problems (of which the above problem is a special case), and give algorithms with poly-logarithmic competitive ratio for problems in this framework (and hence for this problem). Abstractly, given a problem like the one above, the solution is a multicommodity flow producing a "load" on each edge of L e = (f 1 (e), f 2 (e), . . . , f k (e)), and the total cost is given by an "aggregation function" agg(L e1 , . . . , L em ) of the loads of all edges. Our goal is to develop oblivious algorithms that approximately minimize the total cost of the routing, knowing the aggregation function agg, but merely knowing that lies in some class C, and having no other information about the current state of the network. Hence we want algorithms that are simultaneously "function-oblivious" as well as "traffic-oblivious". The aggregation functions we consider are the max and objective functions, which correspond to the well-known measures of congestion and total cost of a network; in this paper, we prove the following: • If the aggregation function is , we give an oblivious algorithm with O(log 2 n) competitive ratio whenever the load function is in the class of monotone subadditive functions. (Recall that our algorithm is also "function-oblivious"; it works whenever each edge has a load function in the class.) • For the case when the aggregation function is max, we give an oblivious algorithm with O(log 2 n log log n) competitive ratio, when the load function is a norm; we also show that such a competitive ratio is not possible for general sub-additive functions. These are the first such general results about oblivious algorithms for network design problems, and we hope the ideas and techniques will lead to more and improved results in this area. cost(f ) = agg(L(e 1 ), L(e 2 ), . . . , L(e m )). ( 1.2)
doi:10.1145/1109557.1109665 fatcat:xrldnfpgj5bjtii3hyykxfv6cq