結果

問題 No.1975 Zigzag Sequence
ユーザー first_vil
提出日時 2022-06-16 11:31:22
言語 PyPy3
(7.3.15)
結果
AC  
実行時間 638 ms / 2,000 ms
コード長 1,922 bytes
コンパイル時間 423 ms
コンパイル使用メモリ 82,304 KB
実行使用メモリ 109,624 KB
最終ジャッジ日時 2024-10-06 04:51:47
合計ジャッジ時間 15,045 ms
ジャッジサーバーID
(参考情報)
judge1 / judge2
このコードへのチャレンジ
(要ログイン)
ファイルパターン 結果
sample AC * 3
other AC * 33
権限があれば一括ダウンロードができます

ソースコード

diff #

from bisect import bisect_left
import sys

int1 = lambda x: int(x) - 1

# input = lambda: sys.stdin.buffer.readline()
input = lambda: sys.stdin.readline().rstrip()
ii = lambda: int(input())
i1 = lambda: int1(input())
mi = lambda: map(int, input().split())
mi1 = lambda: map(int1, input().split())
li = lambda: list(mi())
li1 = lambda: list(mi1())
lli = lambda n: [li() for _ in range(n)]

INF = float("inf")
mod = int(1e9 + 7)
# mod = 998244353


class fenwick_tree:
    n = 1
    data = [0 for i in range(n)]

    def __init__(self, N):
        self.n = N
        self.data = [0 for i in range(N)]

    def add(self, p, x):
        assert 0 <= p < self.n, "0<=p<n,p={0},n={1}".format(p, self.n)
        p += 1
        while p <= self.n:
            self.data[p - 1] += x
            if self.data[p - 1] < 0:
                self.data[p - 1] += mod
            elif self.data[p - 1] >= mod:
                self.data[p - 1] -= mod
            p += p & -p

    def sum(self, l, r):
        assert 0 <= l and l <= r and r <= self.n, "0<=l<=r<=n,l={0},r={1},n={2}".format(
            l, r, self.n
        )
        res = self.sum0(r) - self.sum0(l)
        if res < 0:
            res += mod
        elif res >= mod:
            res -= mod
        return res

    def sum0(self, r):
        s = 0
        while r > 0:
            s += self.data[r - 1]
            if s < 0:
                s += mod
            elif s >= mod:
                s -= mod
            r -= r & -r
        return s


n = ii()
a = li()

c = sorted(set(a))
s = len(c)

p2 = [pow(2, i, mod) for i in range(n)]
l = fenwick_tree(s)
r = fenwick_tree(s)
for i in range(n):
    r.add(bisect_left(c, a[i]), p2[n - 1 - i])

ans = 0
for i in range(n):
    idx = bisect_left(c, a[i])
    r.add(idx, mod - p2[n - 1 - i])

    ans = (
        ans + l.sum0(idx) * r.sum0(idx) + l.sum(idx + 1, s) * r.sum(idx + 1, s)
    ) % mod

    l.add(idx, p2[i])
print(ans)
0