如题。所有题解都当成了给定一个全序而不是一个竞赛图来做。如果您要交题解，请给出基于竞赛图的您的正确性证明。（实际上归并排序和二分都是对的。）

值得一提的是，stable_sort 恰好使用了归并排序实现，但是在 C++ 标准中 stable_sort 的传参必须符合严格弱序，因此使用 stable_sort 的题解是未定义行为，虽然实现上可以通过，但是请在题解中说明这点。