結果
| 問題 | 
                            No.194 フィボナッチ数列の理解(1)
                             | 
                    
| コンテスト | |
| ユーザー | 
                             mkawa2
                         | 
                    
| 提出日時 | 2020-01-23 12:01:52 | 
| 言語 | Python3  (3.13.1 + numpy 2.2.1 + scipy 1.14.1)  | 
                    
| 結果 | 
                             
                                MLE
                                 
                             
                            
                         | 
                    
| 実行時間 | - | 
| コード長 | 1,552 bytes | 
| コンパイル時間 | 143 ms | 
| コンパイル使用メモリ | 12,800 KB | 
| 実行使用メモリ | 817,536 KB | 
| 最終ジャッジ日時 | 2024-07-19 00:01:56 | 
| 合計ジャッジ時間 | 4,284 ms | 
| 
                            ジャッジサーバーID (参考情報)  | 
                        judge4 / judge5 | 
(要ログイン)
| ファイルパターン | 結果 | 
|---|---|
| sample | AC * 3 | 
| other | AC * 18 MLE * 1 -- * 18 | 
ソースコード
import sys
sys.setrecursionlimit(10 ** 6)
int1 = lambda x: int(x) - 1
p2D = lambda x: print(*x, sep="\n")
def II(): return int(sys.stdin.readline())
def MI(): return map(int, sys.stdin.readline().split())
def LI(): return list(map(int, sys.stdin.readline().split()))
def LLI(rows_number): return [LI() for _ in range(rows_number)]
def SI(): return sys.stdin.readline()[:-1]
md = 10 ** 9 + 7
def main():
    def mm(aa, bb):
        res = [0] * (n * 2 - 1)
        for i, a in enumerate(aa):
            for j, b in enumerate(bb):
                res[i + j] = (res[i + j] + a * b) % md
        for i in range(n, 2 * n - 1):
            c = res[i]
            for j in range(n):
                res[j] = (res[j] + c * ff[i][j]) % md
        return res[:n]
    def v(x,base):
        bb = ff[x % bn]
        x //= bn
        while x:
            if x & 1: bb = mm(bb, base)
            base = mm(base, base)
            x >>= 1
        return sum(a * f % md for a, f in zip(bb, f0)) % md
    _, t = MI()
    aa = LI()
    n = len(aa) + 1
    coff = [-1] + [0] * (n - 2) + [2]
    f0 = [aa[0]]
    for x in range(1, n - 1):
        f0.append((f0[-1] + aa[x]) % md)
    f0.append(f0[-1] * 2 % md)
    ff = [[0] * n for _ in range(2 * n - 1)]
    for i in range(n): ff[i][i] = 1
    for i in range(n, 2 * n - 1):
        for j, c in enumerate(coff, i - n):
            for k in range(n): ff[i][k] = (ff[i][k] + c * ff[j][k]) % md
    bn = 1 << (n - 1).bit_length()
    base = ff[bn]
    v1=v(t - 1,base)
    print((v1 - v(t - 2,base)) % md, v1)
main()
            
            
            
        
            
mkawa2