結果

問題 No.1392 Don't be together
ユーザー tatyamtatyam
提出日時 2020-09-02 00:16:04
言語 PyPy3
(7.3.15)
結果
AC  
実行時間 582 ms / 2,000 ms
コード長 1,103 bytes
コンパイル時間 272 ms
コンパイル使用メモリ 82,608 KB
実行使用メモリ 70,092 KB
最終ジャッジ日時 2024-11-21 00:46:55
合計ジャッジ時間 3,877 ms
ジャッジサーバーID
(参考情報)
judge5 / judge3
このコードへのチャレンジ
(要ログイン)

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 45 ms
60,412 KB
testcase_01 AC 43 ms
59,240 KB
testcase_02 AC 43 ms
58,676 KB
testcase_03 AC 44 ms
58,660 KB
testcase_04 AC 44 ms
59,416 KB
testcase_05 AC 45 ms
60,628 KB
testcase_06 AC 310 ms
68,016 KB
testcase_07 AC 59 ms
66,660 KB
testcase_08 AC 234 ms
69,528 KB
testcase_09 AC 582 ms
70,092 KB
testcase_10 AC 64 ms
68,120 KB
testcase_11 AC 69 ms
69,396 KB
testcase_12 AC 64 ms
68,416 KB
testcase_13 AC 66 ms
68,476 KB
testcase_14 AC 66 ms
68,388 KB
testcase_15 AC 65 ms
69,124 KB
testcase_16 AC 65 ms
68,688 KB
testcase_17 AC 63 ms
70,056 KB
testcase_18 AC 64 ms
68,880 KB
testcase_19 AC 63 ms
68,164 KB
testcase_20 AC 63 ms
67,716 KB
testcase_21 AC 62 ms
67,976 KB
testcase_22 AC 64 ms
67,824 KB
testcase_23 AC 62 ms
67,928 KB
testcase_24 AC 61 ms
67,964 KB
testcase_25 AC 65 ms
67,608 KB
testcase_26 AC 61 ms
67,444 KB
testcase_27 AC 60 ms
67,032 KB
testcase_28 AC 64 ms
68,232 KB
testcase_29 AC 61 ms
66,844 KB
権限があれば一括ダウンロードができます

ソースコード

diff #

MOD = 998244353
MAX = 5000
fac = [1] * (MAX + 1)
for i in range(MAX):
    fac[i + 1] = fac[i] * (i + 1) % MOD
inv = [1] * (MAX + 1)
inv[MAX] = pow(fac[MAX], MOD - 2, MOD)
for i in range(MAX, 0, -1):
    inv[i - 1] = inv[i] * i % MOD

n, m = map(int, input().split(' '))
p = [*map(int, input().split(' '))]
assert 2 <= n <= 5000
assert 1 <= m <= n
assert len(p) == n
for i in range(n):
    assert 1 <= p[i] <= n
    p[i] -= 1
    assert p[i] != i

# 順列をサイクルに分解
cycle = []
used = [False] * n
for i in range(n):
    if used[i]:
        continue
    l = 0
    while not used[i]:
        used[i] = True
        l += 1
        i = p[i]
    cycle.append(l)

# 包除原理 a[i] := 1 ~ N を i 個の区別するグループに分ける分け方 整数が入っていないグループがあってもOK
a = [1] * (m + 1)
for i in range(2, m + 1):
    for l in cycle:
        a[i] *= pow(i-1, l, MOD) + (1 - i if l & 1 else i - 1)
        a[i] %= MOD

ans = 0
for i in range(2, m + 1):
    ans += a[i] * fac[m] * inv[i] * inv[m - i] * (-1 if (m ^ i) & 1 else 1)
ans *= inv[m]
print(ans % MOD)
0