贪心 邻项交换 数学

进一步学习：

1.具体数学
2.离散数学
3.布尔代数
4.Matroid
5.（逻辑学）

你需要学会的技能：

解最值不等式

严格弱序

1. It has to be antisymmetric. This means that for operator <: If x
2. It has to be transitive. This means that for operator <: If x
3. It has to be irreflexive. This means that for operator <: x
4. It has to have transitivity of equivalence, which means roughly: If a is equivalent to b and b is equivalent to c, then a is equivalent to c. This means that for operator <: If !(a STL库要求重载的'<' 运算符满足严格弱序，否则出现未定义的行为。

可用于贪心的结论

定义二元布尔关系。
可以证明，，有