Discrete ODE schemas over the F AC0 base algebra ACDL are claimed to characterize PH, the counting hierarchy, FModmP/⊕P, FPSPACE, and FP, with hierarchy levels given by nesting depth.
Characterizing small circuit classes from F AC0 to F AC1 via discrete ordinary differential equations
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
citation-role summary
background 1
citation-polarity summary
fields
cs.CC 1years
2026 1verdicts
CONDITIONAL 1roles
background 1polarities
unclear 1representative citing papers
citing papers explorer
-
Towards a Characterization of Counting and Alternating Classes via Discrete Ordinary Differential Equations
Discrete ODE schemas over the F AC0 base algebra ACDL are claimed to characterize PH, the counting hierarchy, FModmP/⊕P, FPSPACE, and FP, with hierarchy levels given by nesting depth.