Good-string circuit bridge -- definitions

This layer records the exact upper bound obtained by packing one small circuit per tuple position and composing their outputs with the verified strict-majority circuit.

def Complexity.AntiChecker.survivorTupleMajoritySizeBound (arity threshold : ℕ) : ℕ

Size bound for the strict-majority composition of arity single-output circuits, each of size at most threshold.

Equations

• Complexity.AntiChecker.survivorTupleMajoritySizeBound arity threshold = arity * threshold + (3 + 2 * arity * Complexity.CircuitCode.strictMajorityThreshold arity)