Digit考察

f(2) = 1

f(i+1) = 2*(L^{f(i)} - 1) / (L-1)

と定義する。

2*L^{f(N)} - 1 % M を求めよ。

という問題になるはず。

L-1の逆元が存在しないことが多々あるため終了する。どうしたものか

L^{f(i)}-1 / (L-1) として考えずに (1 + L + L2 + ... L^{f(i)-1}) と考えていた まったく方針が見えないため、これはやっぱり違う気がする

L^{f(i)} % M(L-1) を求めてもいい だが、これは再帰的にmodの値が増えまくって L^{f(i)} % M(L-1)k となって爆発する。 値がただの巨大数ではないためなんか性質を生かす? トーシェント関数の値は爆発するためうーん