Congested Clique Algorithms for the Minimum Cut Problem

We provide three different approaches to the minimum cut problem in the congested clique model of distributed computing. In this model, n nodes of the graph, each of which knows its own edges, can communicate in synchronous rounds; per round each node can send B-bits to each other node, where typically B=O(log n). At the end, each node should know its own part of the output, e.g., which side of the cut it is on. Our first algorithm is an O(1) round algorithm that finds a 1+o(1) approximation of the minimum cut. If the min-cut size is O(n^1/3 ), the algorithm finds an exact min-cut. This algorithm combines Karger's random sampling and his contraction algorithm; Nagamochi--Ibaraki--Nishizeki--Poljak's k--connectivity certificates; and Ahn--Guha--McGregor's algorithm for finding those certificates in the streaming model. To get an efficient implementation, we provide an algorithm that can solve simultaneously polynomially many instances of the MST problem in O(1) rounds. Our second algorithm is an O(log^3 n) round exact algorithm, based on the Karger-Stein approach. Its time complexity improves when larger messages are allowed. To implement this algorithm we present a general method to perform divide and conquer algorithms in the congested clique model. Our third algorithm is an O(log^2 n) round exact algorithm based on Karger's state of the art sequential exact min-cut algorithm, which works via tree-packing.

[1]  Fabian Kuhn,et al.  Distributed Minimum Cut Approximation , 2013, DISC.

[2]  Mohsen Ghaffari,et al.  An Improved Distributed Algorithm for Maximal Independent Set , 2015, SODA.

[3]  Sriram V. Pemmaraju,et al.  Toward Optimal Bounds in the Congested Clique: Graph Connectivity and MST , 2015, PODC.

[4]  Andrew Berns,et al.  Super-Fast Distributed Algorithms for Metric Facility Location , 2012, ICALP.

[5]  Boaz Patt-Shamir,et al.  The Round Complexity of Distributed Sorting , 2011 .

[6]  J. Kruskal On the shortest spanning subtree of a graph and the traveling salesman problem , 1956 .

[7]  Sriram V. Pemmaraju,et al.  Super-Fast MST Algorithms in the Congested Clique Using o(m) Messages , 2016, FSTTCS.

[8]  David R. Karger,et al.  Global min-cuts in RNC, and other ramifications of a simple min-out algorithm , 1993, SODA '93.

[9]  Friedhelm Meyer auf der Heide,et al.  Communication-Efficient Parallel Multiway and Approximate Minimum Cut Computation , 1998, LATIN.

[10]  Sriram V. Pemmaraju,et al.  Near-Constant-Time Distributed Algorithms on a Congested Clique , 2014, DISC.

[11]  Hsin-Hao Su,et al.  Almost-Tight Distributed Minimum Cut Algorithms , 2014, DISC.

[12]  Toshihide Ibaraki,et al.  Computing Edge-Connectivity in Multigraphs and Capacitated Graphs , 1992, SIAM J. Discret. Math..

[13]  Boaz Patt-Shamir,et al.  The round complexity of distributed sorting: extended abstract , 2011, PODC '11.

[14]  Peter Elias,et al.  A note on the maximum flow through a network , 1956, IRE Trans. Inf. Theory.

[15]  Mohsen Ghaffari Distributed MIS via All-to-All Communication , 2017, PODC.

[16]  Sergei Vassilvitskii,et al.  Shuffles and Circuits: (On Lower Bounds for Modern Parallel Computation) , 2016, SPAA.

[17]  Christoph Lenzen,et al.  Algebraic methods in the congested clique , 2015, Distributed Computing.

[18]  D. R. Fulkerson,et al.  Maximal Flow Through a Network , 1956 .

[19]  Merav Parter,et al.  MST in Log-Star Rounds of Congested Clique , 2016, PODC.

[20]  Sriram V. Pemmaraju,et al.  Lessons from the Congested Clique applied to MapReduce , 2015, Theor. Comput. Sci..

[21]  Christoph Lenzen,et al.  Optimal deterministic routing and sorting on the congested clique , 2012, PODC '13.

[22]  Kepa Korta Murua,et al.  Donostia - San Sebastián , 2009 .

[23]  Éva Tardos,et al.  Fast approximation algorithms for fractional packing and covering problems , 1991, [1991] Proceedings 32nd Annual Symposium of Foundations of Computer Science.

[24]  Christoph Lenzen,et al.  Near-Optimal Approximate Shortest Paths and Transshipment in Distributed and Streaming Models , 2016, DISC.

[25]  Danupon Nanongkai,et al.  Distributed approximation algorithms for weighted shortest paths , 2014, STOC.

[26]  Eric V. Denardo,et al.  Flows in Networks , 2011 .

[27]  Sanjay Ghemawat,et al.  MapReduce: Simplified Data Processing on Large Clusters , 2004, OSDI.

[28]  Sudipto Guha,et al.  Analyzing graph structure via linear measurements , 2012, SODA.

[29]  Boaz Patt-Shamir,et al.  Minimum-Weight Spanning Tree Construction in O(log log n) Communication Rounds , 2005, SIAM J. Comput..

[30]  David R. Karger,et al.  Random sampling in cut, flow, and network design problems , 1994, STOC '94.

[31]  Silvio Lattanzi,et al.  Filtering: a method for solving graph problems in MapReduce , 2011, SPAA '11.

[32]  David R. Karger,et al.  A new approach to the minimum cut problem , 1996, JACM.

[33]  David R. Karger,et al.  Random Sampling in Cut, Flow, and Network Design Problems , 1999, Math. Oper. Res..

[34]  Harold N. Gabow A matroid approach to finding edge connectivity and packing arborescences , 1991, STOC '91.

[35]  Fabian Kuhn,et al.  On the power of the congested clique model , 2014, PODC.

[36]  Christoph Lenzen,et al.  "Tri, Tri Again": Finding Triangles and Small Subgraphs in a Distributed Setting - (Extended Abstract) , 2012, DISC.

[37]  François Le Gall,et al.  Further Algebraic Algorithms in the Congested Clique Model and Applications to Graph-Theoretic Problems , 2016, DISC.

[38]  Philip N. Klein,et al.  A randomized linear-time algorithm to find minimum spanning trees , 1995, JACM.

[39]  Sergei Vassilvitskii,et al.  A model of computation for MapReduce , 2010, SODA '10.

[40]  Ronitt Rubinfeld,et al.  Improved Massively Parallel Computation Algorithms for MIS, Matching, and Vertex Cover , 2018, PODC.

[41]  Keren Censor-Hillel,et al.  Sparse Matrix Multiplication with Bandwidth Restricted All-to-All Communication , 2018, ArXiv.

[42]  Qin Zhang,et al.  Lower Bounds for Number-in-Hand Multiparty Communication Complexity, Made Easy , 2011, SIAM J. Comput..

[43]  David R. Karger,et al.  Minimum cuts in near-linear time , 1998, JACM.

[44]  Tomasz Jurdzinski,et al.  MST in O(1) Rounds of Congested Clique , 2018, SODA.