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