Awake-Efficient Distributed Algorithms for Maximal Independent Set

Khalid Hourani, Gopal Pandurangan, Peter Robinson

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

We present a simple algorithmic framework for designing efficient distributed algorithms for the fundamental symmetry breaking problem of Maximal Independent Set (MIS) in the sleeping model [Chatterjee et al, PODC 2020]. In the sleeping model, only the rounds in which a node is awake are counted for the awake complexity, while sleeping rounds are ignored. This is motivated by the fact that a node spends resources only in its awake rounds and hence the goal is to minimize the awake complexity.Our framework allows us to design distributed MIS algorithms that have O(polyloglog n) (worst-case) awake complexity in certain important graph classes which satisfy the so-called adjacency property. Informally, the adjacency property guarantees that the graph can be partitioned into an appropriate number of classes so that each node has at least one neighbor belonging to every class. Graphs that can satisfy the adjacency property are random graphs with large clustering coefficient such as random geometric graphs as well as line graphs of regular (or near regular) graphs.We first apply our framework to design two randomized distributed MIS algorithms for random geometric graphs of arbitrary dimension d (even non-constant). The first algorithm has O(polyloglog n) (worst-case) awake complexity with high probability, where n is the number of nodes in the graph. 1 This means that any node in the network spends only O(polyloglog n) awake rounds; this is almost exponentially better than the (traditional) time complexity of O(log n) rounds (where there is no distinction between awake and sleeping rounds) known for distributed MIS algorithms on general graphs or even the faster O(√log n/loglog n) rounds known for Erdos-Renyi random graphs. However, the (traditional) time complexity of our first algorithm is quite large - essentially proportional to the degree of the graph. Our second algorithm has a slightly worse awake complexity of O(d polyloglog n), but achieves a significantly better time complexity of O(d log n polyloglog n) rounds whp.We also show that our framework can be used to design O(polyloglog n) awake complexity MIS algorithms in other types of random graphs, namely an augmented Erdos-Renyi random graph that has a large clustering coefficient.

Original languageEnglish (US)
Title of host publicationProceedings - 2022 IEEE 42nd International Conference on Distributed Computing Systems, ICDCS 2022
PublisherInstitute of Electrical and Electronics Engineers Inc.
Pages1338-1339
Number of pages2
ISBN (Electronic)9781665471770
DOIs
StatePublished - 2022
Event42nd IEEE International Conference on Distributed Computing Systems, ICDCS 2022 - Bologna, Italy
Duration: Jul 10 2022Jul 13 2022

Publication series

NameProceedings - International Conference on Distributed Computing Systems
Volume2022-July

Conference

Conference42nd IEEE International Conference on Distributed Computing Systems, ICDCS 2022
Country/TerritoryItaly
CityBologna
Period7/10/227/13/22

Keywords

  • Awake Complexity
  • Clustering Coefficient
  • Maximal Independent Set
  • Random Geometric Graphs
  • Sleeping Model

ASJC Scopus subject areas

  • Software
  • Hardware and Architecture
  • Computer Networks and Communications

Fingerprint

Dive into the research topics of 'Awake-Efficient Distributed Algorithms for Maximal Independent Set'. Together they form a unique fingerprint.

Cite this