Proceedings of the first annual ACM symposium on Theory of computing