Complexity and Probability of Some Boolean Formulas

  • Authors:
  • Petr Savický

  • Affiliations:
  • Institute of Computer Science, Academy of Sciences of Czech Republic, Prague, Czech Republic (e-mail: savicky@uivt.cas.cz)

  • Venue:
  • Combinatorics, Probability and Computing
  • Year:
  • 1998

Quantified Score

Hi-index 0.00

Visualization

Abstract

For any Boolean function f, let L(f) be its formula size complexity in the basis {∧, ⊕ 1}. For every n and every k≤n/2, we describe a probabilistic distribution on formulas in the basis {∧, ⊕ 1} in some given set of n variables and of size at most 𝓁(k)=4k. Let pn,k(f) be the probability that the formula chosen from the distribution computes the function f. For every function f with L(f)≤𝓁(k)α, where α=log4(3/2), we have pn,k(f)0. Moreover, for every function f, if pn,k(f)0, then***** Insert equation here *****where c1 is an absolute constant. Although the upper and lower bounds are exponentially small in 𝓁(k), they are quasi-polynomially related whenever 𝓁(k)≥lnΩ(1)n. The construction is a step towards developing a model appropriate for investigation of the properties of a typical (random) Boolean function of some given complexity.