Currently, the best known tradeoff between approximation ratio and complexity for the Sparsest Cut problem is achieved by the algorithm in [Sherman, FOCS 2009]: it computes $O(\sqrt{(\log n)/\varepsilon})$-approximation using $O(n^\varepsilon\log^{O(1)}n)$ maxflows for any $\varepsilon\in[\Theta(1/\log n),\Theta(1)]$. It works by solving the SDP relaxation of [Arora-Rao-Vazirani, STOC 2004] using the Multiplicative Weights Update algorithm (MW) of [Arora-Kale, JACM 2016]. To implement one MW step, Sherman approximately solves a multicommodity flow problem using another application of MW. Nested MW steps are solved via a certain ``chaining'' algorithm that combines results of multiple calls to the maxflow algorithm. We present an alternative approach that avoids solving the multicommodity flow problem and instead computes ``violating paths''. This simplifies Sherman's algorithm by removing a need for a nested application of MW, and also allows parallelization: we show how to compute $O(\sqrt{(\log n)/\varepsilon})$-approximation via $O(\log^{O(1)}n)$ maxflows using $O(n^\varepsilon)$ processors. We also revisit Sherman's chaining algorithm, and present a simpler version together with a new analysis.
翻译:目前,稀疏切割问题在近似比与复杂度之间已知的最佳权衡由[Sherman, FOCS 2009]中的算法实现:对于任意$\varepsilon\in[\Theta(1/\log n),\Theta(1)]$,它通过使用$O(n^\varepsilon\log^{O(1)}n)$次最大流计算,得到$O(\sqrt{(\log n)/\varepsilon})$-近似解。该算法通过利用[Arora-Kale, JACM 2016]中的乘性权重更新算法(MW),求解[Arora-Rao-Vazirani, STOC 2004]的SDP松弛。为执行一步MW,Sherman通过再次应用MW近似求解一个多商品流问题。嵌套的MW步骤通过某种“链式”算法解决,该算法组合多次调用最大流算法的结果。我们提出一种替代方法,避免求解多商品流问题,转而计算“违反路径”。这简化了Sherman算法,消除了嵌套应用MW的需求,并支持并行化:我们展示了如何通过$O(\log^{O(1)}n)$次最大流计算及使用$O(n^\varepsilon)$个处理器获得$O(\sqrt{(\log n)/\varepsilon})$-近似解。我们还重新审视了Sherman的链式算法,并给出了一个更简单的版本及其新分析。