結果

問題 No.1435 Mmm......
ユーザー tyawanmusityawanmusi
提出日時 2020-10-22 16:56:29
言語 PyPy3
(7.3.15)
結果
AC  
実行時間 1,293 ms / 2,000 ms
コード長 1,908 bytes
コンパイル時間 156 ms
コンパイル使用メモリ 81,792 KB
実行使用メモリ 133,592 KB
最終ジャッジ日時 2024-07-21 09:22:15
合計ジャッジ時間 22,193 ms
ジャッジサーバーID
(参考情報)
judge3 / judge4
このコードへのチャレンジ
(要ログイン)

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 38 ms
52,224 KB
testcase_01 AC 40 ms
51,968 KB
testcase_02 AC 37 ms
51,840 KB
testcase_03 AC 36 ms
52,480 KB
testcase_04 AC 37 ms
51,840 KB
testcase_05 AC 39 ms
52,096 KB
testcase_06 AC 909 ms
118,276 KB
testcase_07 AC 1,018 ms
121,328 KB
testcase_08 AC 1,072 ms
123,380 KB
testcase_09 AC 1,020 ms
121,840 KB
testcase_10 AC 942 ms
120,036 KB
testcase_11 AC 903 ms
119,160 KB
testcase_12 AC 902 ms
117,972 KB
testcase_13 AC 905 ms
117,904 KB
testcase_14 AC 726 ms
102,676 KB
testcase_15 AC 1,074 ms
124,672 KB
testcase_16 AC 1,011 ms
120,952 KB
testcase_17 AC 779 ms
104,380 KB
testcase_18 AC 1,063 ms
124,936 KB
testcase_19 AC 908 ms
118,920 KB
testcase_20 AC 1,053 ms
122,100 KB
testcase_21 AC 1,293 ms
131,308 KB
testcase_22 AC 377 ms
114,560 KB
testcase_23 AC 948 ms
133,088 KB
testcase_24 AC 953 ms
133,328 KB
testcase_25 AC 964 ms
133,100 KB
testcase_26 AC 964 ms
133,592 KB
testcase_27 AC 942 ms
133,360 KB
権限があれば一括ダウンロードができます

ソースコード

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

MAX=10**9+1
MIN=0

hassh=lambda x,y,z: x*MAX*MAX+y*MAX+z

def f(x,y):
  xm1,xm2xM=divmod(x,MAX*MAX)
  xm2,xM=divmod(xm2xM,MAX)
  ym1,ym2yM=divmod(y,MAX*MAX)
  ym2,yM=divmod(ym2yM,MAX)
  if xm1<ym1:
    m1=xm1
    m2=min(ym1,xm2)
  else:
    m1=ym1
    m2=min(xm1,ym2)
  return hassh(m1,m2,max(xM,yM))

def g(x):
  xm1,xm2xM=divmod(x,MAX*MAX)
  xm2,xM=divmod(xm2xM,MAX)
  return xM<=xm1+xm2

n=int(input())
p=list(map(int,input().split()))
seg=SegmentTree(n,[hassh(i,10**9,i)for i in p],hassh(10**9,10**9,0),f)
ans=0
for l in range(n-1):
  r=seg.max_right(l, g)
  ans+=r-l-1
print(ans)
0