Documentation

Complexitylib.Algebraic.LowerBound

Imports

Init
Complexitylib.Algebraic.LowerBound.Approximation
Complexitylib.Algebraic.LowerBound.Counting
Complexitylib.Algebraic.LowerBound.Cutwidth
Complexitylib.Algebraic.LowerBound.FanIn
Complexitylib.Algebraic.LowerBound.Fusion
Complexitylib.Algebraic.LowerBound.GateElimination
Complexitylib.Algebraic.LowerBound.Hierarchy
Complexitylib.Algebraic.LowerBound.KarchmerWigderson
Complexitylib.Algebraic.LowerBound.Nechiporuk
Complexitylib.Algebraic.LowerBound.AC0.BottomFamily
Complexitylib.Algebraic.LowerBound.AC0.BottomGate
Complexitylib.Algebraic.LowerBound.AC0.CanonicalDecisionTree
Complexitylib.Algebraic.LowerBound.AC0.DecisionTree
Complexitylib.Algebraic.LowerBound.AC0.DecisionTreeTrace
Complexitylib.Algebraic.LowerBound.AC0.Duality
Complexitylib.Algebraic.LowerBound.AC0.Layer
Complexitylib.Algebraic.LowerBound.AC0.LayerExistence
Complexitylib.Algebraic.LowerBound.AC0.LayerExistenceBounds
Complexitylib.Algebraic.LowerBound.AC0.LayerFormula
Complexitylib.Algebraic.LowerBound.AC0.LayerIteration
Complexitylib.Algebraic.LowerBound.AC0.LayerIterationBounds
Complexitylib.Algebraic.LowerBound.AC0.LayerSchedule
Complexitylib.Algebraic.LowerBound.AC0.LayerSwitching
Complexitylib.Algebraic.LowerBound.AC0.LayerSwitchingBounds
Complexitylib.Algebraic.LowerBound.AC0.LiteralGate
Complexitylib.Algebraic.LowerBound.AC0.NormalForm
Complexitylib.Algebraic.LowerBound.AC0.Parity
Complexitylib.Algebraic.LowerBound.AC0.ParityCircuit
Complexitylib.Algebraic.LowerBound.AC0.ParityDepthReduction
Complexitylib.Algebraic.LowerBound.AC0.ParityLowerBound
Complexitylib.Algebraic.LowerBound.AC0.ParityNormalForm
Complexitylib.Algebraic.LowerBound.AC0.ParityParameters
Complexitylib.Algebraic.LowerBound.AC0.ParityRoot
Complexitylib.Algebraic.LowerBound.AC0.ParityScale
Complexitylib.Algebraic.LowerBound.AC0.ParitySeparation
Complexitylib.Algebraic.LowerBound.AC0.ParitySizeArithmetic
Complexitylib.Algebraic.LowerBound.AC0.ParitySurvivors
Complexitylib.Algebraic.LowerBound.AC0.ParityTopGate
Complexitylib.Algebraic.LowerBound.AC0.RandomRestriction
Complexitylib.Algebraic.LowerBound.AC0.RestrictionAveraging
Complexitylib.Algebraic.LowerBound.AC0.Switching
Complexitylib.Algebraic.LowerBound.AC0.TreeNormalForm
Complexitylib.Algebraic.LowerBound.AC0.Switching.Canonical
Complexitylib.Algebraic.LowerBound.AC0.Switching.CanonicalEncoding
Complexitylib.Algebraic.LowerBound.AC0.Switching.CombinedAdvice
Complexitylib.Algebraic.LowerBound.AC0.Switching.CombinedCanonical
Complexitylib.Algebraic.LowerBound.AC0.Switching.CombinedCanonicalEncoding
Complexitylib.Algebraic.LowerBound.AC0.Switching.CombinedCanonicalPacking
Complexitylib.Algebraic.LowerBound.AC0.Switching.CombinedCanonicalTrace
Complexitylib.Algebraic.LowerBound.AC0.Switching.Encoding
Complexitylib.Algebraic.LowerBound.AC0.Switching.Family
Complexitylib.Algebraic.LowerBound.Monotone.Clique.Exponential

Imported by

Circuit lower bounds #

This umbrella module collects the library's circuit lower-bound methods.