Conference paper
Program equivalence and context-free grammars
Barry K. Rosen
SWAT 1972
We show that the sparsest cut in graphs with n vertices and m edges can be approximated within O(log 2 n) factor in (m + n 3/2) time using polylogarithmic single commodity max-flow computations. Previous algorithms are based on multicommodity flows that take time (m + n 2). Our algorithm iteratively employs max-flow computations to embed an expander flow, thus providing a certificate of expansion. Our technique can also be extended to yield an O(log 2 n)-(pseudo-) approximation algorithm for the edge-separator problem with a similar running time. © 2009 ACM.
Barry K. Rosen
SWAT 1972
Xiaoxiao Guo, Shiyu Chang, et al.
AAAI 2019
Lars Graf, Thomas Bohnstingl, et al.
NeurIPS 2025
Pol G. Recasens, Yue Zhu, et al.
EuroSys 2024