結果

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

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 102 ms
87,300 KB
testcase_01 AC 148 ms
86,656 KB
testcase_02 AC 135 ms
86,400 KB
testcase_03 AC 100 ms
86,140 KB
testcase_04 AC 148 ms
86,656 KB
testcase_05 AC 101 ms
84,608 KB
testcase_06 AC 131 ms
86,976 KB
testcase_07 AC 120 ms
84,992 KB
testcase_08 AC 104 ms
84,032 KB
testcase_09 AC 146 ms
86,400 KB
testcase_10 AC 112 ms
84,436 KB
testcase_11 AC 61 ms
70,528 KB
testcase_12 AC 58 ms
70,400 KB
testcase_13 AC 59 ms
69,760 KB
testcase_14 AC 128 ms
85,292 KB
testcase_15 AC 156 ms
86,016 KB
testcase_16 AC 113 ms
86,444 KB
testcase_17 AC 89 ms
83,712 KB
testcase_18 AC 112 ms
83,584 KB
testcase_19 AC 108 ms
86,016 KB
testcase_20 AC 53 ms
66,304 KB
testcase_21 AC 54 ms
66,560 KB
testcase_22 AC 54 ms
66,304 KB
testcase_23 AC 53 ms
67,072 KB
testcase_24 AC 53 ms
66,816 KB
testcase_25 AC 54 ms
66,560 KB
testcase_26 AC 60 ms
66,304 KB
testcase_27 AC 54 ms
66,816 KB
testcase_28 AC 56 ms
66,304 KB
testcase_29 AC 54 ms
66,560 KB
testcase_30 AC 54 ms
66,816 KB
testcase_31 AC 53 ms
66,688 KB
testcase_32 AC 53 ms
66,304 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