Catalytic Computing and Register Programs Beyond Log-Depth

Yaroslav Alekseev, Yuval Filmus, Ian Mertz +2

In a seminal work, Buhrman et al. (STOC 2014) defined the class $CSPACE(s,c)$ of problems solvable in space $s$ with an additional catalytic tape of size $c$, which is a tape whose…