Let C be a circuit such that:
C: $\{0,1\}^n$ to $\{0,1\}$
the top most gate is a parity gate
all the inputs to the parity gate are small depth decision trees
there is a total of $2^{ log^k n}$ decision trees.
- each decision tree has depth at most $log^k n$
Question 1:
Can we decide if $C$ is satisfiable faster than $O(2^n)$ ?
Question 2:
For a given epsilon, what is the fastest algorithm for approximating the probability $C$ accepts a uniformly sampled input?
Thanks!