skip to main content
research-article
Public Access

The Complexity of (Δ+1) Coloring in Congested Clique, Massively Parallel Computation, and Centralized Local Computation

Published: 16 July 2019 Publication History

Abstract

In this paper, we present new randomized algorithms that improve the complexity of the classic (Δ+1)-coloring problem, and its generalization (Δ+1)-list-coloring, in three well-studied models of distributed, parallel, and centralized computation: Distributed Congested Clique: We present an O(1)-round randomized algorithm for (Δ + 1)-list-coloring in the congested clique model of distributed computing. This settles the asymptotic complexity of this problem. It moreover improves upon the O(log* Δ)-round randomized algorithms of Parter and Su [DISC'18] and O((log log Δ)⋅ log* Δ)-round randomized algorithm of Parter [ICALP'18].
Massively Parallel Computation: We present a randomized (Δ + 1)-list-coloring algorithm with round complexity O(√ log log n ) in the Massively Parallel Computation (MPC) model with strongly sublinear memory per machine. This algorithm uses a memory of O(nα) per machine, for any desirable constant α > 0, and a total memory of Õ (m), where m is the number of edges in the graph. Notably, this is the first coloring algorithm with sublogarithmic round complexity, in the sublinear memory regime of MPC. For the quasilinear memory regime of MPC, an O(1)-round algorithm was given very recently by Assadi et al. [SODA'19].
Centralized Local Computation: We show that (Δ + 1)-list-coloring can be solved by a randomized algorithm with query complexity Δ O(1) … O(log n), in the centralized local computation model. The previous state of the art for (Δ+1)-list-coloring in the centralized local computation model are based on simulation of known LOCAL algorithms. The deterministic O(√ Δ poly log Δ + log* n)-round LOCAL algorithm of Fraigniaud et al. [FOCS'16] can be implemented in the centralized local computation model with query complexity ΔO(√ Δ poly log Δ) … O(log* n); the randomized O(log* Δ) + 2^O(√ log log n)-round LOCAL algorithm of Chang et al. [STOC'18] can be implemented in the centralized local computation model with query complexity ΔO(log* Δ) … O(log n).

References

[1]
Kook Jin Ahn and Sudipto Guha. 2015. Access to Data and Number of Iterations: Dual Primal Algorithms for Maximum Matching Under Resource Constraints. In Proc. SPAA. 202--211.
[2]
Noga Alon and Joel H. Spencer. 2016. The Probabilistic Method 4th ed.). Wiley Publishing.
[3]
Alexandr Andoni, Aleksandar Nikolov, Krzysztof Onak, and Grigory Yaroslavtsev. 2014. Parallel Algorithms for Geometric Graph Problems. In Proc. Symposium on Theory of Computation (STOC). 574--583.
[4]
Alexandr Andoni, Clifford Stein, Zhao Song, Zhengyu Wang, and Peilin Zhong. 2018. Parallel Graph Connectivity in Log Diameter Rounds. In Proceedings 59th IEEE Symposium on Foundations of Computer Science (FOCS). 674--685.
[5]
Sepehr Assadi. 2017. Simple round compression for parallel vertex cover. arXiv preprint arXiv:1709.04599 (2017).
[6]
Sepehr Assadi, MohammadHossein Bateni, Aaron Bernstein, Vahab Mirrokni, and Cliff Stein. 2019. Coresets meet EDCS: algorithms for matching and vertex cover on massive graphs. In Proceedings 30th Annual ACM-SIAM Symposium on Discrete Algorithms (SODA).
[7]
Sepehr Assadi, Yu Chen, and Sanjeev Khanna. 2019. Sublinear Algorithms for (Δ 1) Vertex Coloring. In Proceedings 30th Annual ACM-SIAM Symposium on Discrete Algorithms (SODA).
[8]
Sepehr Assadi, Xiaorui Sun, and Omri Weinstein. 2018. Massively Parallel Algorithms for Finding Well-Connected Components in Sparse Graphs. arXiv preprint arXiv:1805.02974 (2018).
[9]
Leonid Barenboim, Michael Elkin, and Uri Goldenberg. 2018. Locally-Iterative Distributed (Δ 1)-Coloring below Szegedy-Vishwanathan Barrier, and Applications to Self-Stabilization and to Restricted-Bandwidth Models. In Proceedings of the 2018 ACM Symposium on Principles of Distributed Computing (PODC). ACM, 437--446.
[10]
Leonid Barenboim, Michael Elkin, Seth Pettie, and Johannes Schneider. 2016. The Locality of Distributed Symmetry Breaking. J. ACM, Vol. 63, 3, Article 20 (2016), pages 20:1--20:45 pages.
[11]
Leonid Barenboim and Victor Khazanov. 2018. Distributed Symmetry-Breaking Algorithms for Congested Cliques. In Computer Science - Theory and Applications - 13th International Computer Science Symposium in Russia, CSR 2018, Moscow, Russia, June 6-10, 2018, Proceedings. 41--52.
[12]
Paul Beame, Paraschos Koutris, and Dan Suciu. 2013. Communication Steps for Parallel Query Processing. In Proceedings of the 32Nd ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems (PODS). 273--284.
[13]
Paul Beame, Paraschos Koutris, and Dan Suciu. 2014. Skew in Parallel Query Processing. In Proceedings of the 33rd ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems (PODS). 212--223.
[14]
Ruben Becker, Andreas Karrenbauer, Sebastian Krinninger, and Christoph Lenzen. 2017. Near-Optimal Approximate Shortest Paths and Transshipment in Distributed and Streaming Models. In 31st International Symposium on Distributed Computing (DISC 2017) (Leibniz International Proceedings in Informatics (LIPIcs)), Andréa W. Richa (Ed.), Vol. 91. Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 7:1--7:16.
[15]
Andrew Berns, James Hegeman, and Sriram V Pemmaraju. 2012. Super-fast distributed algorithms for metric facility location. In Automata, Languages, and Programming. Springer, 428--439.
[16]
Mahdi Boroujeni, Soheil Ehsani, Mohammad Ghodsi, MohammadTaghi HajiAghayi, and Saeed Seddighin 2018. Approximating edit distance in truly subquadratic time: quantum and MapReduce. In Proc. Symposium on Discrete Algorithms (SODA). 1170--1189.
[17]
Sebastian Brandt, Manuela Fischer, and Jara Uitto. 2018. Breaking the Linear-Memory Barrier in MPC: Fast MIS on Trees with n ε Memory per Machine. arXiv preprint arXiv:1802.06748 (2018).
[18]
Keren Censor-Hillel, Petteri Kaski, Janne H. Korhonen, Christoph Lenzen, Ami Paz, and Jukka Suomela. 2016. Algebraic methods in the congested clique. Distributed Computing (2016).
[19]
Keren Censor-Hillel, Dean Leitersdorf, and Elia Turner. 2018 Sparse Matrix Multiplication with Bandwidth Restricted All-to-All Communication. CoR, Vol. abs/1802.04789 (2018).
[20]
Yi-Jun Chang, Manuela Fischer, Mohsen Ghaffari, Jara Uitto, and Yufan Zheng. 2018a. The Complexity of (Δ 1) Coloring in Congested Clique, Massively Parallel Computation, and Centralized Local Computation. CoRR, Vol. abs/1808.08419 (2018). arxiv: 1808.08419 http://arxiv.org/abs/1808.08419
[21]
Yi-Jun Chang, Wenzheng Li, and Seth Pettie. 2018b. An Optimal Distributed (Δ 1)-coloring Algorithm?. In Proceedings of the 50th Annual ACM SIGACT Symposium on Theory of Computing (STOC 2018). ACM, New York, NY, USA, 445--456.
[22]
Artur Czumaj, Jakub Lacki, Aleksander Madry, Slobodan Mitrovic, Krzysztof Onak, and Piotr Sankowski. 2018. Round Compression for Parallel Matching Algorithms. In Proc. Symposium on Theory of Computation (STOC). 471--484.
[23]
Jeffrey Dean and Sanjay Ghemawat. 2004. MapReduce: Simplified Data Processing on Large Clusters. In Proceedings of the 6th Conference on Symposium on Operating Systems Design & Implementation (OSDI). USENIX Association, Berkeley, CA, USA, 10--10. http://dl.acm.org/citation.cfm?id=1251254.1251264
[24]
Danny Dolev, Christoph Lenzen, and Shir Peled. 2012. "Tri, Tri Again": Finding Triangles and Small Subgraphs in a Distributed Setting. In Distributed Computing. Springer, 195--209.
[25]
Andrew Drucker, Fabian Kuhn, and Rotem Oshman. 2014. On the Power of the Congested Clique Model. In Proc. Principles of Distributed Computing (PODC). ACM, 367--376.
[26]
Manuela Fischer and Mohsen Ghaffari. 2017. Sublogarithmic Distributed Algorithms for Lovász Local Lemma with Implications on Complexity Hierarchies. In Proceedings 31st International Symposium on Distributed Computing (DISC). 18:1--18:16.
[27]
Pierre Fraigniaud, Marc Heinrich, and Adrian Kosowski. 2016. Local conflict coloring. In Proceedings 57th Annual IEEE Symposium on Foundations of Computer Science (FOCS). 625--634.
[28]
Francois Le Gall. 2016. Further Algebraic Algorithms in the Congested Clique Model and Applications to Graph-Theoretic Problems. In DISC.
[29]
Mohsen Ghaffari. 2016. An improved distributed algorithm for maximal independent set. In Proceedings 27th Annual ACM-SIAM Symposium on Discrete Algorithms (SODA). 270--277.
[30]
Mohsen Ghaffari. 2017. Distributed MIS via All-to-All Communication. In Proc. Principles of Distributed Computing (PODC). 141--149.
[31]
Mohsen Ghaffari, Themis Gouleakis, Christian Konrad, Slobodan Mitrović, and Ronitt Rubinfeld. 2018. Improved massively parallel computation algorithms for mis, matching, and vertex cover. In Proc. Principles of Distributed Computing (PODC). arXiv:1802.08237.
[32]
Mohsen Ghaffari and Jara Uitto. 2019. Sparsifying Distributed Algorithms with Ramifications in Massively Parallel Computation and Centralized Local Computation. In Proceedings 30th Annual ACM-SIAM Symposium on Discrete Algorithms (SODA).
[33]
Michael T. Goodrich, Nodari Sitchinava, and Qin Zhang. 2011. Sorting, searching, and simulation in the MapReduce framework. In Proc. ISAAC. Springer, 374--383.
[34]
David G Harris, Johannes Schneider, and Hsin-Hao Su. 2018. Distributed (Δ 1)-Coloring in Sublogarithmic Rounds. J. ACM, Vol. 65, 4 (2018), 19:1--19:21.
[35]
Nicholas J. A. Harvey, Christopher Liaw, and Paul Liu. 2018. Greedy and Local Ratio Algorithms in the MapReduce Model. In Proceedings of the 30th on Symposium on Parallelism in Algorithms and Architectures (SPAA). ACM, New York, NY, USA, 43--52.
[36]
James W. Hegeman, Gopal Pandurangan, Sriram V. Pemmaraju, Vivek B. Sardeshmukh, and Michele Scquizzato. 2015. Toward Optimal Bounds in the Congested Clique: Graph Connectivity and MST. In Proc. Principles of Distributed Computing (PODC). ACM, 91--100.
[37]
James W Hegeman and Sriram V Pemmaraju. 2015a. Lessons from the congested clique applied to Map Reduce. Theoretical Computer Science, Vol. 608 (2015), 268--281.
[38]
James W. Hegeman and Sriram V. Pemmaraju. 2015b. Lessons from the Congested Clique Applied to MapReduce. Theor. Comput. Sci., Vol. 608, P3 (Dec. 2015), 268--281.
[39]
James W Hegeman, Sriram V Pemmaraju, and Vivek B Sardeshmukh. 2014. Near-constant-time distributed algorithms on a congested clique. In Distributed Computing. Springer, 514--530.
[40]
Sungjin Im, Benjamin Moseley, and Xiaorui Sun. 2017. Efficient Massively Parallel Methods for Dynamic Programming. In Proc. Symposium on Theory of Computation (STOC). 798--811.
[41]
Michael Isard, Mihai Budiu, Yuan Yu, Andrew Birrell, and Dennis Fetterly. 2007. Dryad: Distributed Data-parallel Programs from Sequential Building Blocks. SIGOPS Operating Systems Review, Vol. 41, 3 (2007), 59--72.
[42]
Tomasz Jurdzinski and Krzysztof Nowicki. 2018. MST in O(1) Rounds of Congested Clique. In Proceedings of the Twenty-Ninth Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2018, New Orleans, LA, USA, January 7-10, 2018. 2620--2632.
[43]
Howard J. Karloff, Siddharth Suri, and Sergei Vassilvitskii. 2010. A Model of Computation for MapReduce. In Proc. Symposium on Discrete Algorithms (SODA). 938--948.
[44]
Silvio Lattanzi, Benjamin Moseley, Siddharth Suri, and Sergei Vassilvitskii. 2011. Filtering: a method for solving graph problems in Map Reduce. In Proc. SPAA. 85--94.
[45]
Christoph Lenzen. 2013. Optimal Deterministic Routing and Sorting on the Congested Clique. In Proceedings 33rd ACM Symposium on Principles of Distributed Computing (PODC). 42--50.
[46]
Christoph Lenzen and Roger Wattenhofer. 2010. Brief Announcement: Exponential Speed-up of Local Algorithms Using Non-local Communication. In Proceedings of the 29th ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing (PODC). ACM, 295--296.
[47]
Reut Levi and Moti Medina. 2017. A (centralized) local guide. Bulletin of EATCS, Vol. 2, 122 (2017).
[48]
Nathan Linial. 1992. Locality in Distributed Graph Algorithms. SIAM J. Comput., Vol. 21, 1 (1992), 193--201.
[49]
Zvi Lotker, Boaz Patt-Shamir, Elan Pavlov, and David Peleg. 2005. Minimum-weight spanning tree construction in O(log log n) communication rounds. SIAM J. Comput., Vol. 35, 1 (2005), 120--131.

