結果
| 問題 | No.1073 無限すごろく | 
| コンテスト | |
| ユーザー |  takakin | 
| 提出日時 | 2020-06-05 22:21:24 | 
| 言語 | Python3 (3.13.1 + numpy 2.2.1 + scipy 1.14.1) | 
| 結果 | 
                                AC
                                 
                             | 
| 実行時間 | 31 ms / 2,000 ms | 
| コード長 | 1,032 bytes | 
| コンパイル時間 | 94 ms | 
| コンパイル使用メモリ | 12,800 KB | 
| 実行使用メモリ | 10,880 KB | 
| 最終ジャッジ日時 | 2024-12-17 16:03:03 | 
| 合計ジャッジ時間 | 1,914 ms | 
| ジャッジサーバーID (参考情報) | judge3 / judge2 | 
(要ログイン)
| ファイルパターン | 結果 | 
|---|---|
| sample | AC * 3 | 
| other | AC * 30 | 
ソースコード
import sys
input=lambda: sys.stdin.readline().rstrip()
n=int(input())
MOD=10**9+7
A=[0,0,0,0,0,1]
inv=pow(6,MOD-2,MOD)
C=[inv]*6
def solve1(m, k, C, A):
    
    C0 = [0]*k; C1 = [0]*k
    if m == 0:
        return A[0]
    C0[1] = 1
    def inc(k, C0, C1):
        C1[0] = C0[k-1] * C[0] % MOD
        for i in range(k-1):
            C1[i+1] = (C0[i] + C0[k-1]*C[i+1]) % MOD
    def dbl(k, C0, C1):
        D0 = [0]*k; D1 = [0]*k
        D0[:] = C0[:]
        for j in range(k):
            C1[j] = C0[0] * C0[j] % MOD
        for i in range(1, k):
            inc(k, D0, D1)
            for j in range(k):
                C1[j] += C0[i] * D1[j] % MOD
            D0, D1 = D1, D0
        for i in range(k):
            C1[i] %= MOD
    p = 64
    while (m >> p) & 1 == 0:
        p -= 1
    while p:
        p -= 1
        dbl(k, C0, C1)
        C0, C1 = C1, C0
        if (m >> p) & 1:
            inc(k, C0, C1)
            C0, C1 = C1, C0
    return sum(C0[i] * A[i] for i in range(k)) % MOD
print(solve1(n+5, 6, C, A))
            
            
            
        