Proceedings of the Thirty-First Annual ACM-SIAM Symposium on Discrete Algorithms (Society for Industrial and Applied Mathematics,)