解説全要素が等しい場合はどの並べ替えも整列済みとなる。それ以外では降順に並べると厳密な下降が存在し、正解となる。時間 O(NlogN)O(N\log N)O(NlogN)。小さいサブタスクでは順列を全列挙できる。