結果

問題 No.1684 Find Brackets
ユーザー 👑 hitonanodehitonanode
提出日時 2021-08-14 01:58:42
言語 PyPy3
(7.3.15)
結果
AC  
実行時間 224 ms / 2,000 ms
コード長 1,591 bytes
コンパイル時間 456 ms
コンパイル使用メモリ 86,868 KB
実行使用メモリ 112,372 KB
最終ジャッジ日時 2023-09-12 06:19:03
合計ジャッジ時間 5,917 ms
ジャッジサーバーID
(参考情報)
judge14 / judge11
このコードへのチャレンジ
(要ログイン)

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 126 ms
91,372 KB
testcase_01 AC 127 ms
91,300 KB
testcase_02 AC 223 ms
108,488 KB
testcase_03 AC 130 ms
91,652 KB
testcase_04 AC 127 ms
91,532 KB
testcase_05 AC 127 ms
91,584 KB
testcase_06 AC 130 ms
91,736 KB
testcase_07 AC 220 ms
107,580 KB
testcase_08 AC 210 ms
105,976 KB
testcase_09 AC 173 ms
104,004 KB
testcase_10 AC 168 ms
99,932 KB
testcase_11 AC 193 ms
112,372 KB
testcase_12 AC 199 ms
101,216 KB
testcase_13 AC 214 ms
105,908 KB
testcase_14 AC 224 ms
108,720 KB
testcase_15 AC 165 ms
107,636 KB
testcase_16 AC 222 ms
108,680 KB
testcase_17 AC 224 ms
108,688 KB
testcase_18 AC 221 ms
108,376 KB
testcase_19 AC 127 ms
91,428 KB
testcase_20 AC 127 ms
91,432 KB
testcase_21 AC 164 ms
107,856 KB
testcase_22 AC 162 ms
107,648 KB
testcase_23 AC 163 ms
107,648 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