結果
| 問題 |
No.823 Many Shifts Easy
|
| コンテスト | |
| ユーザー |
maspy
|
| 提出日時 | 2020-02-24 21:00:10 |
| 言語 | Python3 (3.13.1 + numpy 2.2.1 + scipy 1.14.1) |
| 結果 |
AC
|
| 実行時間 | 576 ms / 2,000 ms |
| コード長 | 1,209 bytes |
| コンパイル時間 | 84 ms |
| コンパイル使用メモリ | 12,672 KB |
| 実行使用メモリ | 49,248 KB |
| 最終ジャッジ日時 | 2024-10-12 12:26:21 |
| 合計ジャッジ時間 | 6,818 ms |
|
ジャッジサーバーID (参考情報) |
judge4 / judge1 |
(要ログイン)
| ファイルパターン | 結果 |
|---|---|
| other | AC * 10 |
ソースコード
#!/usr/bin/env python3
# %%
import sys
read = sys.stdin.buffer.read
readline = sys.stdin.buffer.readline
readlines = sys.stdin.buffer.readlines
# %%
import numpy as np
# %%
N, K = map(int, read().split())
# %%
MOD = 10**9 + 7
# %%
def cumprod(A, MOD=MOD):
L = len(A)
Lsq = int(L**.5 + 1)
A = np.resize(A, Lsq**2).reshape(Lsq, Lsq)
for n in range(1, Lsq):
A[:, n] *= A[:, n - 1]
A[:, n] %= MOD
for n in range(1, Lsq):
A[n] *= A[n - 1, -1]
A[n] %= MOD
return A.ravel()[:L]
def make_fact(U, MOD=MOD):
x = np.arange(U, dtype=np.int64)
x[0] = 1
fact = cumprod(x, MOD)
x = np.arange(U, 0, -1, dtype=np.int64)
x[0] = pow(int(fact[-1]), MOD - 2, MOD)
fact_inv = cumprod(x, MOD)[::-1]
fact.flags.writeable = False
fact_inv.flags.writeable = False
return fact, fact_inv
# %%
fact, fact_inv = make_fact(10**5 + 100)
inv = np.zeros_like(fact)
inv[1:] = fact[:-1] * fact_inv[1:] % MOD
# %%
inv = inv.astype(object)
p_N = (N - K) * inv[N]
p = p_N + (K * (K - 1)) * inv[N] * inv[N - 1] * inv[2]
expected = (N - 1) * N // 2 * p + N * p_N
perm = int(fact[N] * fact_inv[N - K])
answer = expected * perm % MOD
print(answer)
maspy