, Volume 15, Issue 2, pp 215–245

The geometry of graphs and some of its algorithmic applications

  • Nathan Linial
  • Eran London
  • Yuri Rabinovich

DOI: 10.1007/BF01200757

Cite this article as:
Linial, N., London, E. & Rabinovich, Y. Combinatorica (1995) 15: 215. doi:10.1007/BF01200757


In this paper we explore some implications of viewing graphs asgeometric objects. This approach offers a new perspective on a number of graph-theoretic and algorithmic problems. There are several ways to model graphs geometrically and our main concern here is with geometric representations that respect themetric of the (possibly weighted) graph. Given a graphG we map its vertices to a normed space in an attempt to (i) keep down the dimension of the host space, and (ii) guarantee a smalldistortion, i.e., make sure that distances between vertices inG closely match the distances between their geometric images.

In this paper we develop efficient algorithms for embedding graphs low-dimensionally with a small distortion. Further algorithmic applications include:
  1. A simple, unified approach to a number of problems on multicommodity flows, including the Leighton-Rao Theorem [37] and some of its extensions. We solve an open question in this area, showing that the max-flow vs. min-cut gap in thek-commodities problem isO(logk). Our new deterministic polynomial-time algorithm finds a (nearly tight) cut meeting this bound.

  2. For graphs embeddable in low-dimensional spaces with a small distortion, we can find low-diameter decompositions (in the sense of [7] and [43]). The parameters of the decomposition depend only on the dimension and the distortion and not on the size of the graph.

  3. In graphs embedded this way, small balancedseparators can be found efficiently.


Given faithful low-dimensional representations of statistical data, it is possible to obtain meaningful and efficientclustering. This is one of the most basic tasks in pattern-recognition. For the (mostly heuristic) methods used in the practice of pattern-recognition, see [20], especially chapter 6.

Our studies of multicommodity flows also imply that every embedding of (the metric of) ann-vertex, constant-degree expander into a Euclidean space (of any dimension) has distortion Ω(logn). This result is tight, and closes a gap left open by Bourgain [12].

Mathematics Subject Classification (1991)


Copyright information

© Akadémiai Kiadó 1995

Authors and Affiliations

  • Nathan Linial
    • 1
  • Eran London
    • 2
  • Yuri Rabinovich
    • 3
  1. 1.Institute of Computer ScienceHebrew UniversityJerusalemIsrael
  2. 2.Institute of MathematicsHebrew UniversityJerusalemIsrael
  3. 3.Department of Computer ScienceUniversity of TorontoTorontoCanada