結果
問題 | No.1996 <>< |
ユーザー |
|
提出日時 | 2022-07-01 23:13:58 |
言語 | PyPy3 (7.3.15) |
結果 |
AC
|
実行時間 | 1,983 ms / 2,000 ms |
コード長 | 2,377 bytes |
コンパイル時間 | 205 ms |
コンパイル使用メモリ | 82,176 KB |
実行使用メモリ | 127,028 KB |
最終ジャッジ日時 | 2024-11-26 07:06:48 |
合計ジャッジ時間 | 22,588 ms |
ジャッジサーバーID (参考情報) |
judge1 / judge2 |
(要ログイン)
ファイルパターン | 結果 |
---|---|
sample | AC * 4 |
other | AC * 29 |
ソースコード
import sysinput = lambda :sys.stdin.readline()[:-1]ni = lambda :int(input())na = lambda :list(map(int,input().split()))yes = lambda :print("yes");Yes = lambda :print("Yes");YES = lambda : print("YES")no = lambda :print("no");No = lambda :print("No");NO = lambda : print("NO")#######################################################################inf = 10**18class SegmentTree:# 初期化処理# f : SegmentTreeにのせるモノイド# default : fに対する単位元def __init__(self, size, f=lambda x,y : min(x,y), default=inf):self.size = 2**(size-1).bit_length() # 簡単のため要素数Nを2冪にするself.default = defaultself.dat = [default]*(self.size*2) # 要素を単位元で初期化self.f = fdef update(self, i, x):i += self.sizeself.dat[i] = self.f(self.dat[i],x)while i > 0:i >>= 1self.dat[i] = self.f(self.dat[i*2], self.dat[i*2+1])def query(self, l, r):l += self.sizer += self.sizelres, rres = self.default, self.defaultwhile l < r:if l & 1:lres = self.f(lres, self.dat[l])l += 1if r & 1:r -= 1rres = self.f(self.dat[r], rres) # モノイドでは可換律は保証されていないので演算の方向に注意l >>= 1r >>= 1res = self.f(lres, rres)return resdef query2(self):s = 1#print(self.size)while s<self.size:#print(s)if self.dat[s*2]>self.dat[s*2+1]:s = s*2else:s = s*2+1return s-self.sizen,k = na()a = na()mod = 10**9+7s = sorted(set(a))zz = input()m = len(s)d = {x:i for i, x in enumerate(s)}a = [d[a[i]] for i in range(n)]f = [SegmentTree(m,lambda x,y:(x+y)%mod,default = 0) for i in range(k+1)]for i in range(n):for j in range(k-1,-1,-1):if zz[j] == ">":z = f[j].query(a[i]+1,m)f[j+1].update(a[i],z)else:z = f[j].query(0,a[i])f[j+1].update(a[i],z)f[0].update(a[i],1)"""for i in range(k+1):for j in range(m):print(f[i].query(j,j+1),end = " ")print()print()"""print(f[-1].query(0,m))