Proceedings of the twenty-fifth annual ACM-SIAM symposium on Discrete algorithms