Proceedings of the third annual ACM symposium on Theory of computing