ECCC-Report TR14-169https://eccc.weizmann.ac.il/report/2014/169Comments and Revisions published for TR14-169en-usTue, 09 Dec 2014 21:12:46 +0200
Paper TR14-169
| Lower Bounds for Monotone Counting Circuits |
Stasys Jukna
https://eccc.weizmann.ac.il/report/2014/169A {+,x}-circuit counts a given multivariate polynomial f, if its values on 0-1 inputs are the same as those of f; on other inputs the circuit may output arbitrary values. Such a circuit counts the number of monomials of evaluated to 1 by a given 0-1 input vector (with multiplicities given by their coefficients). A circuit decides f if it has the same 0-1 roots as f.
We first show that some multilinear polynomials can be exponentially easier to count than to compute them, and can be exponentially easier to decide than to count them. Then we give general lower bounds on the size of counting circuits.Tue, 09 Dec 2014 21:12:46 +0200https://eccc.weizmann.ac.il/report/2014/169