結果
| 問題 | No.1233 割り切れない気持ち |
| コンテスト | |
| ユーザー |
tamato
|
| 提出日時 | 2020-09-18 22:16:35 |
| 言語 | PyPy3 (7.3.15) |
| 結果 |
AC
|
| 実行時間 | 717 ms / 3,153 ms |
| コード長 | 1,629 bytes |
| コンパイル時間 | 159 ms |
| コンパイル使用メモリ | 82,772 KB |
| 実行使用メモリ | 110,592 KB |
| 最終ジャッジ日時 | 2024-06-22 19:18:03 |
| 合計ジャッジ時間 | 27,613 ms |
|
ジャッジサーバーID (参考情報) |
judge1 / judge2 |
(要ログイン)
| ファイルパターン | 結果 |
|---|---|
| sample | AC * 2 |
| other | AC * 39 |
ソースコード
mod = 1000000007
eps = 10**-9
def main():
import sys
input = sys.stdin.readline
class Bit:
def __init__(self, n):
self.size = n
self.tree = [0] * (n + 1)
def sum(self, i):
s = 0
while i > 0:
s += self.tree[i]
i -= i & -i
return s
def add(self, i, x):
while i <= self.size:
self.tree[i] += x
i += i & -i
def lower_bound(self, w):
if w <= 0:
return 0
x = 0
k = 1 << (self.size.bit_length() - 1)
while k:
if x + k <= self.size and self.tree[x + k] < w:
w -= self.tree[x + k]
x += k
k >>= 1
return x + 1
N = int(input())
A = list(map(int, input().split()))
M = 200000
bit_val = Bit(M)
bit_num = Bit(M)
C = [0] * (M+1)
for a in A:
bit_num.add(a, 1)
bit_val.add(a, a)
C[a] += 1
ans = 0
for a in range(2, M+1):
prev_sum = 0
prev_num = 0
for k in range(1, M+1):
if a * k - 1 >= M:
S = bit_val.sum(M) - prev_sum
NN = bit_num.sum(M) - prev_num
ans += (S - NN * a * (k - 1)) * C[a]
break
S = bit_val.sum(a * k - 1) - prev_sum
NN = bit_num.sum(a * k - 1) - prev_num
ans += (S - NN * a * (k-1)) * C[a]
prev_sum += S
prev_num += NN
print(ans)
if __name__ == '__main__':
main()
tamato