Lower bounds for the complexity of reliable Boolean circuits with noisy gates

  • Authors:
  • P. Gacs;A. Gal

  • Affiliations:
  • Dept. of Comput. Sci., Boston Univ., MA;-

  • Venue:
  • IEEE Transactions on Information Theory
  • Year:
  • 2006

Quantified Score

Hi-index 754.84

Visualization

Abstract

Proves that the reliable computation of any Boolean function with sensitivity s requires Ω(s log s) gates if the gates fail independently with a fixed positive probability. This theorem was stated by Dobrushin and Ortyukov (1977), but their proof was found by Pippenger, Stamoulis, and Tsitsiklis (1991) to contain some errors