Abstract:The approximate degree of a Boolean function $f\colon\{0,1\}^n\to\{0,1\}$ is the minimum degree of a real polynomial $p$ that approximates $f$ pointwise: $|f(x)-p(x)|\leq1/3$ for all $x\in\{0,1\}^n.$ For every $\delta>0,$ we construct CNF and DNF formulas of polynomial size with approximate degree $\Omega(n^{1-\delta}),$ essentially matching the trivial upper bound of $n.$ This improves polynomially on previous lower bounds and fully resolves the approximate degree of constant-depth circuits ($\text{AC}^0$), a question that has seen extensive research over the past 10 years. Previously, an $\Omega(n^{1-\delta})$ lower bound was known only for $\text{AC}^0$ circuits of depth that grows with $1/\delta$ (Bun and Thaler, FOCS 2017). Moreover, our CNF and DNF formulas are the simplest possible in that they have constant width. Our result holds even for one-sided approximation, and has the following further consequences. (i) We essentially settle the communication complexity of $\text{AC}^0$ circuits in the bounded-error quantum model, $k$-party number-on-the-forehead randomized model, and $k$-party number-on-the-forehead nondeterministic model: we prove that for every $\delta>0$, these models require $\Omega(n^{1-\delta})$, $\Omega(n/4^kk^2)^{1-\delta}$, and $\Omega(n/4^kk^2)^{1-\delta}$, respectively, bits of communication even for polynomial-size constant-width CNF formulas. (ii) In particular, we show that the multiparty communication class $\text{coNP}_k$ can be separated essentially optimally from $\text{NP}_k$ and $\text{BPP}_k$ by a particularly simple function, a polynomial-size constant-width CNF. (iii) We give an essentially tight separation, of $O(1)$ versus $\Omega(n^{1-\delta})$, for the one-sided versus two-sided approximate degree of a function; and $O(1)$ versus $\Omega(n^{1-\delta})$ for the one-sided approximate degree of a function $f$ versus its negation $\neg f$.

Computation of Satisfiability Degree Based on CNF.

An algorithm for calculating the satisfiability degree

Deductive Reasoning and Computing Based on Propositional Logic.

Backtracking Search Algorithm for Satisfiability Degree Calculation.

Satisfiability Degree Computation for Linear Temporal Logic.

Satisfiability degree computation based on proposition matrix reduction algorithm

Satisfiability Degree Theory for Temporal Logic

Further Improvements for SAT in Terms of Formula Length.

The Approximate Degree of DNF and CNF Formulas

Satisfiability Degree Analysis For Transition System

On the Satisfaction Probabilities of $k$-CNF Formulas

The Lovász Local Lemma and Satisfiability

Trivial, Tractable, Hard. A Not So Sudden Complexity Jump in Neighborhood Restricted CNF Formulas.

Advances in Satisfiability Solving Techniques

Estimating the Volume of Solution Space for Satisfiability Modulo Linear Real Arithmetic

Properties of the satisfiability threshold of the strictly d-regular random (3,2s)-SAT problem

Satisfiability of Almost Disjoint CNF Formulas

Degree Of Satisfiability In Heyting Algebras

OPTIMIZED ALGORITHM OF DISCOVERING FUNCTIONAL DEPENDENCIES WITH DEGREES OF SATISFACTION

Unsatisfiable Linear CNF Formulas Are Large and Complex

Solvability of HornSAT and CNFSAT