贪心的正确性

贪心不是想当然。要么用交换论证，要么证明它满足拟阵结构。