結果

問題 No.829 成長関数インフレ中
ユーザー koprickykopricky
提出日時 2018-12-07 00:53:31
言語 PyPy3
(7.3.15)
結果
AC  
実行時間 226 ms / 2,000 ms
コード長 1,363 bytes
コンパイル時間 329 ms
コンパイル使用メモリ 81,868 KB
実行使用メモリ 105,792 KB
最終ジャッジ日時 2024-09-15 13:20:32
合計ジャッジ時間 3,257 ms
ジャッジサーバーID
（参考情報） 		judge2 / judge5
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 61 ms
66,404 KB
testcase_01 AC 60 ms
65,160 KB
testcase_02 AC 59 ms
66,292 KB
testcase_03 AC 60 ms
65,392 KB
testcase_04 AC 59 ms
66,076 KB
testcase_05 AC 60 ms
66,240 KB
testcase_06 AC 61 ms
66,316 KB
testcase_07 AC 60 ms
65,656 KB
testcase_08 AC 59 ms
65,232 KB
testcase_09 AC 59 ms
65,324 KB
testcase_10 AC 60 ms
65,396 KB
testcase_11 AC 59 ms
65,040 KB
testcase_12 AC 117 ms
104,432 KB
testcase_13 AC 67 ms
72,472 KB
testcase_14 AC 98 ms
98,000 KB
testcase_15 AC 118 ms
85,448 KB
testcase_16 AC 147 ms
95,900 KB
testcase_17 AC 201 ms
105,792 KB
testcase_18 AC 202 ms
98,832 KB
testcase_19 AC 194 ms
95,044 KB
testcase_20 AC 226 ms
101,384 KB
testcase_21 AC 93 ms
92,072 KB
権限があれば一括ダウンロードができます
コンパイルメッセージ
Main.py:12: SyntaxWarning: "is not" with a literal. Did you mean "!="?
  while w[1] is not 1:

ソースコード

diff # 

import sys

MOD = 1000000007


def prod(a, b):
    return 0 if a < b else fac[a] * finv[a-b] % MOD


def mod_inverse(a):
    r, w = [1, a], [0, MOD]
    while w[1] is not 1:
        q = r[1] // w[1]
        nw = [r[0]-q*w[0], r[1]-q*w[1]]
        r = w
        w = nw
    return (MOD + w[0] % MOD) % MOD


if __name__ == '__main__':
    n, B = map(int, sys.stdin.readline().split())
    cnt, inv, fac, finv = [0]*(n+1), [0]*(n+1), [0]*(n+1), [0]*(n+1)
    for val in list(map(int, sys.stdin.readline().split())):
        cnt[val] += 1
    fac[0] = fac[1] = 1
    finv[0] = finv[1] = 1
    inv[1] = 1
    for i in range(2, n):
        inv[i] = MOD - inv[MOD % i] * (MOD // i) % MOD
        fac[i] = fac[i - 1] * i % MOD
        finv[i] = finv[i - 1] * inv[i] % MOD
    id, ad, ans, s, t, pl = 0, 0, B, 0, 0, B
    flag = False
    for i in range(n-1, -1, -1):
        if cnt[i] == 0:
            continue
        s = prod(id + cnt[i] - 1, cnt[i] - 1) * cnt[i] % MOD
        t = (s * B + prod(id + cnt[i] - 1, cnt[i])) % MOD
        if t > 0:
            ad = (ad + s * mod_inverse(t) % MOD) % MOD
            pl = pl * t % MOD
        else:
            if flag:
                pl = 0
            else:
                flag = True
                pl = pl * s % MOD
        ans = ans * t % MOD
        id += cnt[i]
    print((ans * ad + (pl if flag else 0)) % MOD)
0