Proceedings of the first annual ACM-SIAM symposium on Discrete algorithms