Faster dynamic programming for Markov decision processes
Introduction to Algorithms, Second Edition