お祓い棒の基本列をできるだけ速く求める

目標: O(N^2)、もしうまくいけばO(NlogN)、もっとうまくいけばO(N)

サブ目標

\( N \in \mathbb{N} \)と\( s \in OT_{\textrm{☯}, N} \)が与えられる。\( t \in OT_{\textrm{☯}, N} \)であって、\( s < t \)かつ\( \lnot \exists u \in OT_{\textrm{☯}, N}\ s.t. s < u < t \)であるものを求めよ。解なしであることもある。