いろとくんの行動を高速にシミュレートする方法を考えてみましょう.
問題原案:machoniump
Rx≔(Ai=xR_x \coloneqq (A_i = xRx:=(Ai=x なる i)i)i) とします.
食べたいお寿司は順に台座 R0,R1,R2,…,RN−1R_0, R_1, R_2, \ldots, R_{N-1}R0,R1,R2,…,RN−1 に置かれて流れてきます. Ri<Ri−1 (0<i<N)R_i < R_{i-1} \; \scriptsize (0 < i < N)Ri<Ri−1(0<i<N) となったとき,レーンが新たに 111 周するのを待たなければならないので,このような iii の個数が答えに一致します.
解説:uni_kakurenbo