ACM transactions on computation theory