TY - GEN
T1 - Awake-Efficient Distributed Algorithms for Maximal Independent Set
AU - Hourani, Khalid
AU - Pandurangan, Gopal
AU - Robinson, Peter
N1 - Funding Information:
Supported, in part, by NSF grants IIS-1633720, CCF-1717075, and BSF award 2016419. 1With high probability (whp), means “with probability at least 1 − 1/nc, for some constant c > 0.”
Publisher Copyright:
© 2022 IEEE.
PY - 2022
Y1 - 2022
N2 - 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.
AB - 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.
KW - Awake Complexity
KW - Clustering Coefficient
KW - Maximal Independent Set
KW - Random Geometric Graphs
KW - Sleeping Model
UR - http://www.scopus.com/inward/record.url?scp=85140873810&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=85140873810&partnerID=8YFLogxK
U2 - 10.1109/ICDCS54860.2022.00153
DO - 10.1109/ICDCS54860.2022.00153
M3 - Conference contribution
AN - SCOPUS:85140873810
T3 - Proceedings - International Conference on Distributed Computing Systems
SP - 1338
EP - 1339
BT - Proceedings - 2022 IEEE 42nd International Conference on Distributed Computing Systems, ICDCS 2022
PB - Institute of Electrical and Electronics Engineers Inc.
T2 - 42nd IEEE International Conference on Distributed Computing Systems, ICDCS 2022
Y2 - 10 July 2022 through 13 July 2022
ER -