ACM Transactions on Computation Theory