結果

問題 No.2327 Inversion Sum
ユーザー rlangevinrlangevin
提出日時 2023-07-09 16:07:11
言語 PyPy3
(7.3.15)
結果
AC  
実行時間 153 ms / 2,000 ms
コード長 1,938 bytes
コンパイル時間 373 ms
コンパイル使用メモリ 87,060 KB
実行使用メモリ 85,320 KB
最終ジャッジ日時 2023-09-30 19:29:11
合計ジャッジ時間 5,587 ms
ジャッジサーバーID
（参考情報） 		judge15 / judge12
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 110 ms
84,148 KB
testcase_01 AC 153 ms
85,320 KB
testcase_02 AC 137 ms
84,000 KB
testcase_03 AC 107 ms
82,792 KB
testcase_04 AC 152 ms
83,912 KB
testcase_05 AC 106 ms
80,304 KB
testcase_06 AC 137 ms
83,656 KB
testcase_07 AC 119 ms
79,832 KB
testcase_08 AC 108 ms
78,600 KB
testcase_09 AC 152 ms
84,536 KB
testcase_10 AC 112 ms
79,352 KB
testcase_11 AC 84 ms
78,808 KB
testcase_12 AC 83 ms
78,032 KB
testcase_13 AC 81 ms
76,324 KB
testcase_14 AC 129 ms
81,104 KB
testcase_15 AC 147 ms
83,116 KB
testcase_16 AC 120 ms
82,644 KB
testcase_17 AC 102 ms
81,560 KB
testcase_18 AC 110 ms
78,368 KB
testcase_19 AC 113 ms
83,024 KB
testcase_20 AC 73 ms
71,500 KB
testcase_21 AC 73 ms
71,528 KB
testcase_22 AC 72 ms
71,344 KB
testcase_23 AC 74 ms
71,400 KB
testcase_24 AC 72 ms
71,404 KB
testcase_25 AC 73 ms
71,520 KB
testcase_26 AC 72 ms
71,036 KB
testcase_27 AC 73 ms
71,400 KB
testcase_28 AC 73 ms
71,360 KB
testcase_29 AC 74 ms
71,236 KB
testcase_30 AC 74 ms
71,540 KB
testcase_31 AC 73 ms
71,452 KB
testcase_32 AC 75 ms
71,620 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