greedy algorithm subgroup of algorithm, 3 assertions