結果

問題 No.2327 Inversion Sum
ユーザー googol_S0googol_S0
提出日時 2023-05-28 13:57:09
言語 PyPy3
(7.3.15)
結果
AC  
実行時間 190 ms / 2,000 ms
コード長 1,605 bytes
コンパイル時間 1,085 ms
コンパイル使用メモリ 86,680 KB
実行使用メモリ 88,248 KB
最終ジャッジ日時 2023-08-27 08:43:01
合計ジャッジ時間 5,921 ms
ジャッジサーバーID
（参考情報） 		judge11 / judge13
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 136 ms
87,800 KB
testcase_01 AC 190 ms
88,076 KB
testcase_02 AC 168 ms
88,248 KB
testcase_03 AC 135 ms
87,356 KB
testcase_04 AC 188 ms
87,428 KB
testcase_05 AC 136 ms
85,996 KB
testcase_06 AC 167 ms
87,564 KB
testcase_07 AC 159 ms
85,980 KB
testcase_08 AC 145 ms
85,156 KB
testcase_09 AC 185 ms
87,956 KB
testcase_10 AC 147 ms
85,372 KB
testcase_11 AC 96 ms
84,688 KB
testcase_12 AC 96 ms
84,460 KB
testcase_13 AC 96 ms
83,280 KB
testcase_14 AC 163 ms
86,616 KB
testcase_15 AC 189 ms
87,188 KB
testcase_16 AC 150 ms
87,196 KB
testcase_17 AC 122 ms
86,216 KB
testcase_18 AC 143 ms
85,344 KB
testcase_19 AC 144 ms
87,196 KB
testcase_20 AC 88 ms
83,024 KB
testcase_21 AC 88 ms
82,744 KB
testcase_22 AC 87 ms
83,164 KB
testcase_23 AC 89 ms
82,888 KB
testcase_24 AC 89 ms
83,196 KB
testcase_25 AC 88 ms
83,176 KB
testcase_26 AC 90 ms
83,008 KB
testcase_27 AC 90 ms
83,132 KB
testcase_28 AC 89 ms
82,964 KB
testcase_29 AC 88 ms
83,172 KB
testcase_30 AC 90 ms
83,092 KB
testcase_31 AC 89 ms
83,032 KB
testcase_32 AC 89 ms
82,892 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