Main result, §2 p. 4 / §3 pp. 5–7 — MITM-factor decides depth ≤ 2⌈l/2⌉, returns a minimal-depth circuit, cost ≤ 8|V|^⌈l/2⌉ log₂|V|^⌈l/2⌉ (corrected)

Initializing...

Main result, §2 p. 4 / §3 pp. 5–7 — MITM-factor decides depth ≤ 2⌈l/2⌉, returns a minimal-depth circuit, cost ≤ 8|V|^⌈l/2⌉ log₂|V|^⌈l/2⌉ (corrected) · Prove2Me