Greedy, DP, and Choosing Between Them