結果
問題 | No.1313 N言っちゃダメゲーム (4) |
ユーザー | 👑 Kazun |
提出日時 | 2020-12-10 01:18:07 |
言語 | PyPy3 (7.3.15) |
結果 |
AC
|
実行時間 | 236 ms / 2,000 ms |
コード長 | 3,455 bytes |
コンパイル時間 | 268 ms |
コンパイル使用メモリ | 82,576 KB |
実行使用メモリ | 99,220 KB |
最終ジャッジ日時 | 2024-09-19 07:43:36 |
合計ジャッジ時間 | 5,490 ms |
ジャッジサーバーID (参考情報) |
judge4 / judge5 |
(要ログイン)
テストケース
テストケース表示入力 | 結果 | 実行時間 実行使用メモリ |
---|---|---|
testcase_00 | AC | 35 ms
54,284 KB |
testcase_01 | AC | 35 ms
53,692 KB |
testcase_02 | AC | 36 ms
53,384 KB |
testcase_03 | AC | 35 ms
53,500 KB |
testcase_04 | AC | 35 ms
53,228 KB |
testcase_05 | AC | 35 ms
53,008 KB |
testcase_06 | AC | 34 ms
53,428 KB |
testcase_07 | AC | 34 ms
52,880 KB |
testcase_08 | AC | 34 ms
53,244 KB |
testcase_09 | AC | 36 ms
54,416 KB |
testcase_10 | AC | 34 ms
53,140 KB |
testcase_11 | AC | 36 ms
54,644 KB |
testcase_12 | AC | 34 ms
53,140 KB |
testcase_13 | AC | 60 ms
84,900 KB |
testcase_14 | AC | 63 ms
85,616 KB |
testcase_15 | AC | 198 ms
98,700 KB |
testcase_16 | AC | 232 ms
98,580 KB |
testcase_17 | AC | 161 ms
97,848 KB |
testcase_18 | AC | 188 ms
87,512 KB |
testcase_19 | AC | 180 ms
87,520 KB |
testcase_20 | AC | 115 ms
80,692 KB |
testcase_21 | AC | 166 ms
86,924 KB |
testcase_22 | AC | 138 ms
82,040 KB |
testcase_23 | AC | 168 ms
87,484 KB |
testcase_24 | AC | 113 ms
78,572 KB |
testcase_25 | AC | 187 ms
88,092 KB |
testcase_26 | AC | 88 ms
76,268 KB |
testcase_27 | AC | 159 ms
86,852 KB |
testcase_28 | AC | 228 ms
99,220 KB |
testcase_29 | AC | 213 ms
98,564 KB |
testcase_30 | AC | 219 ms
98,664 KB |
testcase_31 | AC | 227 ms
98,836 KB |
testcase_32 | AC | 236 ms
98,656 KB |
testcase_33 | AC | 63 ms
86,940 KB |
testcase_34 | AC | 64 ms
86,396 KB |
testcase_35 | AC | 57 ms
83,632 KB |
testcase_36 | AC | 59 ms
83,756 KB |
testcase_37 | AC | 61 ms
84,352 KB |
ソースコード
class Segment_Tree(): """ このプログラム内は1-index """ def __init__(self,L,calc,unit): """calcを演算とするリストLのSegment Treeを作成 calc:演算(2変数関数,モノイド) unit:モノイドcalcの単位元 (xe=ex=xを満たすe) """ self.calc=calc self.unit=unit N=len(L) d=max(1,(N-1).bit_length()) k=1<<d self.data=[unit]*k+L+[unit]*(k-len(L)) self.N=k self.depth=d for i in range(k-1,0,-1): self.data[i]=calc(self.data[i<<1],self.data[i<<1|1]) def get(self,k,index=1): """第k要素を取得 """ assert 0<=k-index<self.N,"添字が範囲外" return self.data[k-index+self.N] def update(self,k,x,index=1): """第k要素をxに変え,更新を行う. k:数列の要素 x:更新後の値 """ assert 0<=k-index<self.N,"添字が範囲外" m=(k-index)+self.N self.data[m]=x while m>1: m>>=1 self.data[m]=self.calc(self.data[m<<1],self.data[m<<1|1]) def product(self,From,To,index=1,left_closed=True,right_closed=True): L=(From-index)+self.N+(not left_closed) R=(To-index)+self.N+(right_closed) vL=self.unit vR=self.unit while L<R: if L&1: vL=self.calc(vL,self.data[L]) L+=1 if R&1: R-=1 vR=self.calc(self.data[R],vR) L>>=1 R>>=1 return self.calc(vL,vR) def all_product(self): return self.data[1] def max_right(self,l,r,cond,index=0): """以下の2つをともに満たすxの1つを返す.\n (1) r=l or cond(data[l]*data[l+1]*...*d[r-1]):True (2) r=x or cond(data[l]*data[l+1]*...*data[r]):False ※fが単調減少の時,cond(data[l]*...*data[r-1])を満たす最大のrとなる. cond:関数(引数が同じならば結果も同じ) cond(unit):True 0<=l<=r<=n """ l-=index assert 0<=l<=r<=self.num,"添字が範囲外" assert cond(self.unit),"単位元が条件を満たさない." if l==r: return r+index l+=(self.num-1) sm=self.unit calc=self.calc while True: while l%2: l=(l-1)>>1 if not cond(calc(sm,self.data[l])): while l<self.num-1: l=2*l+1 if cond(calc(sm,self.data[l])): sm=calc(sm,self.data[l]) l+=1 return min(l-(self.num-1)+index,r) sm=calc(sm,self.data[l]) l+=1 m=l+1 if not (m&(-m) !=m): break return r+index #================================================ import sys input=sys.stdin.readline N,K=map(int,input().split()) S="*"+input()[:-1] if S.count("x")==N: print(0) exit(0) inf=float("inf") T=Segment_Tree([inf]*(N+1),min,inf) I=N-1 while S[I]=="x": I-=1 T.update(I,0,0) for i in range(N-2,-1,-1): if S[i]=="x": continue p=T.product(i+1,min(N-1,i+K),0) if p==0: T.update(i,1,0) else: T.update(i,0,0) if T.get(0,0)==0: print(0) else: for i in range(1,K+1): if T.get(i,0)==0: print(i)