結果

問題 No.1300 Sum of Inversions
コンテスト
ユーザー HAPPA
提出日時 2020-11-28 11:22:12
言語 Python3
(3.13.1 + numpy 2.2.1 + scipy 1.14.1)
結果
TLE  
実行時間 -
コード長 2,562 bytes
記録
記録タグの例:
初AC ショートコード 純ショートコード 純主流ショートコード 最速実行時間
コンパイル時間 112 ms
コンパイル使用メモリ 12,928 KB
実行使用メモリ 94,840 KB
最終ジャッジ日時 2024-09-12 22:16:09
合計ジャッジ時間 4,123 ms
ジャッジサーバーID
（参考情報） 		judge3 / judge1
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 3
other TLE * 1 -- * 33
権限があれば一括ダウンロードができます

ソースコード

diff #
raw source code 

import sys

sys.setrecursionlimit(10 ** 7)
input = sys.stdin.readline
f_inf = float('inf')
mod = 10 ** 9 + 7


class BIT:
    """ 1-indexで使用しないと無限ループするので注意 """

    def __init__(self, n):
        self.n = n
        self.bit = [0] * (n + 1)

    def update(self, idx, x):
        """ idx番目にxをO(logN)で加算する """
        while idx <= self.n:
            self.bit[idx] += x
            idx += idx & (-idx)

    def query(self, idx):
        """ 1 ~ idx番目までの区間和をO(logN)で返す """
        res = 0
        while idx > 0:
            res += self.bit[idx]
            idx -= idx & (-idx)
        return res

    def sec_sum(self, left, right):
        """ left ~ right番目までの区間和をO(logN)で返す """
        return self.query(right) - self.query(left - 1)

    def lower_bound(self, w):
        """ 区間和がw以上になる最小のindexをO(logN)で返す """
        if w <= 0:
            return 0
        x = 0
        k = 1 << self.n.bit_length()
        while k:
            if x + k <= self.n and self.bit[x + k] < w:
                w -= self.bit[x + k]
                x += k
            k //= 2
        return x + 1

    def debug(self):
        """ bitの状態を出力する """
        print(*[self.sec_sum(i, i) for i in range(1, self.n + 1)])


def resolve():
    n = int(input())
    A = list(map(int, input().split()))

    B = []
    for idx, a in enumerate(A):
        B.append([a, idx])
    B.sort()

    A_comp = [0] * n
    prev = -1
    i = 0
    for a, idx in B:
        if prev != a:
            i += 1
        A_comp[idx] = i
        prev = a

    bit_cnt = BIT(n)
    bit_total = BIT(n)
    cnt = [[0, 0] for _ in range(n)]
    total = [[0, 0] for _ in range(n)]
    for i in range(n):
        cnt[i][0] = bit_cnt.sec_sum(A_comp[i] + 1, n)
        total[i][0] = bit_total.sec_sum(A_comp[i] + 1, n) % mod
        bit_cnt.update(A_comp[i], 1)
        bit_total.update(A_comp[i], A[i])

    bit_cnt = BIT(n)
    bit_total = BIT(n)
    for i in reversed(range(n)):
        cnt[i][1] = bit_cnt.query(A_comp[i] - 1)
        total[i][1] = bit_total.query(A_comp[i] - 1) % mod
        bit_cnt.update(A_comp[i], 1)
        bit_total.update(A_comp[i], A[i])

    res = 0
    for i in range(n):
        left_cnt, right_cnt = cnt[i]
        left_tot, right_tot = total[i]
        res += left_cnt * right_tot % mod + right_cnt * left_tot % mod + A[i] * left_cnt % mod * right_cnt % mod
        res %= mod
    print(res)


if __name__ == '__main__':
    resolve()
0