skip to main content
10.1145/2897518.2897654acmconferencesArticle/Chapter ViewAbstractPublication PagesstocConference Proceedingsconference-collections
research-article
Public Access

Routing under balance

Published: 19 June 2016 Publication History

Abstract

We introduce the notion of balance for directed graphs: a weighted directed graph is α-balanced if for every cut SV, the total weight of edges going from S to VS is within factor α of the total weight of edges going from VS to S. Several important families of graphs are nearly balanced, in particular, Eulerian graphs (with α = 1) and residual graphs of (1+є)-approximate undirected maximum flows (with α=O(1/є)).
We use the notion of balance to give a more fine-grained understanding of several well-studied routing questions that are considerably harder in directed graphs. We first revisit oblivious routings in directed graphs. Our main algorithmic result is an oblivious routing scheme for single-source instances that achieve an O(α · log3 n / loglogn) competitive ratio. In the process, we make several technical contributions which may be of independent interest. In particular, we give an efficient algorithm for computing low-radius decompositions of directed graphs parameterized by balance. We also define and construct low-stretch arborescences, a generalization of low-stretch spanning trees to directed graphs.
On the negative side, we present new lower bounds for oblivious routing problems on directed graphs. We show that the competitive ratio of oblivious routing algorithms for directed graphs is Ω(n) in general; this result improves upon the long-standing best known lower bound of Ω(√n) by Hajiaghayi et al. We also show that our restriction to single-source instances is necessary by showing an Ω(√n) lower bound for multiple-source oblivious routing in Eulerian graphs.
We also study the maximum flow problem in balanced directed graphs with arbitrary capacities. We develop an efficient algorithm that finds an (1+є)-approximate maximum flows in α-balanced graphs in time O(m α2 / є2). We show that, using our approximate maximum flow algorithm, we can efficiently determine whether a given directed graph is α-balanced. Additionally, we give an application to the directed sparsest cut problem.

References

