>>396
stable_sort がマージソートである保証はない．規定されてるのは安定であることと，
追加計算領域を使わない場合 O(n (log n)^2)，追加計算領域を使う場合 O(n log n) であることだけ．

これを満たすマージ以外のソートには二分木ソートや，前処理付の不安定ソート群がある．