The Boolean functions computed by random Boolean formulas or how to grow the right function

We characterize growth processes (probabilistic amplification) by their initial conditions to derive conditions under which results such as Valiant's J Algorithms 5 (1984), 363–366 hold. We completely characterize growth processes that use linear connectives and generalize Savický's Discre...

Celý popis

Uložené v:
Podrobná bibliografia
Vydané v:Random structures & algorithms Ročník 27; číslo 4; s. 490 - 519
Hlavní autori: Brodsky, Alex, Pippenger, Nicholas
Médium: Journal Article
Jazyk:English
Vydavateľské údaje: Hoboken Wiley Subscription Services, Inc., A Wiley Company 01.12.2005
Predmet:
ISSN:1042-9832, 1098-2418
On-line prístup:Získať plný text
Tagy: Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
Popis
Shrnutí:We characterize growth processes (probabilistic amplification) by their initial conditions to derive conditions under which results such as Valiant's J Algorithms 5 (1984), 363–366 hold. We completely characterize growth processes that use linear connectives and generalize Savický's Discrete Math 147 (1990), 95–103 analysis to characterize growth processes that use monotone connectives. Additionally, we obtain explicit bounds on the convergence rates of several growth processes, including the growth process studied in Savický. © 2005 Wiley Periodicals, Inc. Random Struct. Alg., 2005
Bibliografia:istex:CA454F0A0023E7F28114E91100D2A7E96E7304A4
The research reported here was done while the authors were in the Department of Computer Science, University of British Columbia, Vancouver, BC, Canada.
ArticleID:RSA20095
ark:/67375/WNG-ZMC3R5X6-9
Supported by an NSERC PGS B and a Killam Predoctoral Fellowship.
Supported by an NSERC Discovery Grant and a Canada Research Chair.
ISSN:1042-9832
1098-2418
DOI:10.1002/rsa.20095