[1]
{ACF + 03} Yossi Azar, Edith Cohen, Amos Fiat, Haim Kaplan, and Harald Räcke. Optimal oblivious routing in polynomial time. In Lawrence L. Larmore and Michel X. Goemans, editors, Proc. of ACM STOC, pages 383–388. ACM, 2003.
[2]
{AKPW95} N. Alon, R. Karp, D. Peleg, and D. West. A graph-theoretic game and its application to the k-server problem. SIAM J. Comput., 24(1):78–100, 1995.
[3]
{Awe85} Baruch Awerbuch. Complexity of network synchronization. J. ACM, 32(4):804–823, October 1985.
[4]
{Bar96} Y. Bartal. Probabilistic approximation of metric spaces and its algorithmic applications. In Foundations of Computer Science, 1996. Proceedings., 37th Annual Symposium on, pages 184–193, 1996.
[5]
{BKR03} Marcin Bienkowski, Miroslaw Korzeniowski, and Harald Räcke. A practical algorithm for constructing oblivious routing schemes. In SPAA 2003: Proceedings of the Fifteenth Annual ACM Symposium on Parallelism in Algorithms and Architectures, June 7-9, 2003, San Diego, California, USA (part of FCRC 2003), pages 24–33. ACM, 2003.
[6]
{BL99} Yair Bartal and Stefano Leonardi. On-line routing in all-optical networks. Theoretical Computer Science, 221(1-2):19–39, 1999.
[7]
{CKM + 14} Michael B. Cohen, Rasmus Kyng, Gary L. Miller, Jakub W. Pachocki, Richard Peng, Anup Rao, and Shen Chen Xu. Solving sdd linear systems in nearly mlog1/2n time. In STOC, pages 343–352, 2014.
[8]
{CMP + 14} Michael B. Cohen, Gary L. Miller, Jakub W. Pachocki, Richard Peng, and Shen Chen Xu. Stretching stretch. CoRR, abs/1401.2454, 2014.
[9]
{ER09} Matthias Englert and Harald Räcke. Oblivious routing for the lp-norm. In Proc. of IEEE FOCS, pages 32–40. IEEE Computer Society, 2009.
[10]
{GR98} Andrew V. Goldberg and Satish Rao. Beyond the flow decomposition barrier. J. ACM, 45(5):783–797, 1998.
[11]
{HKLR05} Mohammad Taghi Hajiaghayi, Jeong Han Kim, Tom Leighton, and Harald Räcke. Oblivious routing in directed graphs with random demands. In Harold N. Gabow and Ronald Fagin, editors, Proceedings of the 37th Annual ACM Symposium on Theory of Computing, Baltimore, MD, USA, May 22-24, 2005, pages 193–201. ACM, 2005.
[12]
{HKLR06} Mohammad Taghi Hajiaghayi, Robert D. Kleinberg, Frank Thomson Leighton, and Harald Räcke. New lower bounds for oblivious routing in undirected graphs. In Proc. of ACM-SIAM SODA, pages 918–927. ACM Press, 2006.
[13]
{HKRL07} Mohammad Taghi Hajiaghayi, Robert D. Kleinberg, Harald Räcke, and Tom Leighton. Oblivious routing on node-capacitated and directed graphs. ACM Transactions on Algorithms, 3(4), 2007.
[14]
{KLOS14} Jonathan A. Kelner, Yin Tat Lee, Lorenzo Orecchia, and Aaron Sidford. An almost-linear-time algorithm for approximate max flow in undirected graphs, and its multicommodity generalizations. In Proceedings of the Twenty-Fifth Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2014, Portland, Oregon, USA, January 5-7, 2014, pages 217–226, 2014.
[15]
{Lou10} Anand Louis. Cut-matching games on directed graphs. CoRR, abs/1010.1047, 2010.
[16]
{LS13} Yin Tat Lee and Aaron Sidford. Matching the universal barrier without paying the costs : Solving linear programs with ˜ o(sqrt(rank)) linear system solves. CoRR, abs/1312.6677, 2013.
[17]
{Mad10} Aleksander Madry. Fast approximation algorithms for cut-based problems in undirected graphs. In FOCS, pages 245–254. IEEE Computer Society, 2010.
[18]
{Mad13} Aleksander Madry. Navigating central path with electrical flows: From flows to matchings, and back. In 54th Annual IEEE Symposium on Foundations of Computer Science, FOCS 2013, 26-29 October, 2013, Berkeley, CA, USA, pages 253–262, 2013.
[19]
{MMVW97} Bruce M. Maggs, Friedhelm Meyer auf der Heide, Berthold Vöcking, and Matthias Westermann. Exploiting locality for data management in systems of limited bandwidth. In Proc. of IEEE FOCS, pages 284–293. IEEE Computer Society, 1997.
[20]
{MPX13} Gary L. Miller, Richard Peng, and Shen Chen Xu. Parallel graph decompositions using random shifts. In Proceedings of the Twenty-fifth Annual ACM Symposium on Parallelism in Algorithms and Architectures, SPAA ’13, pages 196–203, New York, NY, USA, 2013. ACM. {Nes13} Yurii Nesterov. Gradient methods for minimizing composite functions. Math. Program., 140(1):125–161, 2013.
[21]
{Pen14} Richard Peng. A note on cut-approximators and approximating undirected max flows. CoRR, abs/1411.7631, 2014.
[22]
{Räc02} Harald Räcke. Minimizing congestion in general networks. In Proc. of IEEE FOCS, pages 43–52. IEEE Computer Society, 2002.
[23]
{Räc08} Harald Räcke. Optimal hierarchical decompositions for congestion minimization in networks. In Proceedings of the 40th Annual ACM Symposium on Theory of Computing, Victoria, British Columbia, Canada, May 17-20, 2008, pages 255–264, 2008.
[24]
{Räc09} Harald Räcke. Survey on oblivious routing strategies. In Klaus Ambos-Spies, Benedikt Löwe, and Wolfgang Merkle, editors, Mathematical Theory and Computational Practice, 5th Conference on Computability in Europe, CiE 2009, Heidelberg, Germany, July 19-24, 2009. Proceedings, volume 5635 of Lecture Notes in Computer Science, pages 419–429. Springer, 2009.
[25]
{RST14} Harald Räcke, Chintan Shah, and Hanjo Täubig. Computing cut-based hierarchical decompositions in almost linear time. In Proceedings of the Twenty-Fifth Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2014, Portland, Oregon, USA, January 5-7, 2014, pages 227–238, 2014.
[26]
{RT14} Peter Richtárik and Martin Takác. Iteration complexity of randomized block-coordinate descent methods for minimizing a composite function. Math. Program., 144(1-2):1–38, 2014.
[27]
{She13} Jonah Sherman. Nearly maximum flows in nearly linear time. In 54th Annual IEEE Symposium on Foundations of Computer Science, FOCS 2013, 26-29 October, 2013, Berkeley, CA, USA, pages 263–269, 2013.

