結果
問題 | No.2327 Inversion Sum |
ユーザー | rlangevin |
提出日時 | 2023-07-09 16:07:11 |
言語 | PyPy3 (7.3.15) |
結果 |
AC
|
実行時間 | 120 ms / 2,000 ms |
コード長 | 1,938 bytes |
コンパイル時間 | 520 ms |
コンパイル使用メモリ | 82,140 KB |
実行使用メモリ | 83,992 KB |
最終ジャッジ日時 | 2024-07-23 13:16:31 |
合計ジャッジ時間 | 4,258 ms |
ジャッジサーバーID (参考情報) |
judge5 / judge4 |
(要ログイン)
テストケース
テストケース表示入力 | 結果 | 実行時間 実行使用メモリ |
---|---|---|
testcase_00 | AC | 75 ms
83,252 KB |
testcase_01 | AC | 118 ms
83,992 KB |
testcase_02 | AC | 100 ms
82,860 KB |
testcase_03 | AC | 69 ms
79,828 KB |
testcase_04 | AC | 120 ms
82,328 KB |
testcase_05 | AC | 73 ms
78,868 KB |
testcase_06 | AC | 100 ms
82,436 KB |
testcase_07 | AC | 90 ms
78,508 KB |
testcase_08 | AC | 74 ms
76,720 KB |
testcase_09 | AC | 113 ms
83,068 KB |
testcase_10 | AC | 80 ms
77,848 KB |
testcase_11 | AC | 47 ms
63,576 KB |
testcase_12 | AC | 47 ms
62,544 KB |
testcase_13 | AC | 44 ms
61,960 KB |
testcase_14 | AC | 93 ms
79,860 KB |
testcase_15 | AC | 108 ms
81,716 KB |
testcase_16 | AC | 83 ms
81,872 KB |
testcase_17 | AC | 65 ms
73,520 KB |
testcase_18 | AC | 74 ms
76,920 KB |
testcase_19 | AC | 79 ms
81,492 KB |
testcase_20 | AC | 37 ms
53,040 KB |
testcase_21 | AC | 38 ms
52,340 KB |
testcase_22 | AC | 38 ms
53,132 KB |
testcase_23 | AC | 38 ms
53,864 KB |
testcase_24 | AC | 38 ms
52,408 KB |
testcase_25 | AC | 37 ms
53,160 KB |
testcase_26 | AC | 37 ms
52,860 KB |
testcase_27 | AC | 37 ms
52,624 KB |
testcase_28 | AC | 38 ms
53,812 KB |
testcase_29 | AC | 38 ms
53,124 KB |
testcase_30 | AC | 37 ms
53,088 KB |
testcase_31 | AC | 37 ms
53,372 KB |
testcase_32 | AC | 37 ms
53,568 KB |
ソースコード
import sys input = sys.stdin.readline class Fenwick_Tree: def __init__(self, n): self._n = n self.data = [0] * n def add(self, p, x): assert 0 <= p < self._n p += 1 while p <= self._n: self.data[p - 1] += x p += p & -p def sum(self, l, r): assert 0 <= l <= r <= self._n return self._sum(r) - self._sum(l) def _sum(self, r): s = 0 while r > 0: s += self.data[r - 1] r -= r & -r return s def get_size(self, x): x = self.find(x) while r > 0: s += self.data[r - 1] r -= r & -r return s def get(self, k): k += 1 x, r = 0, 1 while r < self._n: r <<= 1 len = r while len: if x + len - 1 < self._n: if self.data[x + len - 1] < k: k -= self.data[x + len - 1] x += len len >>= 1 return x N, M = map(int, input().split()) mod = 998244353 D = [-1] * N space = [0] * (N + 1) num = [1] * N for i in range(M): p, k = map(int, input().split()) p, k = p - 1, k - 1 D[k] = p num[p] = 0 Ac = [0] * (N + 1) for i in range(N): space[i + 1] = space[i] + (D[i] == -1) Ac[i + 1] = Ac[i] + num[i] nokori = N - M fact = [1] * (N + 1) for i in range(N): fact[i + 1] = fact[i] * (i + 1) fact[i + 1] %= mod fact.append(0) ans = 0 if nokori >= 2: ans += (nokori * (nokori - 1)//2)**2 * fact[nokori - 2] ans %= mod T = Fenwick_Tree(N) for i in range(N): if D[i] != -1: ans += T.sum(D[i], N) * fact[nokori] left = space[i] right = nokori - left ans += right * Ac[D[i] + 1] * fact[nokori - 1] ans += left * (Ac[-1] - Ac[D[i] + 1]) * fact[nokori - 1] ans %= mod T.add(D[i], 1) print(ans)