sort

严格弱序比较

现在，有两个元， $a, b$ ，如果对于比较函数 $c m p (a, b)$ ，能以下格式函数表示出 $a, b$ 三种比较关系则为严格弱序比较：

$c m p (a, b) = 1$ 则 $a < b$

$c m p (b, a) = 1$ 则 $a > b$

$! c m p (a, b)$ 且 $! c m p (b, a)$ 则 $a = b$

（这样说可能不太严谨）

可以发现， $a < b$ 可以成立，但是如果 $a \leq b$ 便不成立，那么这个就不叫严格弱序排序。

为什么提这个东西呢？

$s o r t$ 里面的 $c m p$ 函数必须要满足严格弱序比较。

如果不满足的话，那么在 $s o r t$ 的内部就会发生越界错误，然后就RE了QAQ（调了我贼久QAQ）。