lecture26 - Bounds on circuit computation so far: CSci 5403...

Info iconThis preview shows pages 1–3. Sign up to view the full content.

View Full Document Right Arrow Icon
1 COMPLEXITY THEORY CSci 5403 LECTURE XXVI: CIRCUIT LOWER BOUNDS “Bounds” on circuit computation so far: Size Hierarchy Theorem: For every ƒ(n) = o(2 n /n) there exists a function with complexity ω (ƒ(n)) Shannon bounds: “most” functions have complexity Θ (2 n /n) Relationships to uniform classes ( ˲ k, PH languages in SIZE( Θ (n k )), X ˧ P/poly ˰ Amazing(X), BPP ˧ P/poly, NC 1 ˧ L ˧ NL ˧ NC 2 …) This week: concrete bounds, specific languages. Theorem. (Razborov) CLIQUE k,n requires monotone circuits of size n Ω ( k) for all k n 1/4 . Exponential lower bounds! For a NP-hard function! Unfortunately, Theorem. (Razborov) Perfect matching requires superpolynomial monotone circuits. Definition. A monotone circuit contains only AND and OR gates. Definition. A boolean function ƒ is monotone iff ˲ x ˧ y, ƒ(x) ƒ(y). Definition. CLIQUE k,n (G) = 1 iff ʪ G,k ʫ ˥ CLIQUE Let S ˧ {1, …, n}. Then we let: C S (G) = ˭ i,j ˥ S e ij = 1, if S is a clique in G 0, otherwise we call C S a clique indicator. Proof idea: we will show that ˳ c c ,c such that (a) An OR of n c k clique indicators cannot compute CLIQUE n,k . (b) Every monotone circuit of size n c k can be simulated by an OR of n c k clique indicators. Thus, no monotone circuit of size O(n c k ) can compute CLIQUE n,k .
Background image of page 1

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
2 We will make use of the following distributions on n-vertex graphs. Y
Background image of page 2
Image of page 3
This is the end of the preview. Sign up to access the rest of the document.

This note was uploaded on 10/21/2011 for the course CSCI 5403 taught by Professor Sturtivant,c during the Spring '08 term at Minnesota.

Page1 / 4

lecture26 - Bounds on circuit computation so far: CSci 5403...

This preview shows document pages 1 - 3. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online