We prove a lower bound, exponential in the eighth root of the input length, on the size of monotone arithmetic circuits that solve an NP problem related to clique detection. The result is more general than the famous lower bound of Razborov and Andreev, because the gates of the circuit are allowed t
A Lower Bound for Perceptrons and an Oracle Separation of the PPPHHierarchy
โ Scribed by Christer Berg; Staffan Ulfberg
- Publisher
- Elsevier Science
- Year
- 1998
- Tongue
- English
- Weight
- 397 KB
- Volume
- 56
- Category
- Article
- ISSN
- 0022-0000
No coin nor oath required. For personal study only.
โฆ Synopsis
We show that there are functions computable by linear size boolean circuits of depth k that require superpolynomial size perceptrons of depth k&1, for k<log nร(6 log log n). This result implies the existence of an oracle A such that 7 p, A k 3 PP 7 p, A k & 2 and, in particular, this oracle separates the levels in the PP PH hierarchy. Using the same ideas, we show a lower bound for another function, which makes it possible to strengthen the oracle separation to 2 p, A k 3 PP 7 p, A k & 2 .
๐ SIMILAR VOLUMES
Hill's extremum principles are not directly applicable to an Ellis model fluid. A method of adapting Hill's principles to the Ellis model was developed and used to calculate upper and lower bounds on the drag coefficient for a sphere moving slowly through such a fluid. Amilable experimental data wer
## Abstract A critical set is a partial latin square that has a unique completion to a latin square, and is minimal with respect to this property. Let __scs__(__n__) denote the smallest possible size of a critical set in a latin square of order __n__. We show that for all __n__, $scs(n)\geq n\lfloo
The critical probability for site percolation on the square lattice is not known exactly. Several authors have given rigorous upper and lower bounds. Some recent lower bounds are (each displayed here with the first three digits) 0.503 (Toth [13]), 0.522 (Zuev [15]), and the best lower bound so far,