結果 : greedy algorithm proof techniques