1: \documentclass[11pt]{article}

2: 

3: \usepackage{times}

4: \usepackage{amsmath}

5: \usepackage{amsfonts}

6: \usepackage{latexsym}

7: \usepackage{fullpage}

8: 

9: \begin{document}

10: \newcommand{\mytheoremcounter}{section}

11: \include{my_macros}

12: \include{figbox}

13: \bibliographystyle{alpha}

14: 

15: 

16: \title{\vspace{-5ex}The Boolean Functions Computed by Random Boolean Formulas\\

17: OR\\

18: How to Grow the Right Function}

19: \author{Alex Brodsky  \and Nicholas Pippenger}

20: \date{\vspace{-2ex}\small Department of Computer Science,\\

21:       University of British Columbia,\\

22:       201-2366 Main Mall, Vancouver, \\

23:       BC, Canada, V6R 1J9\\

24:       {\tt \{abrodsky,nicholas\}@cs.ubc.ca}}

25: 

26: \maketitle

27: 

28: \begin{abstract}

29: Among their many uses, growth processes (probabilistic amplification),

30: were used for constructing reliable networks from unreliable components,

31: and deriving complexity bounds of various classes of functions.  Hence,

32: determining the initial conditions for such processes is an important

33: and challenging problem.  In this paper we characterize growth processes

34: by their initial conditions and derive conditions under which results

35: such as Valiant's\cite{Va84} hold.  First, we completely characterize

36: growth processes that use linear connectives.  Second, by extending

37: Savick\'y's~\cite{Sa90} analysis, via ``Restriction Lemmas'', we

38: characterize growth processes that use monotone connectives, and show

39: that our technique is applicable to growth processes that use other

40: connectives as well.  Additionally, we obtain explicit bounds on the

41: convergence rates of several growth processes, including the growth

42: process studied by Savick\'y (1990).

43: 

44: \noindent {\bf Keywords:} Computational and structural complexity, growth 

45: processes, probabilistic amplification

46: \end{abstract}

47: 

48: 

49: \input{body}

50: 

51: \bibliography{rcf}

52: 

53: \appendix

54: 

55: \input{appendix}

56: 

57: \end{document}

58: