Separating Circuits: Switching Lemmas and Random Restrictions

arXiv:2109.13917 · cs.CC · Submitted 2021-09-18 · Read on arXiv

cs.CC

Submitted: 2021-09-18

Updated: 2026-10-20

Terminology

• Verification — 1× in this paper · explained in 2 episodes

Related papers

• Parameterized Hardness of Zonotope Containment and Neural Network Verification
• Optimal Unambiguous DNFs and Alon-Saks-Seymour
• On the Limits of Quantum Multiparty Simultaneous Communication
• Learning, Compression, and Meta-Complexity
• Hardware-Algorithm Co-Optimization of Early-Exit Neural Networks for Multi-Core Edge Accelerators
• Quantum Fine-Grained Lower Bounds for SetDisjointness via Sub-Linear Reductions from 3SUM