Proceedings of the forty-fifth annual ACM symposium on Theory of computing