Counter-family extension estimators -- definitions

A finite approximate-counter family induces the total semantic estimator expected by the round-selection API. Prefixes inside the required range are packed with one candidate extension and evaluated by the corresponding counter. Values outside that finite range are deliberately set to zero and are never queried by the bounded accuracy contract.

def Complexity.GapMCSP.Magnification.AntiCheckerLemma.ApproximateCounterFamily.extensionEstimator {overhead arity : ℕ} {beta : PositiveRationalScale} (family : ApproximateCounterFamily overhead beta arity) (target : BitString arity → Bool) : List (BitString arity) → BitString arity → ℕ

Total extension estimator induced by a finite counter family.

Equations

• One or more equations did not get rendered due to their size.