Programming
A classic matroid problem is shown to fit in catalytic logspace
Linear matroid intersection — solvable for fifty years but never tightly classified — is placed in catalytic logspace, a model that borrows a full memory and must restore it exactly.
8 September 2025