結果

問題 No.2122 黄金比で擬似乱数生成
ユーザー rin204
提出日時 2022-11-04 23:20:13
言語 PyPy3
(7.3.15)
結果
WA  
実行時間 -
コード長 1,734 bytes
コンパイル時間 393 ms
コンパイル使用メモリ 82,432 KB
実行使用メモリ 78,868 KB
最終ジャッジ日時 2024-07-18 21:11:48
合計ジャッジ時間 7,467 ms
ジャッジサーバーID
(参考情報)
judge4 / judge1
このコードへのチャレンジ
(要ログイン)
ファイルパターン 結果
other AC * 24 WA * 2
権限があれば一括ダウンロードができます

ソースコード

diff #

"""
S = 0001 
の遷移 わかってない
"""

MOD = 10000

def add(x, y):
    if x[0] == 0:
        return y
    elif y[0] == 0:
        return x
    x = list(x)
    y = list(y)
    if x[1] > y[1]:
        x, y = y, x
    y[0] <<= y[1] - x[1]
    z0 = x[0] + y[0]
    z1 = x[1]
    return f(z0, z1)

def times(x, y):
    x = list(x)
    y = list(y)
    z0 = x[0] * y[0]
    z1 = x[1] + y[1]
    return f(z0, z1)

def matpow(A, B, w):
    l = len(A)
    while w:
        if w & 1:
            C = [(0, 0)] * l
            for i in range(l):
                for j in range(l):
                    C[i] = add(C[i], times(A[i][j], B[j]))
            B = C
        C = [[(0, 0)] * l for _ in range(l)]
        for i in range(l):
            for j in range(l):
                for k in range(l):
                    C[i][j] = add(C[i][j], times(A[i][k], A[k][j]))

        A = C
        w >>= 1
    return B

S = int(input())
m = int(input())
L = int(input())

nex = [0] * 10000

def f(x, r=0):
    if x == 0:
        return 0, 0
    while x % 2 == 0:
        r += 1
        x //= 2
    return x % MOD, r

for n in range(2, 10000):
    d = n * n + 4
    B = [f(2), f(0)]
    A = [[f(n, -1), f(d, -1)], [f(1, -1), f(n, -1)]]
    ret = matpow(A, B, m)
    
    ret = ret[1]
    nex[n] = ret[0] * pow(2, ret[1], MOD) % MOD
    if m % 2 == 1:
        nex[n] -= 1
        if nex[n] == -1:
            nex[n] = 9999

if m == 2:
    nex[1] = 1
elif m == 4:
    nex[1] = 3

n = int(S)
se = set()
lst = []
while n not in se:
    se.add(n)
    lst.append(n)
    n = nex[n]

if len(lst) >= L + 1:
    ans = str(lst[L]).zfill(4)
    print(ans)
    exit()

ii = lst.index(n)
L -= ii
lst = lst[ii:]
L %= len(lst)
ans = str(lst[L]).zfill(4)
print(ans)
0