Basic greedy, interval scheduling, jump-game family, and harder greedy problems that need a correctness proof rather than just intuition.