結果

問題 No.829 成長関数インフレ中
ユーザー koprickykopricky
提出日時 2018-12-07 00:52:15
言語 Python3
(3.12.2 + numpy 1.26.4 + scipy 1.12.0)
結果
AC  
実行時間 1,718 ms / 2,000 ms
コード長 1,698 bytes
コンパイル時間 119 ms
コンパイル使用メモリ 10,892 KB
実行使用メモリ 33,588 KB
最終ジャッジ日時 2023-10-13 17:26:34
合計ジャッジ時間 9,236 ms
ジャッジサーバーID
(参考情報)
judge13 / judge11
このコードへのチャレンジ
(要ログイン)

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 16 ms
8,076 KB
testcase_01 AC 16 ms
8,136 KB
testcase_02 AC 16 ms
8,056 KB
testcase_03 AC 16 ms
8,076 KB
testcase_04 AC 17 ms
8,084 KB
testcase_05 AC 16 ms
8,136 KB
testcase_06 AC 17 ms
8,132 KB
testcase_07 AC 17 ms
8,076 KB
testcase_08 AC 17 ms
8,076 KB
testcase_09 AC 17 ms
8,088 KB
testcase_10 AC 16 ms
8,132 KB
testcase_11 AC 16 ms
8,028 KB
testcase_12 AC 315 ms
31,908 KB
testcase_13 AC 34 ms
9,940 KB
testcase_14 AC 218 ms
24,500 KB
testcase_15 AC 406 ms
16,092 KB
testcase_16 AC 792 ms
23,992 KB
testcase_17 AC 1,324 ms
33,588 KB
testcase_18 AC 1,541 ms
28,984 KB
testcase_19 AC 1,375 ms
27,240 KB
testcase_20 AC 1,718 ms
30,888 KB
testcase_21 AC 191 ms
22,424 KB
権限があれば一括ダウンロードができます
コンパイルメッセージ
Main.py:18: SyntaxWarning: "is not" with a literal. Did you mean "!="?
  while index is not 0:
Main.py:18: SyntaxWarning: "is not" with a literal. Did you mean "!="?
  while index is not 0:

ソースコード

diff #

import sys


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


def mod_inverse(a):
    # r, w = [1, a], [0, 1000000007]
    # 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 (1000000007 + w[0] % 1000000007) % 1000000007
    index = 1000000005
    res, nw = 1, a
    while index is not 0:
        if index % 2 == 1:
            res = res * nw % 1000000007
        nw = nw * nw % 1000000007
        index >>= 1
    return res


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] = 1000000007 - inv[1000000007 % i] * (1000000007 // i) % 1000000007
        fac[i] = fac[i - 1] * i % 1000000007
        finv[i] = finv[i - 1] * inv[i] % 1000000007
    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] % 1000000007
        t = (s * B + prod(id + cnt[i] - 1, cnt[i])) % 1000000007
        if t > 0:
            ad = (ad + s * mod_inverse(t) % 1000000007) % 1000000007
            pl = pl * t % 1000000007
        else:
            if flag:
                pl = 0
            else:
                flag = True
                pl = pl * s % 1000000007
        ans = ans * t % 1000000007
        id += cnt[i]
    print((ans * ad + (pl if flag else 0)) % 1000000007)
0