Cited By

View all
  • (2024)Tight Lower Bounds for Directed Cut Sparsification and Distributed Min-CutProceedings of the ACM on Management of Data10.1145/36511482:2(1-18)Online publication date: 14-May-2024
  • (2023)Cheeger Inequalities for Directed Graphs and Hypergraphs using Reweighted EigenvaluesProceedings of the 55th Annual ACM Symposium on Theory of Computing10.1145/3564246.3585139(1834-1847)Online publication date: 2-Jun-2023
  • (2020)Nearly linear row sampling algorithm for quantile regressionProceedings of the 37th International Conference on Machine Learning10.5555/3524938.3525493(5979-5989)Online publication date: 13-Jul-2020
  • Show More Cited By

Recommendations

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences
STOC '16: Proceedings of the forty-eighth annual ACM symposium on Theory of Computing
June 2016
1141 pages
ISBN:9781450341325
DOI:10.1145/2897518
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 19 June 2016

Permissions

Request permissions for this article.

Check for updates

Author Tags

  1. Balanced Directed Graphs
  2. Directed Graphs
  3. Gradient Descent
  4. Graph Clustering
  5. Maximum Flow
  6. Oblivious Rout- ing

Qualifiers

  • Research-article

Funding Sources

  • NSF

Conference

STOC '16
Sponsor:
STOC '16: Symposium on Theory of Computing
June 19 - 21, 2016
MA, Cambridge, USA

Acceptance Rates

Overall Acceptance Rate 1,469 of 4,586 submissions, 32%

Upcoming Conference

STOC '25
57th Annual ACM Symposium on Theory of Computing (STOC 2025)
June 23 - 27, 2025
Prague , Czech Republic

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)82
  • Downloads (Last 6 weeks)14
Reflects downloads up to 03 Mar 2025

Other Metrics

Citations

Cited By

View all
  • (2024)Tight Lower Bounds for Directed Cut Sparsification and Distributed Min-CutProceedings of the ACM on Management of Data10.1145/36511482:2(1-18)Online publication date: 14-May-2024
  • (2023)Cheeger Inequalities for Directed Graphs and Hypergraphs using Reweighted EigenvaluesProceedings of the 55th Annual ACM Symposium on Theory of Computing10.1145/3564246.3585139(1834-1847)Online publication date: 2-Jun-2023
  • (2020)Nearly linear row sampling algorithm for quantile regressionProceedings of the 37th International Conference on Machine Learning10.5555/3524938.3525493(5979-5989)Online publication date: 13-Jul-2020
  • (2020)Faster energy maximization for faster maximum flowProceedings of the 52nd Annual ACM SIGACT Symposium on Theory of Computing10.1145/3357713.3384247(803-814)Online publication date: 22-Jun-2020
  • (2018)Approximating cycles in directed graphsProceedings of the Twenty-Ninth Annual ACM-SIAM Symposium on Discrete Algorithms10.5555/3174304.3175396(1374-1392)Online publication date: 7-Jan-2018
  • (2018)Cut Sparsifiers for Balanced DigraphsApproximation and Online Algorithms10.1007/978-3-030-04693-4_17(277-294)Online publication date: 29-Nov-2018
  • (2017)Almost-linear-time algorithms for Markov chains and new spectral primitives for directed graphsProceedings of the 49th Annual ACM SIGACT Symposium on Theory of Computing10.1145/3055399.3055463(410-419)Online publication date: 19-Jun-2017

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Login options

Figures

Tables

Media

Share

Share

Share this Publication link

Share on social media