Author: Acm Symposium O Theory of Computing