|
| 1 | +from collections import defaultdict |
| 2 | +from math import gcd |
| 3 | + |
| 4 | +n = int(input()) |
| 5 | +a = list(map(int, input().split())) |
| 6 | + |
| 7 | +class SegTree: |
| 8 | + def __init__(self, n: int, mode: str = "min") -> None: |
| 9 | + self.mode = mode |
| 10 | + unit_elements = { |
| 11 | + "min": 10**13, |
| 12 | + "max": -(10**13), |
| 13 | + "sum": 0, |
| 14 | + "mul": 1, |
| 15 | + "gcd": 0, |
| 16 | + } |
| 17 | + self.e = unit_elements[self.mode] # 単位元 |
| 18 | + self.tree_size = 2 ** (n - 1).bit_length() # n以上の最小の2のべき乗数 |
| 19 | + self.tree_value = [self.e] * 2 * self.tree_size |
| 20 | + |
| 21 | + def __str__(self) -> str: |
| 22 | + if self.tree_size > 2**4: |
| 23 | + return "Segtree size too big" |
| 24 | + out = "" |
| 25 | + i = 0 |
| 26 | + j = 0 |
| 27 | + count = 1 |
| 28 | + while i < self.tree_size - 1: |
| 29 | + if self.tree_value[i] == self.e: |
| 30 | + s = "-" |
| 31 | + else: |
| 32 | + s = str(self.tree_value[i]) |
| 33 | + s = s.center((self.tree_size * 2) // count, " ") |
| 34 | + out += s |
| 35 | + i += 1 |
| 36 | + j += 1 |
| 37 | + if j == count: |
| 38 | + count *= 2 |
| 39 | + j = 0 |
| 40 | + out += "\n" |
| 41 | + return out |
| 42 | + |
| 43 | + def _op(self, a: int, b: int) -> int: |
| 44 | + if self.mode == "min": |
| 45 | + return min(a, b) |
| 46 | + elif self.mode == "max": |
| 47 | + return max(a, b) |
| 48 | + elif self.mode == "sum": |
| 49 | + return a + b |
| 50 | + elif self.mode == "mul": |
| 51 | + return a * b |
| 52 | + elif self.mode == "gcd": |
| 53 | + return gcd(a, b) |
| 54 | + |
| 55 | + raise "no method defined" |
| 56 | + |
| 57 | + def update(self, pos: int, value: int) -> None: |
| 58 | + pos += self.tree_size - 1 |
| 59 | + self.tree_value[pos] = value |
| 60 | + while pos: |
| 61 | + pos = (pos - 1) // 2 |
| 62 | + self.tree_value[pos] = self._op( |
| 63 | + self.tree_value[pos * 2 + 1], self.tree_value[pos * 2 + 2] |
| 64 | + ) |
| 65 | + |
| 66 | + def query(self, l: int, r: int) -> int: |
| 67 | + r += 1 |
| 68 | + if r <= l: |
| 69 | + return self.e |
| 70 | + l += self.tree_size - 1 |
| 71 | + r += self.tree_size - 2 |
| 72 | + res = self.e |
| 73 | + while r - l > 1: |
| 74 | + if l & 1 == 0: |
| 75 | + res = self._op(res, self.tree_value[l]) |
| 76 | + if r & 1 == 1: |
| 77 | + res = self._op(res, self.tree_value[r]) |
| 78 | + r -= 1 |
| 79 | + l = l // 2 |
| 80 | + r = (r - 1) // 2 |
| 81 | + if l == r: |
| 82 | + res = self._op(res, self.tree_value[l]) |
| 83 | + else: |
| 84 | + res = self._op(self._op(res, self.tree_value[l]), self.tree_value[r]) |
| 85 | + return res |
| 86 | + |
| 87 | +# 予め座標圧縮 + セグ木 |
| 88 | + |
| 89 | +pos_num = defaultdict(lambda: len(pos_num)) |
| 90 | + |
| 91 | +for ai in sorted(a): |
| 92 | + pos_num[ai] |
| 93 | + |
| 94 | +sum_tree = SegTree(n + 1, mode="sum") |
| 95 | +counter_tree = SegTree(n + 1, mode="sum") |
| 96 | +ans = 0 |
| 97 | +for ai in a: |
| 98 | + idx = pos_num[ai] |
| 99 | + |
| 100 | + # それまでの数値とあれこれする |
| 101 | + ans += counter_tree.query(0, idx) * ai - sum_tree.query(0, idx) |
| 102 | + num = sum_tree.query(idx, idx) |
| 103 | + sum_tree.update(idx, num + ai) |
| 104 | + cnt = counter_tree.query(idx, idx) |
| 105 | + counter_tree.update(idx, cnt + 1) |
| 106 | +print(ans) |
0 commit comments