Groups
Category
Constructive algorithms build a valid answer directly by following a recipe, rather than searching exhaustively.
Greedy algorithm correctness is usually proved with patterns like exchange argument, stays-ahead, structural arguments, cut-and-paste, and contradiction.