Lemma 1, p. 5 — U has a depth-l circuit iff S†_{⌊l/2⌋}U ∩ S_{⌈l/2⌉} ≠ ∅

Initializing...

Lemma 1, p. 5 — U has a depth-l circuit iff S†_{⌊l/2⌋}U ∩ S_{⌈l/2⌉} ≠ ∅ · Prove2Me