結果

問題 No.1684 Find Brackets
ユーザー hitonanodehitonanode
提出日時 2021-08-14 01:58:42
言語 PyPy3
(7.3.15)
結果
AC  
実行時間 183 ms / 2,000 ms
コード長 1,591 bytes
コンパイル時間 171 ms
コンパイル使用メモリ 82,372 KB
実行使用メモリ 110,000 KB
最終ジャッジ日時 2024-06-29 19:24:09
合計ジャッジ時間 3,954 ms
ジャッジサーバーID
（参考情報） 		judge4 / judge5
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 81 ms
74,168 KB
testcase_01 AC 85 ms
75,020 KB
testcase_02 AC 169 ms
107,240 KB
testcase_03 AC 84 ms
77,084 KB
testcase_04 AC 83 ms
74,992 KB
testcase_05 AC 84 ms
74,964 KB
testcase_06 AC 83 ms
75,984 KB
testcase_07 AC 163 ms
106,884 KB
testcase_08 AC 159 ms
104,892 KB
testcase_09 AC 122 ms
98,524 KB
testcase_10 AC 117 ms
94,668 KB
testcase_11 AC 138 ms
110,000 KB
testcase_12 AC 149 ms
99,988 KB
testcase_13 AC 161 ms
104,984 KB
testcase_14 AC 170 ms
107,792 KB
testcase_15 AC 120 ms
94,112 KB
testcase_16 AC 173 ms
107,248 KB
testcase_17 AC 176 ms
107,380 KB
testcase_18 AC 183 ms
107,152 KB
testcase_19 AC 81 ms
74,092 KB
testcase_20 AC 80 ms
74,916 KB
testcase_21 AC 115 ms
95,276 KB
testcase_22 AC 118 ms
93,540 KB
testcase_23 AC 117 ms
93,364 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

N, M = map(int, input().split())

class facmod:
    def __init__(self, N: int, md: int) -> None:
        assert N < md
        self.md = md
        self.facs = [1] * (N + 1)
        self.facinvs = [1] * (N + 1)
        for i in range(1, N + 1):
            self.facs[i] = self.facs[i - 1] * i % md
        self.facinvs[N] = pow(self.facs[i], md - 2, md)
        for i in range(N - 1, 0, -1):
            self.facinvs[i] = self.facinvs[i + 1] * (i + 1) % md

    def nCr(self, n: int, r: int) -> int:
        if n < 0 or r < 0 or n < r:
            return 0
        return (self.facs[n] * self.facinvs[r]) % md * self.facinvs[n - r] % md


md = 1000000007
fac = facmod(1000000, md)

ncrs = [fac.nCr(N, i) for i in range(N + 1)]
ncr_cums = [0] * (N + 2)
for i in range(N + 1):
    ncr_cums[i + 1] = ncr_cums[i] + ncrs[i]
    if ncr_cums[i + 1] >= md:
        ncr_cums[i + 1] -= md

ret = 0

def add_closed(l: int, r: int) -> None:
    global ret
    if l > r:
        return
    ret += ncr_cums[(r if r < N else N) + 1] - ncr_cums[l if l >= 0 else 0]


for h in range(1, N + 1):
    if M - (N - M) >= h:
        add_closed(M, N)
    else:
        l = h + (N - h + 1) // 2
        add_closed(l, N)
        add_closed(l + 1 - ((N - h) & 1), l + l - M - ((N - h) & 1))

K = N - M
for h in range(1, K + 1):
    l = h + (N - h + 1) // 2
    if l <= K:
        add_closed(l, K)
        add_closed(l + 1 - ((N - h) & 1), N)
    else:
        add_closed(h + N - K, N)

for i in range(M, N + 1):
    ret += fac.nCr(N, i) * N

print(ret % md)
0