Current browse context:
cs.CC
Change to browse by:
References & Citations
Computer Science > Computational Complexity
Title: Shrinkage of Decision Lists and DNF Formulas
(Submitted on 9 Dec 2020 (v1), last revised 26 Dec 2020 (this version, v2))
Abstract: We establish nearly tight bounds on the expected shrinkage of decision lists and DNF formulas under the $p$-random restriction $\mathbf R_p$ for all values of $p \in [0,1]$. For a function $f$ with domain $\{0,1\}^n$, let $\mathrm{DL}(f)$ denote the minimum size of a decision list that computes $f$. We show that \[
\mathbb E[\ \mathrm{DL}(f{\upharpoonright}\mathbf R_p)\ ] \le
\mathrm{DL}(f)^{\log_{2/(1-p)}(\frac{1+p}{1-p})}. \] For example, this bound is $\sqrt{\mathrm{DL}(f)}$ when $p = \sqrt{5}-2 \approx 0.24$. For Boolean functions $f$, we obtain the same shrinkage bound with respect to DNF formula size plus $1$ (i.e., replacing $\mathrm{DL}(\cdot)$ with $\mathrm{DNF}(\cdot)+1$ on both sides of the inequality).
Submission history
From: Benjamin Rossman [view email][v1] Wed, 9 Dec 2020 16:09:56 GMT (35kb,D)
[v2] Sat, 26 Dec 2020 21:21:48 GMT (35kb,D)
Link back to: arXiv, form interface, contact.