結果

問題 No.2327 Inversion Sum
ユーザー googol_S0googol_S0
提出日時 2023-05-28 13:57:09
言語 PyPy3
(7.3.15)
結果
AC  
実行時間 154 ms / 2,000 ms
コード長 1,605 bytes
コンパイル時間 339 ms
コンパイル使用メモリ 82,176 KB
実行使用メモリ 86,988 KB
最終ジャッジ日時 2024-12-26 22:24:44
合計ジャッジ時間 4,618 ms
ジャッジサーバーID
（参考情報） 		judge4 / judge1
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 108 ms
86,596 KB
testcase_01 AC 152 ms
86,912 KB
testcase_02 AC 137 ms
86,912 KB
testcase_03 AC 107 ms
86,332 KB
testcase_04 AC 153 ms
86,272 KB
testcase_05 AC 106 ms
84,608 KB
testcase_06 AC 134 ms
86,784 KB
testcase_07 AC 126 ms
84,948 KB
testcase_08 AC 111 ms
83,908 KB
testcase_09 AC 153 ms
86,988 KB
testcase_10 AC 117 ms
84,224 KB
testcase_11 AC 64 ms
70,656 KB
testcase_12 AC 64 ms
70,144 KB
testcase_13 AC 63 ms
69,376 KB
testcase_14 AC 130 ms
85,120 KB
testcase_15 AC 154 ms
86,016 KB
testcase_16 AC 120 ms
86,144 KB
testcase_17 AC 94 ms
83,648 KB
testcase_18 AC 113 ms
83,840 KB
testcase_19 AC 113 ms
85,888 KB
testcase_20 AC 58 ms
66,688 KB
testcase_21 AC 59 ms
66,816 KB
testcase_22 AC 56 ms
66,560 KB
testcase_23 AC 54 ms
66,816 KB
testcase_24 AC 56 ms
66,688 KB
testcase_25 AC 56 ms
66,432 KB
testcase_26 AC 55 ms
66,560 KB
testcase_27 AC 55 ms
66,432 KB
testcase_28 AC 56 ms
66,944 KB
testcase_29 AC 56 ms
66,816 KB
testcase_30 AC 57 ms
66,688 KB
testcase_31 AC 58 ms
66,688 KB
testcase_32 AC 57 ms
66,432 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

mod=998244353
def cmb(n,r):
    if r<0 or r>n:
        return 0
    return ((g1[n]*g2[r]%mod)*g2[n-r])%mod

N=300000
g1=[1]*(N+3)
for i in range(2,N+3):
    g1[i]=g1[i-1]*i%mod
g2=[0]*len(g1)
g2[-1]=pow(g1[-1],mod-2,mod)
for i in range(N+1,-1,-1):
    g2[i]=g2[i+1]*(i+1)%mod
inv=[0]*(N+3)
for i in range(1,N+3):
    inv[i]=g2[i]*g1[i-1]%mod

N,M=map(int,input().split())
P=[-1]*N
for i in range(M):
    p,k=map(int,input().split())
    P[k-1]=p-1

class fenwick_tree():
    n=1
    data=[0 for i in range(n)]
    def __init__(self,N):
        self.n=N
        self.data=[0 for i in range(N)]
    def add(self,p,x):
        assert 0<=p<self.n,"0<=p<n,p={0},n={1}".format(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 and l<=r and r<=self.n),"0<=l<=r<=n,l={0},r={1},n={2}".format(l,r,self.n)
        return self.sum0(r)-self.sum0(l)
    def sum0(self,r):
        s=0
        while(r>0):
            s+=self.data[r-1]
            r-=r&-r
        return s

BIT=fenwick_tree(N+2)
V=g1[N-M]
ANS=0
for i in range(N):
    if P[i]>=0:
        ANS=(ANS+V*BIT.sum(P[i]+1,N))%mod
        BIT.add(P[i],1)
ANS=(ANS+((((N-M)*(N-M-1))//2)%mod)*V*inv[2])%mod
C=[1]*(N+1)
C[0]=0
for i in range(N):
    if P[i]>=0:
        C[P[i]+1]=0
for i in range(N):
    C[i+1]+=C[i]
D=0
V=V*inv[C[-1]]%mod
for i in range(N):
    if P[i]>=0:
        ANS=(ANS+(V*(C[-1]-C[P[i]+1])%mod)*D)%mod
    else:
        D+=1
P=P[::-1]
D=0
for i in range(N):
    if P[i]>=0:
        ANS=(ANS+(V*C[P[i]]%mod)*D)%mod
    else:
        D+=1
print(ANS)
0