Abstract
We show that any monotone circuit for computing graph connectivity must have a depth greater than Ω((logn)3/2/loglogn). This proves that UCONNn is not in monotone NCl. The proof technique, which is an adaptation of Razborov's approximation method, is also used to derive lower bounds for a general class of graph problems.
| Original language | English |
|---|---|
| Pages (from-to) | 302-308 |
| Number of pages | 7 |
| Journal | Proceedings - Annual IEEE Symposium on Foundations of Computer Science, FOCS |
| DOIs | |
| State | Published - 1994 |
| Event | Proceedings of the 35th IEEE Annual Symposium on Foundations of Computer Science - Santa Fe, NM, USA Duration: 20 Nov 1994 → 22 Nov 1994 |