排序函数记得要写成严格弱序，否则极有可能 $\rm RE$。