結果

問題 No.1975 Zigzag Sequence
ユーザー rlangevin
提出日時 2023-08-17 12:27:19
言語 PyPy3
(7.3.15)
結果
AC  
実行時間 313 ms / 2,000 ms
コード長 1,756 bytes
コンパイル時間 148 ms
コンパイル使用メモリ 82,136 KB
実行使用メモリ 101,660 KB
最終ジャッジ日時 2024-11-26 08:58:46
合計ジャッジ時間 9,576 ms
ジャッジサーバーID
(参考情報)
judge3 / judge2
このコードへのチャレンジ
(要ログイン)
ファイルパターン 結果
sample AC * 3
other AC * 33
権限があれば一括ダウンロードができます

ソースコード

diff #

from copy import *
from bisect import *

def compress(lst):
    """
    B: lstを座圧したリスト
    D: indexから元の値を取得する辞書
    """
    B = []
    D = dict()
    vals = deepcopy(lst)
    vals = list(set(vals))
    vals.sort()
    for i in range(len(lst)):
        ind = bisect_left(vals, lst[i])
        B.append(ind)
    for i in range(len(B)):
        D[lst[i]] = B[i]
    return B, D, vals

class Fenwick_Tree:
    def __init__(self, n):
        self._n = n
        self.data = [0] * n
 
    def add(self, p, x):
        assert 0 <= p < self._n
        p += 1
        while p <= self._n:
            self.data[p - 1] += x
            p += p & -p
 
    def sum(self, l, r):
        assert 0 <= l <= r <= self._n
        return self._sum(r) - self._sum(l)
 
    def _sum(self, r):
        s = 0
        while r > 0:
            s += self.data[r - 1]
            r -= r & -r
        return s
    
    def get(self, k):
        k += 1
        x, r = 0, 1
        while r < self._n:
            r <<= 1
        len = r
        while len:
            if x + len - 1 < self._n:
                if self.data[x + len - 1] < k:
                    k -= self.data[x + len - 1]
                    x += len
            len >>= 1
        return x


N = int(input())
A = list(map(int, input().split()))
A, _, _ = compress(A)

mod = 10 ** 9 + 7
two = [1] * (N + 1)
for i in range(N):
    two[i + 1] = two[i] * 2
    two[i + 1] %= mod

TL, TR = Fenwick_Tree(N), Fenwick_Tree(N)
for i in range(N):
    TR.add(A[N - 1 - i], two[i])

ans = 0
for i in range(N):
    ans += TL.sum(0, A[i]) * TR.sum(0, A[i])
    ans += TL.sum(A[i] + 1, N) * TR.sum(A[i] + 1, N)
    ans %= mod
    TL.add(A[i], two[i])
    TR.add(A[i], -two[N - 1 - i])

print(ans)
0