Linear Toffoli-gate bound for simple periodic-function synthesis
Toffoli-gate bound conjecture. To synthesize the circuit for SpS_pSp​, one needs at most nnn Toffoli gates: