Groups
Category
Greedy algorithm correctness is usually proved with patterns like exchange argument, stays-ahead, structural arguments, cut-and-paste, and contradiction.
Slope Trick is a technique to maintain a convex piecewise-linear function implicitly using two heaps and a running constant.