Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
skip to main content
research-article

Near-Optimal Time–Energy Tradeoffs for Deterministic Leader Election

Published: 26 September 2023 Publication History

Abstract

We consider the energy complexity of the leader election problem in the single-hop radio network model, where each device v has a unique identifier ID(v) ∈{ 1, 2, ⋖, N} . Energy is a scarce resource for small battery-powered devices. For such devices, most of the energy is often spent on communication, not on computation. To approximate the actual energy cost, the energy complexity of an algorithm is defined as the maximum over all devices of the number of time slots where the device transmits or listens.
Much progress has been made in understanding the energy complexity of leader election in radio networks, but very little is known about the tradeoff between time and energy. Chang et al. [STOC 2017] showed that the optimal deterministic energy complexity of leader election is Θ (log log N) if each device can simultaneously transmit and listen but still leaving the problem of determining the optimal time complexity under any given energy constraint.
Time–energy tradeoff: For any k ≥ log log N, we show that a leader among at most n devices can be elected deterministically in O(k ċ n1+ε) + O(k ċ N1/k) time and O(k) energy if each device can simultaneously transmit and listen, where ε > 0 is any small constant. This improves upon the previous O(N)-time O(log log N)-energy algorithm by Chang et al. [STOC 2017]. We provide lower bounds to show that the time–energy tradeoff of our algorithm is near-optimal.
Dense instances: For the dense instances where the number of devices is n = Θ (N), we design a deterministic leader election algorithm using only O(1) energy. This improves upon the O(log* N)-energy algorithm by Jurdziński, Kutyłowski, and Zatopiański [PODC 2002] and the O(α (N))-energy algorithm by Chang et al. [STOC 2017]. More specifically, we show that the optimal deterministic energy complexity of leader election is \(\Theta (\max \lbrace 1, \log \tfrac{N}{n}\rbrace)\) if each device cannot simultaneously transmit and listen, and it is \(Θ (\max \lbrace 1, \log \log \tfrac{N}{n}\rbrace)\) if each device can simultaneously transmit and listen.

References

