結果

問題 No.992 最長増加部分列の数え上げ
ユーザー maspymaspy
提出日時 2020-03-25 14:07:06
言語 PyPy3
(7.3.15)
結果
AC  
実行時間 488 ms / 2,000 ms
コード長 2,295 bytes
コンパイル時間 1,424 ms
コンパイル使用メモリ 82,028 KB
実行使用メモリ 156,408 KB
最終ジャッジ日時 2024-06-10 11:43:18
合計ジャッジ時間 15,842 ms
ジャッジサーバーID
（参考情報） 		judge3 / judge2
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 34 ms
53,800 KB
testcase_01 AC 34 ms
54,060 KB
testcase_02 AC 33 ms
52,876 KB
testcase_03 AC 34 ms
54,460 KB
testcase_04 AC 222 ms
100,708 KB
testcase_05 AC 176 ms
94,752 KB
testcase_06 AC 247 ms
107,484 KB
testcase_07 AC 197 ms
98,000 KB
testcase_08 AC 132 ms
86,508 KB
testcase_09 AC 202 ms
98,540 KB
testcase_10 AC 258 ms
107,384 KB
testcase_11 AC 287 ms
115,484 KB
testcase_12 AC 107 ms
82,948 KB
testcase_13 AC 190 ms
98,036 KB
testcase_14 AC 187 ms
98,008 KB
testcase_15 AC 109 ms
83,284 KB
testcase_16 AC 406 ms
136,244 KB
testcase_17 AC 128 ms
86,848 KB
testcase_18 AC 189 ms
97,952 KB
testcase_19 AC 288 ms
115,664 KB
testcase_20 AC 462 ms
155,772 KB
testcase_21 AC 470 ms
156,404 KB
testcase_22 AC 466 ms
156,108 KB
testcase_23 AC 463 ms
155,880 KB
testcase_24 AC 488 ms
155,932 KB
testcase_25 AC 477 ms
156,224 KB
testcase_26 AC 470 ms
155,924 KB
testcase_27 AC 466 ms
156,012 KB
testcase_28 AC 464 ms
156,408 KB
testcase_29 AC 460 ms
156,184 KB
testcase_30 AC 258 ms
140,680 KB
testcase_31 AC 257 ms
140,248 KB
testcase_32 AC 272 ms
141,124 KB
testcase_33 AC 261 ms
140,968 KB
testcase_34 AC 264 ms
140,676 KB
testcase_35 AC 256 ms
151,936 KB
testcase_36 AC 262 ms
151,556 KB
testcase_37 AC 255 ms
152,000 KB
testcase_38 AC 254 ms
151,936 KB
testcase_39 AC 260 ms
151,544 KB
testcase_40 AC 297 ms
153,380 KB
testcase_41 AC 314 ms
153,584 KB
testcase_42 AC 296 ms
153,240 KB
testcase_43 AC 307 ms
153,216 KB
testcase_44 AC 307 ms
153,156 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

#!/usr/bin/ python3.8
import sys
read = sys.stdin.buffer.read
readline = sys.stdin.buffer.readline
readlines = sys.stdin.buffer.readlines
from bisect import bisect_left
import itertools
MOD = 10**9 + 7
INF = 2 * 10 ** 9 + 10
N = int(readline())
A = (0,) + tuple(int(x) + 10 ** 9 + 1 for x in read().split())
LIS = [0] * (N + 1)
dp = [INF] * (N + 1)
dp[0] = 0
for n, x in enumerate(A[1:], 1):
    m = bisect_left(dp, x)
    dp[m] = x
    LIS[n] = m


class BinaryIndexedTree():
    def __init__(self, seq):
        self.size = len(seq)
        self.depth = self.size.bit_length()
        self.build(seq)

    def build(self, seq):
        data = seq
        size = self.size
        for i, x in enumerate(data):
            j = i + (i & (-i))
            if j < size:
                data[j] += data[i]
        self.data = data

    def __repr__(self):
        return self.data.__repr__()

    def get_sum(self, i):
        data = self.data
        s = 0
        while i:
            s += data[i]
            i -= i & -i
        return s

    def add(self, i, x):
        data = self.data
        size = self.size
        while i < size:
            data[i] += x
            i += i & -i

    def find_kth_element(self, k):
        data = self.data
        size = self.size
        x, sx = 0, 0
        dx = 1 << (self.depth)
        for i in range(self.depth - 1, -1, -1):
            dx = (1 << i)
            if x + dx >= size:
                continue
            y = x + dx
            sy = sx + data[y]
            if sy < k:
                x, sx = y, sy
        return x + 1


M_LIS = max(LIS)
LIS_cnt = [0] * (M_LIS + 1)
for i, x in enumerate(LIS):
    LIS_cnt[x] += 1
LIS_cnt = tuple(itertools.accumulate(LIS_cnt))

keys = [(x << 32) + y for x, y in zip(LIS, A)]
s_keys = sorted(keys)
key_rank = {x: i for i, x in enumerate(s_keys)}

bit = BinaryIndexedTree([0] * (N + 1))  # key の値に対する数え上げを管理

answer = 0
for L, k, a in zip(LIS[1:], keys[1:], A[1:]):
    if L == 1:
        x = 1
    else:
        r_key = k - (1 << 32)
        right = bisect_left(s_keys, r_key) - 1
        left = LIS_cnt[L - 2]
        x = bit.get_sum(right) - bit.get_sum(left - 1)
    if L == M_LIS:
        answer += x
    else:
        bit.add(key_rank[k], x % MOD)

print(answer % MOD)
0