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