• Corpus ID: 7537681

Tight Analysis for the 3-Majority Consensus Dynamics

  title={Tight Analysis for the 3-Majority Consensus Dynamics},
  author={Mohsen Ghaffari and Johannes Lengler},
We present a tight analysis for the well-studied randomized 3-majority dynamics of stabilizing consensus, hence answering the main open question of Becchetti et al. [SODA'16]. Consider a distributed system of n nodes, each initially holding an opinion in {1, 2, ..., k}. The system should converge to a setting where all (non-corrupted) nodes hold the same opinion. This consensus opinion should be \emph{valid}, meaning that it should be among the initially supported opinions, and the (fast… 

A Tight Analysis of the Parallel Undecided-State Dynamics with Two Colors

It is proved that, starting from any initial configuration, the process reaches a monochromatic configuration within O(log n) rounds, with high probability, and this bound turns out to be tight.

On the Parallel Undecided-State Dynamics with Two Colors

This analysis shows that, starting from any initial configuration, the Undecided-State Dynamics reaches a monochromatic configuration within $O(\log^2 n)$ rounds, with high probability, and proves that if the initial configuration has bias $\Omega(\sqrt{n\log n})$, then the dynamics converges toward the initial majority color within a polylogarithmic number of rounds.

Consensus Needs Broadcast in Noiseless Models but can be Exponentially Easier in the Presence of Noise

In models that allow noiseless communication, a reduction of (a suitable variant of) Broadcast to binary Consensus is proved, that preserves the communication model and all complexity parameters such as randomness, number of rounds, communication per round, etc., while there is a loss in the success probability of the protocol.

Fast Plurality Consensus in Regular Expanders

It is shown that the following performance can be achieved on a $d-regular expander using two-sample voting on general expanders in the case of three or more opinions: the largest opinion wins in O((n \log n)/A_1) steps with high probability.

Phase transition of the 2-Choices dynamics on core–periphery networks

By looking at the 2-Choices dynamics as a simplistic model of competition among opinions in social networks, a theorem sheds light on the influence of the core on the rest of the network, as a function of thecore's connectivity towards the latter.

Probabilistic analysis of distributed processes with focus on consensus. (Analyse probabiliste de processus distribués axés sur les processus de consensus)

This thesis takes the rich tool set from probability theory for the analysis of Markov Chains and employs it to study a wide range of distributed processes: Forest Fire Model, Balls-into-Bins with Deleting Bins, and fundamental consensus dynamics and protocols such as the Voter Model, 2-Choices, and 3-Majority.

On coalescence time in graphs-When is coalescing as fast as meeting?

It is proved that for any graph the coalescence time is bounded by O(n^3) (which is tight for the Barbell graph); surprisingly even such a basic question about the coalescing time was not answered before this work.

On the Necessary Memory to Compute the Plurality in Multi-Agent Systems

This work considers the Relative-Majority Problem (also known as Plurality) in the general Population Protocols model in which, given an underlying undirected connected graph whose nodes represent the agents, edges are selected by a globally fair scheduler.

43rd International Symposium on Mathematical Foundations of Computer Science: MFCS 2018, August 27-31, 2018, Liverpool, United Kingdom

The parameterised complexity of consensus string problems is investigated in a more general setting, i.



Stabilizing Consensus with Many Opinions

It is shown that, if k ≤ nα, where α is a suitable positive constant, the 3-majority dynamics converges in time polynomial in k and log n with high probability even in the presence of an adversary who can affect up to o([EQUATION]) nodes at each round.

Stabilizing consensus with the power of two choices

The main result is a simple randomized algorithm called median rule that, with high probability, just needs O(log m log log n + log n) time and work per process to arrive at an almost stable consensus for any set of m legal values as long as an adversary can corrupt the states of at most √n processes at any time.

A Polylogarithmic Gossip Algorithm for Plurality Consensus

An algorithm is presented that with high probability reaches plurality consensus in O(log k log n) rounds, while having message and memory size of log k + O (1) bits.

Simple Dynamics for Majority Consensus

A negative answer to the question whether looking at more (than three) random neighbors can significantly speed up the Plurality Consensus process is provided: in particular, it is shown that samples of polylogarithmic size canSpeed up the process by a polylogARithmic factor only.

Fast and Exact Majority in Population Protocols

This paper presents a new protocol called Average and Conquer (AVC), which shows that the majority problem can be solved exactly in time poly-logarithmic in n, provided that the memory per node is s = s = 1/ε + log n log{1/ε).

Efficient Plurality Consensus, Or: the Benefits of Cleaning up from Time to Time

Two protocols that need only mild assumptions on the bias in favor of the plurality are proposed that achieve plurality consensus in O(logk·loglogn) rounds using logk + Θ(loglogk) bits of local memory and are provided for much weaker bias assumptions.

Using Three States for Binary Consensus on Complete Graphs

It is shown that extending both the signaling and memory by just one state dramatically improves the reliability and speed of reaching the correct consensus and is therefore faster than purely binary systems.

Rapid Asynchronous Plurality Consensus

An efficient and simple protocol in the asynchronous communication model that ensures that all nodes eventually agree on the initially most frequent opinion, and achieves the best possible run time of O(\log n)$, w.h.p.

A simple population protocol for fast robust approximate majority

It is proved that with high probability n agents reach consensus in O(n log n) interactions and the value chosen is the majority provided that its initial margin is at least $${\omega(\sqrt{n} \,{\rm log}\, n)}$$.

Plurality Consensus in the Gossip Model

The Undecided-State Dynamics is considered, a well-known protocol which uses just one more state than those necessary to store colors, and it is shown that the speed of convergence of this protocol depends on the initial color configuration as a whole, not just on the gap between the plurality and the second largest color community.