---
title: Minimal Circuit Size Problem (MCSP)
url: https://www.emergentmind.com/topics/minimal-circuit-size-problem-mcsp
type: topic
---

# Minimal Circuit Size Problem (MCSP)

The Minimum Circuit Size Problem (MCSP) concerns determining, for a given Boolean function represented by its truth table and a threshold $s$, whether there exists a Boolean circuit of size at most $s$ that computes the function. MCSP occupies a central position in computational complexity theory—serving as a canonical "compression" problem and as a natural barrier between key complexity classes—yet its precise computational hardness remains unresolved. MCSP is tightly connected to pseudorandomness, learning theory, cryptography, proof complexity, and is increasingly studied in quantum and convex-optimization contexts.

## 1. Formal Definition and Basic Properties

MCSP is formally defined as follows. Given a function $f: \{0,1\}^n \to \{0,1\}$ (represented by its $2^n$-bit truth table $tt(f)$) and an integer $s$:

\[
\mathrm{MCSP} = \{ (tt(f), s) \mid \exists\, \text{Boolean circuit } C \text{ of size} \leq s \text{ such that } C(x) = f(x) \, \forall x \}
\]

For any polynomially constructible size function $s(n)\geq n$, denote by $\mathrm{MCSP}[s]$ the variant that asks, on input $tt(f)$, whether $f$ has a circuit of size at most $s(n)$ [2007.12048]. MCSP is evidently in NP since a small circuit serves as a witness, verified by checking $C(x) = f(x)$ on all $2^n$ inputs.

It is unknown whether MCSP is NP-complete under standard reductions; evidence exists only for NP-hardness under more general reductions (randomized, non-uniform, or oracle-aided) [2512.21764].

MCSP has a Kolmogorov complexity-inspired variant, MKTP, where the threshold is expressed in terms of KT-complexity rather than circuit size. MCSP and MKTP are polynomially related in the sense that small circuit size gives short algorithms and vice versa [1710.09806].

## 2. Circuit Complexity Landscape and Lipschitz Stability

Let $\mathrm{opt}(f,B)$ denote the minimum size of any circuit over a finite complete basis $B$ computing $f$. A foundational result establishes a Lipschitz-type stability of optimal circuit size under local perturbations:

**Theorem: (Single-Bit Perturbation Bound)**
For $f, f'$ differing on exactly one input ($d_H(tt(f),tt(f'))=1$), and for any finite complete basis $B$ with unit-cost gates, we have:

