{"oa":1,"oa_version":"None","date_created":"2018-12-11T11:48:30Z","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","publist_id":"6869","publisher":"SIAM","year":"2017","title":"Time-space trade-offs in population protocols","acknowledgement":"Dan  Alistarh  was  supported  by  a  Swiss  National  Science\r\nFoundation Ambizione Fellowship.  James Aspnes was supported  by  the  National  Science  Foundation  under  grants\r\nCCF-1637385 and CCF-1650596.  Rati Gelashvili was supported  by  the  National  Science  Foundation  under  grants\r\nCCF-1217921, CCF-1301926, and IIS-1447786, the Department of Energy under grant ER26116/DE-SC0008923, and\r\nOracle and Intel corporations.\r\nThe  authors  would  like  to  thank  David  Doty,  David\r\nSoloveichik,  and Milan Vojnovic for insightful discussions\r\nand feedback during the development of this work.","status":"public","type":"conference","doi":"doi.org/10.1137/1.9781611974782.169","page":"2560 - 2579","author":[{"orcid":"0000-0003-3650-940X","id":"4A899BFC-F248-11E8-B48F-1D18A9856A87","full_name":"Alistarh, Dan-Adrian","last_name":"Alistarh","first_name":"Dan-Adrian"},{"full_name":"Aspnes, James","first_name":"James","last_name":"Aspnes"},{"full_name":"Eisenstat, David","first_name":"David","last_name":"Eisenstat"},{"full_name":"Rivest, Ronald","last_name":"Rivest","first_name":"Ronald"},{"full_name":"Gelashvili, Rati","last_name":"Gelashvili","first_name":"Rati"}],"day":"01","month":"01","date_updated":"2023-02-23T13:19:13Z","extern":"1","conference":{"name":"SODA: Symposium on Discrete Algorithms"},"citation":{"ieee":"D.-A. Alistarh, J. Aspnes, D. Eisenstat, R. Rivest, and R. Gelashvili, “Time-space trade-offs in population protocols,” presented at the SODA: Symposium on Discrete Algorithms, 2017, pp. 2560–2579.","mla":"Alistarh, Dan-Adrian, et al. <i>Time-Space Trade-Offs in Population Protocols</i>. SIAM, 2017, pp. 2560–79, doi:<a href=\"https://doi.org/doi.org/10.1137/1.9781611974782.169\">doi.org/10.1137/1.9781611974782.169</a>.","short":"D.-A. Alistarh, J. Aspnes, D. Eisenstat, R. Rivest, R. Gelashvili, in:, SIAM, 2017, pp. 2560–2579.","ama":"Alistarh D-A, Aspnes J, Eisenstat D, Rivest R, Gelashvili R. Time-space trade-offs in population protocols. In: SIAM; 2017:2560-2579. doi:<a href=\"https://doi.org/doi.org/10.1137/1.9781611974782.169\">doi.org/10.1137/1.9781611974782.169</a>","ista":"Alistarh D-A, Aspnes J, Eisenstat D, Rivest R, Gelashvili R. 2017. Time-space trade-offs in population protocols. SODA: Symposium on Discrete Algorithms, 2560–2579.","apa":"Alistarh, D.-A., Aspnes, J., Eisenstat, D., Rivest, R., &#38; Gelashvili, R. (2017). Time-space trade-offs in population protocols (pp. 2560–2579). Presented at the SODA: Symposium on Discrete Algorithms, SIAM. <a href=\"https://doi.org/doi.org/10.1137/1.9781611974782.169\">https://doi.org/doi.org/10.1137/1.9781611974782.169</a>","chicago":"Alistarh, Dan-Adrian, James Aspnes, David Eisenstat, Ronald Rivest, and Rati Gelashvili. “Time-Space Trade-Offs in Population Protocols,” 2560–79. SIAM, 2017. <a href=\"https://doi.org/doi.org/10.1137/1.9781611974782.169\">https://doi.org/doi.org/10.1137/1.9781611974782.169</a>."},"publication_status":"published","date_published":"2017-01-01T00:00:00Z","language":[{"iso":"eng"}],"_id":"787","abstract":[{"lang":"eng","text":"Population protocols are a popular model of distributed computing, in which randomly-interacting agents with little computational power cooperate to jointly perform computational tasks. Inspired by developments in molecular computation, and in particular DNA computing, recent algorithmic work has focused on the complexity of solving simple yet fundamental tasks in the population model, such as leader election (which requires convergence to a single agent in a special &quot;leader&quot; state), and majority (in which agents must converge to a decision as to which of two possible initial states had higher initial count). Known results point towards an inherent trade-off between the time complexity of such algorithms, and the space complexity, i.e. size of the memory available to each agent. In this paper, we explore this trade-off and provide new upper and lower bounds for majority and leader election. First, we prove a unified lower bound, which relates the space available per node with the time complexity achievable by a protocol: for instance, our result implies that any protocol solving either of these tasks for n agents using O(log log n) states must take (n=polylogn) expected time. This is the first result to characterize time complexity for protocols which employ super-constant number of states per node, and proves that fast, poly-logarithmic running times require protocols to have relatively large space costs. On the positive side, we give algorithms showing that fast, poly-logarithmic convergence time can be achieved using O(log2 n) space per node, in the case of both tasks. Overall, our results highlight a time complexity separation between O(log log n) and (log2 n) state space size for both majority and leader election in population protocols, and introduce new techniques, which should be applicable more broadly."}],"main_file_link":[{"open_access":"1","url":"https://arxiv.org/abs/1602.08032"}]}