結果

問題 No.1687 What the Heck?
ユーザー wolgnikwolgnik
提出日時 2021-09-24 21:43:40
言語 PyPy3
(7.3.15)
結果
TLE  
実行時間 -
コード長 1,248 bytes
コンパイル時間 254 ms
コンパイル使用メモリ 81,664 KB
実行使用メモリ 149,344 KB
最終ジャッジ日時 2024-07-05 10:19:54
合計ジャッジ時間 16,314 ms
ジャッジサーバーID
（参考情報） 		judge1 / judge3
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 41 ms
52,608 KB
testcase_01 AC 40 ms
52,480 KB
testcase_02 AC 41 ms
52,480 KB
testcase_03 AC 41 ms
52,480 KB
testcase_04 AC 41 ms
52,736 KB
testcase_05 AC 40 ms
52,608 KB
testcase_06 AC 39 ms
52,096 KB
testcase_07 AC 670 ms
99,808 KB
testcase_08 AC 937 ms
108,892 KB
testcase_09 AC 678 ms
99,552 KB
testcase_10 AC 454 ms
91,008 KB
testcase_11 AC 500 ms
91,232 KB
testcase_12 AC 1,876 ms
149,344 KB
testcase_13 TLE -
testcase_14 AC 1,888 ms
149,216 KB
testcase_15 AC 1,862 ms
148,820 KB
testcase_16 AC 1,794 ms
147,744 KB
testcase_17 AC 214 ms
81,280 KB
testcase_18 WA -
testcase_19 WA -
権限があれば一括ダウンロードができます

ソースコード

diff # 

import sys
input = sys.stdin.readline
N = int(input())
a = list(map(int, input().split()))

import heapq
hpush = heapq.heappush
hpop = heapq.heappop
h = []
for i in range(N):
  hpush(h, (-(i + 1) * 2, a[i] + 1, ~i))
  hpush(h, (-(i + 1), a[i], ~i))

class BIT:
  def __init__(self, n):
    self.n = n
    self.data = [0] * (n + 1)
    self.el = [0] * (n + 1)
  def sum(self, i):
    s = 0
    while i > 0:
      s += self.data[i]
      i -= i & -i
    return s
  def add(self, i, x):
    self.el[i] += x
    while i <= self.n:
      self.data[i] += x
      i += i & -i
  def get(self, i, j = None):
    if j is None:
      return self.el[i]
    return self.sum(j) - self.sum(i)
  def lowerbound(self, s):
    x = 0
    y = 0
    for i in range(self.n.bit_length(), -1, -1):
      k = x + (1 << i)
      if k <= self.n and (y + self.data[k] < s):
        y += self.data[k]
        x += 1 << i
    return x + 1

fwk = BIT(N + 1)
for x in range(1, N + 1): fwk.add(x, 1)
#print(h)
res = -N * (N + 1) // 2
vis = [0] * N
while len(h):
  c, x, i = hpop(h)
  i = ~i
  #print(h)
  if vis[i]: continue
  c = -c
  t = fwk.sum(x - 1)
  y = fwk.lowerbound(t + 1)
  if y > N: continue
  vis[i] = 1
  fwk.add(y, -1)
  res += c
  #print(i, c, res, t, y)
print(res)
0