Dagstuhl Seminar Proceedings. 06111 - Complexity of Boolean Functions
Doi
Abstract
It is known that, for every constant kgeq3, the presence of a
k-clique (a complete subgraph on k vertices) in an n-vertex
graph cannot be detected by a monotone boolean circuit using fewer
than Omega((n/logn)k) gates. We show that, for every constant
k, the presence of an (n−k)-clique in an n-vertex graph can be
detected by a monotone circuit using only O(n2logn) gates.
Moreover, if we allow unbounded fanin, then O(logn) gates are
enough