結果

問題 No.1435 Mmm......
コンテスト
ユーザー tyawanmusi
提出日時 2020-10-21 18:29:45
言語 PyPy3
(7.3.15)
結果
WA  
実行時間 -
コード長 2,725 bytes
コンパイル時間 186 ms
コンパイル使用メモリ 82,176 KB
実行使用メモリ 119,440 KB
最終ジャッジ日時 2024-07-21 09:21:01
合計ジャッジ時間 13,477 ms
ジャッジサーバーID
（参考情報） 		judge1 / judge2
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 1 WA * 3
other WA * 16 RE * 8
権限があれば一括ダウンロードができます

ソースコード

diff # 

class SegmentTree:
  def __init__(self, n, p, unit, f):
    self.n = n
    self.num = 2**((n-1).bit_length())
    self.seg = [unit]*(self.num*2)
    for i in range(n):
      self.seg[self.num+i] = p[i]
    for i in range(self.num-1, 0, -1):
      self.seg[i] = f(self.seg[i << 1], self.seg[(i << 1)+1])
    self.unit = unit
    self.f = f

  def update(self, i, x):
    i += self.num
    self.seg[i] = x
    while i:
      i >>= 1
      self.seg[i] = self.f(self.seg[i << 1], self.seg[(i << 1)+1])

  def query(self, l, r):
    ansl = ansr = self.unit
    l += self.num
    r += self.num-1
    if l == r:
      return self.seg[l]
    while l < r:
      if l & 1:
        ansl = self.f(ansl, self.seg[l])
        l += 1
      if ~r & 1:
        ansr = self.f(self.seg[r], ansr)
        r -= 1
      l >>= 1
      r >>= 1
    if l == r:
      ansl = self.f(ansl, self.seg[l])
    return self.f(ansl, ansr)

  def max_right(self, l, g):
    l += self.num
    ll = l // (l & -l)
    ans = self.unit
    while g(self.f(ans, self.seg[ll])):
      ans = self.f(ans, self.seg[ll])
      ll += 1
      while ~ll & 1:
        ll >>= 1
      if ll == 1:
        return self.n
    while ll < self.num:
      ll <<= 1
      if g(self.f(ans, self.seg[ll])):
        ans = self.f(ans, self.seg[ll])
        ll += 1
    return ll-self.num
  
  def min_left(self, r, g):
    r += self.num
    rr = max(r // (~r & -~r), 1)
    ans = self.unit
    while g(self.f(self.seg[rr], ans)):
      ans = self.f(self.seg[rr], ans)
      rr -= 1
      while rr & 1:
        rr >>= 1
      if rr == 0:
        return -1
    while rr < self.num:
      rr <<= 1
      if g(self.f(self.seg[rr+1], ans)):
        ans = self.f(self.seg[rr+1], ans)
      else:
        rr += 1
    return rr - self.num

def f(x,y):
  xm1,xm2=x
  ym1,ym2=y
  if xm1<ym1:
    m1=xm1
    m2=min(ym1,xm2)
  else:
    m1=ym1
    m2=min(xm1,ym2)
  return (m1,m2)

MAX=10**9
n=int(input())
p=list(map(int,input().split()))
seg=SegmentTree(n,[(i,MAX)for i in p],(MAX,MAX),f)
ans=0
ind=[0]*(n+1)
for i in range(n):
  ind[p[i]]=i+1
ll=[0]+[i for i in range(n+1)]
rr=[i+1 for i in range(n+1)]+[n+1]
for M in range(1,n+1):
  i=ind[M]
  l=ll[i]+1
  r=rr[i]-1
  ll[rr[i]]=ll[i]
  rr[ll[i]]=rr[i]
  if l==r:
    continue
  l-=1
  i-=1
  r-=1
  left=max(seg.min_left(i,lambda x: M<=sum(x))+1,l)
  right=min(seg.max_right(i,lambda x: M<=sum(x))-1,r)
  if i-left<right-i:
    for li in range(left,i+1):
      ri=min(seg.max_right(li,lambda x: M<=sum(x))-1,r)
      if li==i:
        ans+=ri-i
      else:
        ans+=ri-i+1
  else:
    for ri in range(i,right+1):
      li=max(seg.min_left(ri,lambda x: M<=sum(x))+1,l)
      if ri==i:
        ans+=i-li
      else:
        ans+=i-li+1
print(ans)
0