Melissa Antonelli

Towards a Characterization of Counting and Alternating Classes via Discrete Ordinary Differential Equations

This paper presents a high-level report on an ongoing project aiming to leverage implicit approaches based on discrete ordinary differential equations (ODEs) to study multiple complexity classes, even beyond small circuit and polynomial-time classes. Stimulated by recent ODE-based characterizations of polynomial-time f...