Cited By

View all
  • (2024)Adaptive Massively Parallel Coloring in Sparse GraphsProceedings of the 43rd ACM Symposium on Principles of Distributed Computing10.1145/3662158.3662821(508-518)Online publication date: 17-Jun-2024
  • (2024)Brief Announcement: Massively Parallel Ruling Set Made DeterministicProceedings of the 43rd ACM Symposium on Principles of Distributed Computing10.1145/3662158.3662816(523-526)Online publication date: 17-Jun-2024
  • (2024)(Δ+1) Vertex Coloring in O(n) CommunicationProceedings of the 43rd ACM Symposium on Principles of Distributed Computing10.1145/3662158.3662796(416-424)Online publication date: 17-Jun-2024
  • Show More Cited By

Index Terms

  1. The Complexity of (Δ+1) Coloring in Congested Clique, Massively Parallel Computation, and Centralized Local Computation

    Recommendations

    Comments

    Information & Contributors

    Information

    Published In

    cover image ACM Conferences
    PODC '19: Proceedings of the 2019 ACM Symposium on Principles of Distributed Computing
    July 2019
    563 pages
    ISBN:9781450362177
    DOI:10.1145/3293611
    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: 16 July 2019

    Permissions

    Request permissions for this article.

    Check for updates

    Author Tags

    1. centralized local computation
    2. coloring
    3. congested clique
    4. massively parallel computation

    Qualifiers

    • Research-article

    Funding Sources

    Conference

    PODC '19
    Sponsor:
    PODC '19: ACM Symposium on Principles of Distributed Computing
    July 29 - August 2, 2019
    Toronto ON, Canada

    Acceptance Rates

    PODC '19 Paper Acceptance Rate 48 of 173 submissions, 28%;
    Overall Acceptance Rate 740 of 2,477 submissions, 30%

    Contributors

    Other Metrics

    Bibliometrics & Citations

    Bibliometrics

    Article Metrics

    • Downloads (Last 12 months)92
    • Downloads (Last 6 weeks)19
    Reflects downloads up to 21 Oct 2024

    Other Metrics

    Citations

    Cited By

    View all
    • (2024)Adaptive Massively Parallel Coloring in Sparse GraphsProceedings of the 43rd ACM Symposium on Principles of Distributed Computing10.1145/3662158.3662821(508-518)Online publication date: 17-Jun-2024
    • (2024)Brief Announcement: Massively Parallel Ruling Set Made DeterministicProceedings of the 43rd ACM Symposium on Principles of Distributed Computing10.1145/3662158.3662816(523-526)Online publication date: 17-Jun-2024
    • (2024)(Δ+1) Vertex Coloring in O(n) CommunicationProceedings of the 43rd ACM Symposium on Principles of Distributed Computing10.1145/3662158.3662796(416-424)Online publication date: 17-Jun-2024
    • (2024)Lenzen’s Distributed Routing Generalized: A Full Characterization of Constant-Time RoutabilityProceedings of the 56th Annual ACM Symposium on Theory of Computing10.1145/3618260.3649627(1877-1888)Online publication date: 10-Jun-2024
    • (2024)Parallel Derandomization for Coloring*2024 IEEE International Parallel and Distributed Processing Symposium (IPDPS)10.1109/IPDPS57955.2024.00098(1058-1069)Online publication date: 27-May-2024
    • (2024)Component stability in low-space massively parallel computationDistributed Computing10.1007/s00446-024-00461-937:1(35-64)Online publication date: 8-Feb-2024
    • (2023)Distributed Symmetry Breaking on Power Graphs via SparsificationProceedings of the 2023 ACM Symposium on Principles of Distributed Computing10.1145/3583668.3594579(157-167)Online publication date: 19-Jun-2023
    • (2023)Deterministic Massively Parallel Symmetry Breaking for Sparse GraphsProceedings of the 35th ACM Symposium on Parallelism in Algorithms and Architectures10.1145/3558481.3591081(89-100)Online publication date: 17-Jun-2023
    • (2023)Almost Optimal Massively Parallel Algorithms for k-Center Clustering and Diversity MaximizationProceedings of the 35th ACM Symposium on Parallelism in Algorithms and Architectures10.1145/3558481.3591077(239-247)Online publication date: 17-Jun-2023
    • (2023)Agnostic proper learning of monotone functions: beyond the black-box correction barrier2023 IEEE 64th Annual Symposium on Foundations of Computer Science (FOCS)10.1109/FOCS57990.2023.00068(1149-1170)Online publication date: 6-Nov-2023
    • Show More Cited By

    View Options

    View options

    PDF

    View or Download as a PDF file.

    PDF

    eReader

    View online with eReader.

    eReader

    Get Access

    Login options

    Media

    Figures

    Other

    Tables

    Share

    Share

    Share this Publication link

    Share on social media