greedy_theory