sort的cmp文件需要符合的条件
-
\(\mathrm{cmp}(a,a)=0\)
-
\(a>b,b>c\) 可以推出 \(a>c\)
-
不存在 \(3\) 元环
-
\(\mathrm{cmp}(a,b) \oplus \mathrm{cmp}(b,a)=1\)
\(\mathrm{cmp}(a,a)=0\)
\(a>b,b>c\) 可以推出 \(a>c\)
不存在 \(3\) 元环
\(\mathrm{cmp}(a,b) \oplus \mathrm{cmp}(b,a)=1\)