結果

問題 No.1300 Sum of Inversions
ユーザー HAPPAHAPPA
提出日時 2020-11-28 11:22:28
言語 PyPy3
(7.3.15)
結果
WA  
実行時間 -
コード長 2,562 bytes
コンパイル時間 362 ms
コンパイル使用メモリ 82,400 KB
実行使用メモリ 150,740 KB
最終ジャッジ日時 2024-09-12 22:16:42
合計ジャッジ時間 28,028 ms
ジャッジサーバーID
（参考情報） 		judge5 / judge3
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 36 ms
53,148 KB
testcase_01 AC 37 ms
53,324 KB
testcase_02 AC 37 ms
54,408 KB
testcase_03 WA -
testcase_04 WA -
testcase_05 WA -
testcase_06 WA -
testcase_07 WA -
testcase_08 WA -
testcase_09 WA -
testcase_10 WA -
testcase_11 WA -
testcase_12 WA -
testcase_13 WA -
testcase_14 WA -
testcase_15 WA -
testcase_16 WA -
testcase_17 WA -
testcase_18 WA -
testcase_19 WA -
testcase_20 WA -
testcase_21 WA -
testcase_22 WA -
testcase_23 WA -
testcase_24 WA -
testcase_25 WA -
testcase_26 WA -
testcase_27 WA -
testcase_28 WA -
testcase_29 WA -
testcase_30 WA -
testcase_31 WA -
testcase_32 WA -
testcase_33 AC 406 ms
140,340 KB
testcase_34 AC 428 ms
150,540 KB
testcase_35 WA -
testcase_36 WA -
権限があれば一括ダウンロードができます

ソースコード

diff # 

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