\[
|\mathrm{opt}(f,B) - \mathrm{opt}(f',B)| \leq c_B \cdot n
\]
where $c_B$ depends only on $B$. In the AIG basis ($\{\mathrm{AND}(x,y),\neg x\}$, AND gates counted, free inversion), $c_B=1$, so the variation is at most $n$ [2603.09379].

**Global Hamming Ball Bound:**
For any $f, f'$ with Hamming distance $d$:

\[
|\mathrm{opt}(f,B) - \mathrm{opt}(f',B)| \leq c_B \cdot n \cdot d
\]

For AIG, this is tight at $n=4$ based on exhaustive SAT-based optimal circuit size computations; the maximum observed size change for one-bit mutation is exactly $n$ [2603.09379].

**Implications for MCSP:**
- This stability under perturbation undergirds average-case lower bounds and concentration results for MCSP.
- In reductions (e.g., from graph problems), it prevents circuit-size "jumps" and enables fine control of reductions' approximation parameters.
- It constrains the search landscape for practical and heuristic MCSP solvers, allowing local improvements to be bounded in effect.

## 3. Complexity-Theoretic Status and Hardness Magnification

MCSP remains a prominent NP-intermediate candidate:
- Contained in NP, but not known to be NP-complete [2007.12048, 2512.21764, 1710.09806].
- Magnification paradigms show even mild progress—such as ruling out poly$(s)$-space streaming algorithms for MCSP$[s]$—would separate P from NP. For example:
    - If MCSP$[s]$ requires superpolynomial space or time for streaming algorithms, then $\mathbf{P} \neq \mathbf{NP}$ [2007.12048].
    - Equivalent results hold for sublinear-time Shrinking Cellular Automata: a language outside SCA$[n \cdot \mathrm{poly}(n)]$ (even slightly) yields $\mathbf{P} \neq \mathbf{NP}$ [2007.12048].
- Hardness against extremely sparse tally sets would force ${\rm ZPP} \neq {\rm EXP}$; in particular, MCSP cannot be hard for all sparse sets under polynomial-time truth-table reductions unless the exponential hierarchy separates [2003.00669].

Recent work links MCSP to the range avoidance problem, showing that any language reducible in randomized polynomial time to MCSP is in $\mathrm{AM} \cap \mathrm{coAM}$. This containment is established via randomized inversion routines for one-way functions, simulated via MCSP oracles [2512.21764].

## 4. Connections to Other Central Problems

MCSP interfaces with numerous domains:
- **Isomorphism Problems:** Via entropy-gap reductions, $\mathrm{Graph\, Isomorphism}$ and other group-theoretic isomorphism problems reduce (ZPP Turing reductions) to MKTP and substantially, to MCSP. This leverages information-theoretic encodings and interactive proof techniques rather than hardness-based PRG constructions [1710.09806].
- **Learning and Cryptography:** MCSP in BPP implies efficient PAC learning and breaks one-way functions; conversely, hardness of MCSP underlies the security of cryptographic primitives and learning-theoretic separation results [2108.03171].
- **Proof Complexity:** Degree-$\Omega(s^{1-\epsilon})$ lower bounds hold for SoS refutations of MCSP-falsity (i.e., for any $f$ with no small circuit), and similar in the monotone and "almost-easily-approximable" settings [2311.12994].

The quantum generalization of MCSP introduces variants for quantum Boolean functions, unitaries, and quantum states, with protocols in QCMA and reductions not possible for classical MCSP. These quantum MCSPs relate to quantum pseudorandomness, quantum learning, and quantum gravity conjectures [2108.03171].

## 5. Approximability, Convexity, and Algorithmic Approaches

Recent developments recast circuit minimization as a (nearly) convex optimization problem—especially in the "Harder Than Monte Carlo" (HTMC) regime, where functions are efficiently $\varepsilon$-approximable only with superquadratic blowup in $1/\varepsilon$ [2511.20888]. Main elements:
- The class of functions $f$ $\varepsilon$-approximable by circuits of size at most $c\varepsilon^{-\gamma}$ is convex for $\gamma > 2$.
- An explicit norm (HTMC norm) can be defined on functions, tightly sandwiching the minimal circuit size in terms of a ResNet parameter norm (weighted $\ell_1$).
- Minimizing the ResNet norm over the function class yields (up to power-of-two factors) a nearly minimum Boolean circuit—deep learning thus conducts a convexification of MCSP in the HTMC regime.
- Frank–Wolfe style methods, while not polynomial time for worst-case MCSP, conceptually link convex optimization and circuit-size minimization.

Notable limitations:
- The convexification only holds for $\gamma>2$; many real-world functions have smaller $\gamma$.
- The ResNet parameter norm has an exponent gap in the sandwich bound, still open.

## 6. Proof Complexity and Lower Bounds

Proof-complexity approaches to MCSP have yielded unconditional lower bounds in static proof systems:
- **Sum-of-Squares Lower Bounds:** Any degree-$d$ SoS refutation of MCSP requires $d = \Omega(s^{1-\epsilon})$ for $f$ having no circuit of size $s$ (for $s>\mathrm{poly}(n)$). For "almost easily approximable" functions—close to analytic or slice functions—SoS proof size grows doubly-exponentially [2311.12994].
- These bounds hold both in the general and monotone (slice-function) cases, preventing any low-degree SDP-based algorithmic resolution of MCSP.
- The reduction from MCSP to XOR-CSPs on expanders underpins these lower bounds using substitution and restriction techniques.

A plausible implication is that any attempt to resolve MCSP in polynomial time within strong SDP hierarchies, or via monotone circuit methods, is obstructed at a fundamental level by these lower bounds.

## 7. Open Problems and Future Directions

Numerous foundational questions surrounding MCSP remain open or only partially resolved:
- Is MCSP NP-complete under natural reductions? This remains a longstanding open problem [2512.21764, 2007.12048, 2003.00669].
- Can the exponent gap in the convex-analytic embedding (from ResNet minimization to circuit size) be closed, and are there polynomial-time algorithms for MCSP in any regime?
- What is the quantum complexity of MCSP variants? Are they in NP, QCMA, or complete for these classes [2108.03171]?
- Are there explicit, infinite families attaining tightness in the $O(n)$ or $O(n\cdot d)$ circuit-size change bounds for single- or few-bit truth table perturbations [2603.09379]?
- Can uniform fine-grained hardness (in streaming or uniform automata models) of MCSP be established, thereby resolving central class separations in complexity theory [2007.12048]?
- Further connections, e.g., to quantum tomography, efficiency of learning in BQP/poly, and general explicit encodings, remain to be fully explored [1710.09806, 2108.03171].

### Summary Table: Selected Key Results

| Area                                       | Key Result / Theorem                                         | Reference         |
|---------------------------------------------|--------------------------------------------------------------|-------------------|
| Perturbation stability                      | $|\mathrm{opt}(f,B) - \mathrm{opt}(f',B)| \leq c_B n d_H$  | [2603.09379]      |
| Streaming lower bound magnification         | Poly$(s)$ streaming for MCSP$[s]$ $\Rightarrow$ P=NP         | [2007.12048]      |
| Proof complexity (SoS)                      | SoS degree $\Omega(s^{1-\epsilon})$ for MCSP-falsity         | [2311.12994]      |
| Quantum setting                             | MCSP variants in QCMA; search-to-decision for unitaries      | [2108.03171]      |
| Convex approximation (HTMC/ResNet norm)     | Shallow ResNet norm $\approx$ minimal circuit size for $\gamma>2$ | [2511.20888]      |
| Isomorphism reductions                      | GI, CodeEquiv, PermGroupConj $\in $ ZPP$^{\rm MKTP}$         | [1710.09806]      |
| Range avoidance connection                  | $BPP^{\rm MCSP} \subseteq AM \cap coAM$                     | [2512.21764]      |

MCSP thus persists as a focal point for several foundational challenges across classical and quantum complexity, bridging barriers in learning, derandomization, cryptography, and proof-theoretic lower bounds.

Source: https://www.emergentmind.com/topics/minimal-circuit-size-problem-mcsp