editorial では最後のパートを DP で解いているが，組み合わせ的に処理すると定数倍の軽い で解くことが出来る． 集合 を昇順にソートしてできる列を とする．さらに， の長さを ， とする． 結論から言えば，順列 を作ることが出来るための必要十分条件は以…