[1]
Noga Alon, Amotz Bar-Noy, Nathan Linial, and David Peleg. 1991. A lower bound for radio broadcast. J. Comput. Syst. Sci. 43, 2 (1991), 290–298.
[2]
Ny Aina Andriambolamalala and Vlady Ravelomanana. 2020. Transmitting once to elect a leader on wireless networks. In Proceedings of the 14th Latin American Symposium on Theoretical Informatics (LATIN’20). Springer International Publishing, Cham, 439–450.
[3]
John Augustine, William K. Moses Jr, and Gopal Pandurangan. 2022. Brief announcement: Distributed MST computation in the sleeping model: Awake-optimal algorithms and lower bounds. Proceedings of the 2022 ACM Symposium on Principles of Distributed Computing (PODC’22, Salerno, Italy), Association for Computing Machinery, New York, NY, 51–53. Distributed MST computation in the sleeping model: Awake-optimal algorithms and lower bounds. arXiv:2204.08385. Retrieved from https://arxiv.org/abs/2204.08385
[4]
Reuven Bar-Yehuda, Oded Goldreich, and Alon Itai. 1991. Efficient emulation of single-hop radio network with collision detection on multi-hop radio network with no collision detection. Distrib. Comput. 5, 2 (1991), 67–71.
[5]
Reuven Bar-Yehuda, Oded Goldreich, and Alon Itai. 1992. On the time-complexity of broadcast in multi-hop radio networks: An exponential gap between determinism and randomization. J. Comput. Syst. Sci. 45, 1 (1992), 104–126.
[6]
Leonid Barenboim and Tzalik Maimon. 2021. Deterministic logarithmic completeness in the distributed sleeping model. In Proceedings of the 35th International Symposium on Distributed Computing (DISC’21),Leibniz International Proceedings in Informatics (LIPIcs), Seth Gilbert (Ed.), Vol. 209. Schloss Dagstuhl–Leibniz-Zentrum für Informatik, Dagstuhl, Germany, 10:1–10:19. DOI:
[7]
Michael A. Bender, Martin Farach-Colton, Simai He, Bradley C. Kuszmaul, and Charles E. Leiserson. 2005. Adversarial contention resolution for simple channels. In Proceedings of the 17th Annual ACM Symposium on Parallelism in Algorithms and Architectures (SPAA’05). Association for Computing Machinery, New York, NY, 325–332. DOI:
[8]
Michael A. Bender, Tsvi Kopelowitz, Seth Pettie, and Maxwell Young. 2016. Contention resolution with log-logstar channel accesses. In Proceedings of the 48th Annual ACM Symposium on Theory of Computing (STOC’16). Association for Computing Machinery, New York, NY, 499–508. DOI:
[9]
J. Capetanakis. 1979. Tree algorithms for packet broadcast channels. IEEE Trans. Inf. Theory 25, 5 (1979), 505–515.
[10]
Yi-Jun Chang, Varsha Dani, Thomas P. Hayes, Qizheng He, Wenzheng Li, and Seth Pettie. 2018. The energy complexity of broadcast. In Proceedings of the ACM Symposium on Principles of Distributed Computing (PODC’18). ACM, 95–104. DOI:
[11]
Yi-Jun Chang, Tsvi Kopelowitz, Seth Pettie, Ruosong Wang, and Wei Zhan. 2019. Exponential separations in the energy complexity of leader election. ACM Trans. Algor. 15, 4, Article 49 (Oct.2019), 31 pages. DOI:
[12]
Yi-Jun Chang, Varsha Dani, Thomas P. Hayes, and Seth Pettie. 2020. The energy complexity of BFS in radio networks. In Proceedings of the 39th Symposium on Principles of Distributed Computing (PODC’20). ACM, 273–282. DOI:
[13]
Yi-Jun Chang and Shunhua Jiang. 2022. The energy complexity of las vegas leader election. In Proceedings of the 34th ACM Symposium on Parallelism in Algorithms and Architectures. 75–86.
[14]
Soumyottam Chatterjee, Robert Gmyr, and Gopal Pandurangan. 2020. Sleeping is efficient: MIS in \(O(1)\)-rounds node-averaged awake complexity. In Proceedings of the 39th Symposium on Principles of Distributed Computing (PODC’20). ACM, 99–108. DOI:
[15]
Bogdan S. Chlebus. 2001. Randomized communication in radio networks. Combin. Optim. Dordrecht 9, 1 (2001), 401–456.
[16]
Bogdan S. Chlebus, Dariusz R. Kowalski, and Mariusz A. Rokicki. 2012. Adversarial queuing on the multiple access channel. ACM Trans. Algor. 8, 1 (2012), 1–31.
[17]
A. E. F. Clementi, A. Monti, and R. Silvestri. 2003. Distributed broadcast in radio networks of unknown topology. Theor. Comput. Sci. 302, 1 (2003), 337–364.
[18]
Artur Czumaj and Peter Davies. 2017. Exploiting spontaneous transmissions for broadcasting and leader election in radio networks. In Proceedings of the ACM Symposium on Principles of Distributed Computing (PODC’17). 3–12. DOI:
[19]
Artur Czumaj and Wojciech Rytter. 2006. Broadcasting algorithms in radio networks with unknown topology. J. Algor. 60, 2 (2006), 115–143. DOI:
[20]
Varsha Dani, Aayush Gupta, Thomas P. Hayes, and Seth Pettie. 2023. Wake up and join me! An energy-efficient algorithm for maximal matching in radio networks. Distributed Computing 36, 3 (2023), 373–384.
[21]
Gianluca De Marco and Dariusz R. Kowalski. 2015. Fast nonadaptive deterministic algorithm for conflict resolution in a dynamic multiple-access channel. SIAM J. Comput. 44, 3 (2015), 868–888.
[22]
Gianluca De Marco, Dariusz R. Kowalski, and Grzegorz Stachowiak. 2019. Deterministic contention resolution on a shared channel. In Proceedings of the IEEE 39th International Conference on Distributed Computing Systems (ICDCS’19). IEEE, 472–482.
[23]
Gianluca De Marco, Dariusz R Kowalski, and Grzegorz Stachowiak. 2021. Deterministic contention resolution without collision detection: Throughput vs energy. In Proceedings of the IEEE 41st International Conference on Distributed Computing Systems (ICDCS’21). IEEE, 1009–1019.
[24]
Gianluca De Marco and Grzegorz Stachowiak. 2017. Asynchronous shared channel. In Proceedings of the ACM Symposium on Principles of Distributed Computing. 391–400.
[25]
Fabien Dufoulon, William K. Moses Jr, and Gopal Pandurangan. 2023. Distributed MIS in O(Log Log n) awake complexity. Proceedings of the 2023 ACM Symposium on Principles of Distributed Computing (PODC’23, Orlando, FL, USA), Association for Computing Machinery, New York, NY, 135–145.
[26]
Martín Farach-Colton, Rohan J. Fernandes, and Miguel A. Mosteiro. 2006. Lower bounds for clear transmissions in radio networks. In Proceedings of the 7th Latin American Symposium on Theoretical Informatics (LATIN’06). 447–454. DOI:
[27]
Robert Gallager. 1985. A perspective on multiaccess channels. IEEE Trans. Inf. Theory 31, 2 (1985), 124–142.
[28]
Mohsen Ghaffari and Bernhard Haeupler. 2013. Near optimal leader election in multi-hop radio networks. In Proceedings of the 24th Annual ACM-SIAM Symposium on Discrete Algorithms (SODA’13). 748–766.
[29]
Mohsen Ghaffari and Julian Portmann. 2022. Average awake complexity of MIS and matching. In Proceedings of the 34th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA’22). 45–55.
[30]
Leslie Ann Goldberg, Philip D Mackenzie, Mike Paterson, and Aravind Srinivasan. 2000. Contention resolution with constant expected delay. J. ACM 47, 6 (2000), 1048–1096.
[31]
Albert G. Greenberg, Philippe Flajolet, and Richard E. Ladner. 1987. Estimating the multiplicities of conflicts to speed their resolution in multiple access channels. J. ACM 34, 2 (1987), 289–325.
[32]
Albert G. Greenberg and Richard E. Landner. 1983. Estimating the multiplicities of conflicts in multiple access channels. In Proceedings of the 24th Annual Symposium on Foundations of Computer Science (SFCS’83). IEEE, 383–392.
[33]
A. G. Greenberg and S. Winograd. 1985. A lower bound on the time needed in the worst case to resolve conflicts deterministically in multiple access channels. J. ACM 32, 3 (1985), 589–596.
[34]
Bernhard Haeupler and David Wajc. 2016. A faster distributed radio broadcast primitive. In Proceedings of the ACM Symposium on Principles of Distributed Computing (PODC’16). ACM, 361–370.
[35]
Johan Hastad, Tom Leighton, and Brian Rogoff. 1987. Analysis of backoff protocols for multiple access channels. In Proceedings of the 19th Annual ACM Symposium on Theory of Computing. 241–253.
[36]
J. F. Hayes. 1978. An adaptive technique for local distribution. IEEE Trans. Commun. 26, 8 (1978), 1178–1186.
[37]
Tomasz Jurdziński, Mirosław Kutyłowski, and Jan Zatopiański. 2002. Efficient algorithms for leader election in radio networks. In Proceedings of the 21st Annual ACM Symposium on Principles of Distributed Computing (PODC’02). 51–57. DOI:
[38]
Tomasz Jurdziński, Mirosław Kutyłowski, and Jan Zatopiański. 2003. Weak communication in single-hop radio networks: Adjusting algorithms to industrial standards. Concurr. Comput.: Pract. Exp. 15, 11–12 (2003), 1117–1131.
[39]
Tomasz Jurdziński and Grzegorz Stachowiak. 2005. Probabilistic algorithms for the wake-up problem in single-hop radio networks. Theory Comput. Syst. 38, 3 (2005), 347–367.
[40]
János Komlós and Albert Greenberg. 1985. An asymptotically fast nonadaptive algorithm for conflict resolution in multiple-access channels. IEEE Trans. Inf. Theory 31, 2 (1985), 302–306.
[41]
Dariusz R. Kowalski. 2005. On selection problem in radio networks. In Proceedings of the 24th Annual ACM Symposium on Principles of Distributed Computing. 158–166.
[42]
Dariusz R. Kowalski and Andrzej Pelc. 2005. Broadcasting in undirected ad hoc radio networks. Distrib. Comput. 18, 1 (2005), 43–57. DOI:
[43]
Eyal Kushilevitz and Yishay Mansour. 1998. An \(\Omega (D\log (N/D))\) lower bound for broadcast in radio networks. SIAM J. Comput. 27, 3 (1998), 702–712. DOI:
[44]
R. M. Metcalfe and D. R. Boggs. 1976. Ethernet: Distributed packet switching for local computer networks. Commun. ACM 19, 7 (1976), 395–404.
[45]
Miguel A Mosteiro, Antonio Fernandez Anta, and Jorge Ramon Munoz. 2011. Unbounded contention resolution in multiple-access channels. In Proceedings of the 30th Annual ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing. 211–212.
[46]
Koji Nakano and Stephan Olariu. 2000. Randomized leader election protocols in radio networks with no collision detection. In International Symposium on Algorithms and Computation (ISAAC’00). Springer, 362–373.
[47]
Koji Nakano and Stephan Olariu. 2002. Uniform leader election protocols for radio networks. IEEE Trans. Parallel Distrib. Syst. 13, 5 (2002), 516–526.
[48]
Calvin Newport. 2014. Radio network lower bounds made easy. In Proceedings of the 28th International Symposium on Distributed Computing (DISC’14). 258–272. DOI:
[49]
Prabhakar Raghavan and Eli Upfal. 1995. Stochastic contention resolution with short delays. In Proceedings of the 27th Annual ACM Symposium on Theory of Computing. 229–237.
[50]
B. S. Tsybakov and V. A. Mikhailov. 1978. Free synchronous packet access in a broadcast channel with feedback. Probl. Peredachi Inf. 14, 4 (1978), 32–59.
[51]
Dan E. Willard. 1986. Log-logarithmic selection resolution protocols in a multiple access channel. SIAM J. Comput. 15, 2 (1986), 468–477. DOI:

