Average long-lived memoryless consensus: the three-value case

  • Authors:
  • Ivan Rapaport;Eric Rémila

  • Affiliations:
  • DIM-CMM (UMI 2807 CNRS), Universidad de Chile, Santiago, Chile;Université de Lyon, LIP (UMR 5668 CNRS-ENS, Université Lyon 1), Lyon Cedex 7, France

  • Venue:
  • SIROCCO'10 Proceedings of the 17th international conference on Structural Information and Communication Complexity
  • Year:
  • 2010

Quantified Score

Hi-index 0.00

Visualization

Abstract

We study strategies that minimize the instability of a fault-tolerant consensus system. More precisely, we find the strategy than minimizes the number of output changes over a random walk sequence of input vectors (where each component of the vector corresponds to a particular sensor reading). We analyze the case where each sensor can read three possible inputs. The proof of this result appears to be much more complex than the proof of the binary case (previous work). In the binary case the problem can be reduced to a minimal cut in a graph. We succeed in three dimensions by using the fact that an auxiliary graph (projected graph) is planar. For four and higher dimensions this auxiliary graph is not planar anymore and the problem remains open.