結果

問題 No.1709 Indistinguishable by MEX
ユーザー titia
提出日時 2021-10-16 03:01:51
言語 Python3
(3.13.1 + numpy 2.2.1 + scipy 1.14.1)
結果
AC  
実行時間 1,268 ms / 2,000 ms
コード長 950 bytes
コンパイル時間 110 ms
コンパイル使用メモリ 12,800 KB
実行使用メモリ 29,592 KB
最終ジャッジ日時 2024-09-17 19:16:21
合計ジャッジ時間 18,138 ms
ジャッジサーバーID
（参考情報） 		judge3 / judge2
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 3
other AC * 26
権限があれば一括ダウンロードができます

ソースコード

diff # 

import sys
input = sys.stdin.readline

N=int(input())
P=list(map(int,input().split()))
mod=998244353
ANS=1

P_INV=[-1]*N

for i in range(N):
    P_INV[P[i]]=i

LEN=N+10
BIT=[0]*(LEN+1) # 1-indexedなtree. 配列BITの長さはLEN+1にしていることに注意。

def update(v,w): # index vにwを加える
    while v<=LEN:
        BIT[v]+=w
        v+=(v&(-v)) # v&(-v)で、最も下の立っているビット. 自分を含む大きなノードへ. たとえばv=3→v=4

def getvalue(v): # [1,v]の区間の和を求める
    ANS=0
    while v!=0:
        ANS+=BIT[v]
        v-=(v&(-v)) # 自分より小さい自分の和を構成するノードへ. たとえばv=14→v=12へ
    return ANS

L=10**8
R=-100

for i in range(N):
    x=P_INV[i]+5

    L2=min(L,x)
    R2=max(R,x)

    if R2-L2==R-L:
        sc=(R-L+1)-(getvalue(R)-getvalue(L-1))

        ANS*=sc
        ANS%=mod

    update(x,1)
        
    L=L2
    R=R2

print(ANS)
0