Cited By

View all
  • (2024)Formation Control Algorithms for Drone Swarms and The Single Point of Failure Crisis: A Review2024 IEEE 33rd International Symposium on Industrial Electronics (ISIE)10.1109/ISIE54533.2024.10595819(1-6)Online publication date: 18-Jun-2024
  • (2024)The energy complexity of diameter and minimum cut computation in bounded-genus networksTheoretical Computer Science10.1016/j.tcs.2023.114279982:COnline publication date: 27-Feb-2024

Index Terms

  1. Near-Optimal Time–Energy Tradeoffs for Deterministic Leader Election

    Recommendations

    Comments

    Information & Contributors

    Information

    Published In

    cover image ACM Transactions on Algorithms
    ACM Transactions on Algorithms  Volume 19, Issue 4
    October 2023
    255 pages
    ISSN:1549-6325
    EISSN:1549-6333
    DOI:10.1145/3614237
    • Editor:
    • Edith Cohen
    Issue’s Table of Contents

    Publisher

    Association for Computing Machinery

    New York, NY, United States

    Publication History

    Published: 26 September 2023
    Online AM: 10 August 2023
    Accepted: 02 August 2023
    Revised: 11 July 2023
    Received: 26 February 2022
    Published in TALG Volume 19, Issue 4

    Permissions

    Request permissions for this article.

    Check for updates

    Author Tags

    1. Leader election
    2. radio network
    3. time–energy tradeoff

    Qualifiers

    • Research-article

    Funding Sources

    • Walter Haefner Foundation, ETH Zürich Foundation
    • Zhongguancun Haihua Institute for Frontier Information Technology
    • NSF CAREER

    Contributors

    Other Metrics

    Bibliometrics & Citations

    Bibliometrics

    Article Metrics

    • Downloads (Last 12 months)87
    • Downloads (Last 6 weeks)16
    Reflects downloads up to 10 Nov 2024

    Other Metrics

    Citations

    Cited By

    View all
    • (2024)Formation Control Algorithms for Drone Swarms and The Single Point of Failure Crisis: A Review2024 IEEE 33rd International Symposium on Industrial Electronics (ISIE)10.1109/ISIE54533.2024.10595819(1-6)Online publication date: 18-Jun-2024
    • (2024)The energy complexity of diameter and minimum cut computation in bounded-genus networksTheoretical Computer Science10.1016/j.tcs.2023.114279982:COnline publication date: 27-Feb-2024

    View Options

    Get Access

    Login options

    Full Access

    View options

    PDF

    View or Download as a PDF file.

    PDF

    eReader

    View online with eReader.

    eReader

    Full Text

    View this article in Full Text.

    Full Text

    Media

    Figures

    Other

    Tables

    Share

    Share

    Share this Publication link

    Share on social media