結果

問題 No.2327 Inversion Sum
ユーザー rlangevinrlangevin
提出日時 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
権限があれば一括ダウンロードができます

ソースコード

diff #

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)
0