Proceedings of the fourth annual ACM symposium on Theory of computing