<?xml version="1.0"?>
<?xml-stylesheet type="text/xsl" href="pmathml.xsl"?>
<html xmlns="http://www.w3.org/1999/xhtml">
<head>
<title>
Abstract: Optimal Hierarchical Decompositions for Congestion Minimization in Networks
</title>
<script language="JavaScript" type="text/JavaScript" src="../myscript.js"></script>
</head>
<body  style="font-family: Tahoma, Verdana, Arial, sans-serif;" bgcolor="#ffffff">
<script type="text/javascript">
checkBrowserWidth();
window.onresize = checkBrowserWidth;
</script>
<h3 style="color:#A94279">
Optimal Hierarchical Decompositions for Congestion Minimization in Networks
</h3>

<b>Harald R&#228;cke</b>
<p>

</p><p>
Hierarchical graph decompositions play an important role in the design of
approximation and online algorithms for graph problems. This is mainly due to
the fact that the results concerning the approximation of metric spaces by tree
metrics (e.g. [Bar96,Bar98,CCG+98,FRT03]) depend on hierarchical graph
decompositions. In this line of work a probability distribution over tree
graphs is constructed from a given input graph, in such a way that the tree
distances closely resemble the distances in the original graph. This allows it,
to solve many problems with a distance-based cost function on trees, and then
transfer the tree solution to general undirected graphs with only a logarithmic
loss in the performance guarantee.
</p><p>
The results about oblivious routing [Rae02,HHR03] in general undirected
graphs are based on hierarchical decompositions of a different type in the
sense that they are aiming to approximate the bottlenecks in the network
(instead of the point-to-point distances). We call such decompositions
<i>cut-based decompositions</i>. It has been shown that they also can be used
to design approximation and online algorithms for a wide variety of different
problems, but at the current state of the art the performance guarantee goes
down by an <math xmlns='http://www.w3.org/1998/Math/MathML'><mi>O</mi><mo>(</mo><msup><mo lspace="0em" rspace="thinmathspace">log</mo> <mn>2</mn></msup><mi>n</mi><mo lspace="0em" rspace="thinmathspace">log</mo><mo lspace="0em" rspace="thinmathspace">log</mo><mi>n</mi><mo>)</mo></math>-factor when making the transition from tree
networks to general graphs.
</p><p>
In this paper we show how to construct cut-based decompositions that only
result in a logarithmic loss in performance, which is asymptotically optimal.
Remarkably, one major ingredient of our proof is a distance-based decomposition
scheme due to Fakcharoenphol, Rao and Talwar [FRT03]. This shows an
interesting relationship between these seemingly different decomposition
techniques.
</p><p>
The main applications of the new decomposition are an optimal 
<math xmlns='http://www.w3.org/1998/Math/MathML'><mi>O</mi><mo>(</mo><mo lspace="0em" rspace="thinmathspace">log</mo><mi>n</mi><mo>)</mo></math>-competitive algorithm for oblivious routing in general 
undirected graphs,
and an <math xmlns='http://www.w3.org/1998/Math/MathML'><mi>O</mi><mo>(</mo><mo lspace="0em" rspace="thinmathspace">log</mo><mi>n</mi><mo>)</mo></math>-approximation for Minimum Bisection, which improves the
<math xmlns='http://www.w3.org/1998/Math/MathML'><mi>O</mi><mo>(</mo><msup><mo lspace="0em" rspace="thinmathspace">log</mo> <mrow><mn>1</mn><mo>.</mo><mn>5</mn></mrow></msup><mi>n</mi><mo>)</mo></math> approximation by Feige and Krauthgamer [FK06].
</p></body></html>

