結果

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

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 37 ms
54,052 KB
testcase_01 AC 39 ms
53,688 KB
testcase_02 AC 39 ms
53,732 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 382 ms
120,872 KB
testcase_34 AC 412 ms
131,376 KB
testcase_35 WA -
testcase_36 WA -
権限があれば一括ダウンロードができます

ソースコード

diff # 

import sys
from bisect import bisect_left

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()))
    comp = sorted(list(set(A)))

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

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

    res = 0
    for i in range(n):
        left_cnt, right_cnt = cnt[i]
        left_tot, right_tot = total[i]
        if (not left_cnt) or (not right_cnt):
            continue
        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