結果
問題 | No.1709 Indistinguishable by MEX |
ユーザー |
![]() |
提出日時 | 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 |
ソースコード
import sysinput = sys.stdin.readlineN=int(input())P=list(map(int,input().split()))mod=998244353ANS=1P_INV=[-1]*Nfor i in range(N):P_INV[P[i]]=iLEN=N+10BIT=[0]*(LEN+1) # 1-indexedなtree. 配列BITの長さはLEN+1にしていることに注意。def update(v,w): # index vにwを加えるwhile v<=LEN:BIT[v]+=wv+=(v&(-v)) # v&(-v)で、最も下の立っているビット. 自分を含む大きなノードへ. たとえばv=3→v=4def getvalue(v): # [1,v]の区間の和を求めるANS=0while v!=0:ANS+=BIT[v]v-=(v&(-v)) # 自分より小さい自分の和を構成するノードへ. たとえばv=14→v=12へreturn ANSL=10**8R=-100for i in range(N):x=P_INV[i]+5L2=min(L,x)R2=max(R,x)if R2-L2==R-L:sc=(R-L+1)-(getvalue(R)-getvalue(L-1))ANS*=scANS%=modupdate(x,1)L=L2R=R2print(ANS)