[colloquium] TALK MONDAY: Computational methods for high-dimensional dynamic programs for discrete resource allocation