Distributed Computation with Continual Population Growth - Laboratoire Méthodes Formelles Access content directly
Conference Papers Year : 2020

Distributed Computation with Continual Population Growth

Abstract

Computing with synthetically engineered bacteria is a vibrant and active field with numerous applications in bio-production, bio-sensing, and medicine. Motivated by the lack of robustness and by resource limitation inside single cells, distributed approaches with communication among bacteria have recently gained in interest. In this paper, we focus on the problem of population growth happening concurrently, and possibly interfering, with the desired bio-computation. Specifically, we present a fast protocol in systems with continuous population growth for the majority consensus problem and prove that it correctly identifies the initial majority among two inputs with high probability if the initial difference is Ω(√ n log n) where n is the total initial population. We also present a fast protocol that correctly computes the NAND of two inputs with high probability. We demonstrate that combining the NAND gate protocol with the continuous-growth majority consensus protocol, using the latter as an amplifier, it is possible to implement circuits computing arbitrary Boolean functions. 2012 ACM Subject Classification Theory of computation → Distributed algorithms
Fichier principal
Vignette du fichier
A_B_Consensus.pdf (1.26 Mo) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-02946883 , version 1 (23-09-2020)

Identifiers

Cite

Da-Jung Cho, Matthias Függer, Corbin Hopper, Manish Kushwaha, Thomas Nowak, et al.. Distributed Computation with Continual Population Growth. DISC 2020 - 34th International Symposium on DIStributed Computing, 2020, virtual, Germany. p. 1-17, ⟨10.4230/LIPIcs.DISC.2020.6⟩. ⟨hal-02946883⟩
172 View
46 Download

Altmetric

Share

Gmail Facebook X LinkedIn More