Proceedings of the twentieth annual ACM-SIAM symposium on discrete algorithms (Association for Computing Machinery, 2009)