מושגי ליבה
The author explores the average-case deterministic query complexity of boolean functions under the uniform distribution, providing insights into various common functions and circuits.
תקציר
The content delves into the analysis of average-case deterministic query complexity for boolean functions, covering topics such as symmetric functions, linear threshold functions, tribes functions, and more. The study provides upper bounds, proof techniques, and detailed examples to illustrate key concepts.
סטטיסטיקה
We prove that Dave(f) ≤ log wt(f)
log n + O(log log wt(f) / log n) when wt(f) ≥ 4 log n (otherwise, Dave(f) = O(1)).
For almost all fixed-weight functions, Dave(f) ≥ log wt(f)
log n − O(log log wt(f) / log n).
Using H˚astad’s switching lemma or Rossman’s switching lemma, upper bounds are derived for width-k CNFs/DNFs and size-s CNFs/DNFs.
For any w ≥ 1.1 log n, there exists a function with specific properties related to width-w size-(2w/w) DNF formula.
The content discusses the application of OSSS inequality in analyzing average-case query complexities for boolean functions.
Various results are presented regarding the average-case query complexity of different types of boolean functions.
Theorems and propositions are used to establish upper bounds and analyze the behavior of decision trees in computing boolean functions.