結果
| 問題 |
No.1435 Mmm......
|
| コンテスト | |
| ユーザー |
tyawanmusi
|
| 提出日時 | 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 |
(要ログイン)
| ファイルパターン | 結果 |
|---|---|
| sample | AC * 4 |
| other | AC * 24 |
ソースコード
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)
tyawanmusi