結果

問題 No.1435 Mmm......
ユーザー persimmon-persimmonpersimmon-persimmon
提出日時 2021-06-09 11:02:29
言語 PyPy3
(7.3.15)
結果
RE  
実行時間 -
コード長 4,289 bytes
コンパイル時間 443 ms
コンパイル使用メモリ 82,432 KB
実行使用メモリ 131,084 KB
最終ジャッジ日時 2024-05-05 20:42:31
合計ジャッジ時間 23,055 ms
ジャッジサーバーID
(参考情報)
judge2 / judge1
このコードへのチャレンジ
(要ログイン)

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 42 ms
52,864 KB
testcase_01 AC 42 ms
52,992 KB
testcase_02 AC 42 ms
52,608 KB
testcase_03 AC 43 ms
53,248 KB
testcase_04 RE -
testcase_05 AC 43 ms
53,248 KB
testcase_06 AC 800 ms
108,484 KB
testcase_07 AC 967 ms
113,492 KB
testcase_08 AC 1,061 ms
118,520 KB
testcase_09 AC 948 ms
116,368 KB
testcase_10 AC 869 ms
111,480 KB
testcase_11 AC 807 ms
110,644 KB
testcase_12 AC 772 ms
109,224 KB
testcase_13 AC 798 ms
108,156 KB
testcase_14 AC 633 ms
100,284 KB
testcase_15 AC 1,004 ms
119,596 KB
testcase_16 AC 868 ms
113,868 KB
testcase_17 AC 733 ms
102,972 KB
testcase_18 AC 1,054 ms
121,152 KB
testcase_19 AC 870 ms
110,544 KB
testcase_20 AC 983 ms
117,428 KB
testcase_21 AC 1,257 ms
128,724 KB
testcase_22 AC 1,256 ms
120,832 KB
testcase_23 AC 1,081 ms
130,700 KB
testcase_24 AC 1,001 ms
130,444 KB
testcase_25 AC 1,108 ms
131,084 KB
testcase_26 AC 1,034 ms
130,664 KB
testcase_27 AC 1,100 ms
130,324 KB
権限があれば一括ダウンロードができます

ソースコード

diff #

class SegmentTree():
  def __init__(self,size,f=lambda x,y:x+y,default=0):
    self.size=pow(2,(size-1).bit_length())
    self.f=f
    self.default=default
    self.data=[default]*(self.size*2)
  def update(self,i,x):
    i+=self.size
    self.data[i]=x
    while i:
      i>>=1
      self.data[i]=self.f(self.data[i*2],self.data[i*2+1])
  # 区間[l,r)へのクエリ
  def query(self,l,r):
    l,r=l+self.size,r+self.size
    lret,rret=self.default,self.default
    while l<r:
      if l&1:
        lret=self.f(self.data[l],lret)
        l+=1
      if r&1:
        r-=1
        rret=self.f(self.data[r],rret)
      l>>=1
      r>>=1
    return self.f(lret,rret)
  def get(self,i):
    return self.data[self.size+i]
  def add(self,i,x):
    self.update(i,self.get(i)+x)
def main0(n,a):
  inf=10**10
  def f(x,y):
    ary=[]
    xidx,yidx=0,0
    while len(ary)<2:
      if x[xidx]<y[yidx]:
        ary.append(x[xidx])
        xidx+=1
      else:
        ary.append(y[yidx])
        yidx+=1
    ary.append(max(x[-1],y[-1]))
    return ary
  st=SegmentTree(n,f,default=[inf,inf,0])
  for i,x in enumerate(a):
    st.update(i,[x,inf,x])
  ans=0
  for i in range(n-1):
    l,r=i+1,n
    while r-l>1:
      x=(l+r)//2
      m1,m2,M=st.query(i,x+1)
      if M<=m1+m2:
        l,r=x,r
      else:
        l,r=l,x
    ans+=(l-i)
  return ans

class SegmentTree():
  def __init__(self,size,f=lambda x,y:x+y,default=0):
    self.size=pow(2,(size-1).bit_length())
    self.f=f
    self.default=default
    self.data=[default]*(self.size*2)
  def update(self,i,x):
    i+=self.size
    self.data[i]=x
    while i:
      i>>=1
      self.data[i]=self.f(self.data[i*2],self.data[i*2+1])
  # 区間[l,r)へのクエリ
  def query(self,l,r):
    l,r=l+self.size,r+self.size
    lret,rret=self.default,self.default
    while l<r:
      if l&1:
        lret=self.f(self.data[l],lret)
        l+=1
      if r&1:
        r-=1
        rret=self.f(self.data[r],rret)
      l>>=1
      r>>=1
    return self.f(lret,rret)
  def get(self,i):
    return self.data[self.size+i]
  def add(self,i,x):
    self.update(i,self.get(i)+x)
def main1(n,a):
  inf=10**10
  def f(x,y):
    ary=[]
    xidx,yidx=0,0
    while len(ary)<2:
      if x[xidx]<y[yidx]:
        ary.append(x[xidx])
        xidx+=1
      else:
        ary.append(y[yidx])
        yidx+=1
    ary.append(max(x[-1],y[-1]))
    return ary
  st=SegmentTree(n,f,default=[inf,inf,0])
  for i,x in enumerate(a):
    st.update(i,[x,inf,x])
  ans=0
  l=0
  r=1
  tmp={}
  for i in range(n-1):
    #if 0<i and a[i-1] not in tmp:
    #  ans+=(r-i)
    #  continue
    
    if i==0:
      _l,_r=r,n
      while _r-_l>1:
        x=(_l+_r)//2
        m1,m2,M=st.query(i,x+1)
        if M<=m1+m2:
          _l,_r=x,_r
        else:
          _l,_r=_l,x
      r=_l
      tmp={M,m1,m2}
    else:
      r=max(r,i+1)
      m1,m2,M=st.query(i,r+1) # これは必ず条件を満たす。
      for j in range(r+1,n):
        m=a[j]
        if m2==inf and 1:
          ary=[m1,M,m]
          ary.sort()
          if ary[-1]<=ary[0]+ary[1]:
            r=j
            m1,m2,M=ary
            continue
          else:
            break
        if m2<=m<=M:
          r=j
        elif M<m:
          if m<=m1+m2:
            r=j
            M=m
          else:
            break
        elif m1<=m<m2:
          if M<=m1+m:
            r=j
            m2=m
          else:
            break
        elif m<m1:
          if M<=m+m1:
            r=j
            m1,m2=m,m1
          else:
            break
        else:
          pass
          #break
      tmp={M,m1,m2}
    ans+=(r-i)
    #print(i,r,ans,tmp,st.query(i,r+1))
    assert r>i,f"error{r,i}"
  #print(st.query(0,1))
  #print(st.query(0,2))
  #print(st.query(0,3))
  return ans

if __name__=='__main__':
  n=int(input())
  a=list(map(int,input().split()))
  ret1=main1(n,a)
  print(ret1)

  exit()
  ret0=main0(n,a)
  print(ret0)

from random import randint
from datetime import datetime
if __name__=='__main__':
  t=datetime.now().timestamp()
  for _ in range(1):
    n=randint(10**4,10**4)
    n=10**5
    a=[randint(1,10) for _ in range(n)]
    #ret0=main0(n,a)
    ret1=main1(n,a)
    #if ret0!=ret1:
    #  print(n)
    #  print(*a)
    #  print(ret0,ret1)
    #  break
  print(datetime.now().timestamp()-t)
0