贪心

acwing 905 区间选点 / 908 最大不相交区间数量

905使得一个点尽可能多的覆盖更多的区间，908是尽可能使得一个区间组包含尽可能多区间，本质上一致

acwing 906 区间分组

按照区间左端点排序，可以把区间看作是一段时间，这个贪心的做法是要尽可能的把一天的时间填满，所以每个区间分组需要获取左端点最小的区间

acwing 907 区间覆盖

此处ans是指覆盖指定区间的最少的区间的数量，由于cnt是可行解，那么cnt必然 >= ans,替换法证明

acwing 148 合并果子

haffuman问题
这道题和戳气球/石子合并不一致，这里可以选择不相邻的果子堆合并
交换证明如果每次合并的果子堆中的两堆果子换成了更重的果子堆，那么结果必然更大

acwing 913 排队打水 (排序不等式)

短作业优先，交换证明

acwing 104 货仓选址 (绝对值不等式)

为了取到绝对值不等式的等号需要，使得货仓的地址在x1与xn之间，在x2与xn-1之间...

acwing 125 耍杂技的牛 (推公式)

轻的牛放下面不行，力量小的牛放下面不行
交换论证