結果

問題 No.992 最長増加部分列の数え上げ
ユーザー maspymaspy
提出日時 2020-03-25 14:06:37
言語 Python3
(3.13.1 + numpy 2.2.1 + scipy 1.14.1)
結果
TLE  
(最新)
AC  
(最初)
実行時間 -
コード長 2,295 bytes
コンパイル時間 497 ms
コンパイル使用メモリ 12,544 KB
実行使用メモリ 69,528 KB
最終ジャッジ日時 2025-01-01 23:49:35
合計ジャッジ時間 48,301 ms
ジャッジサーバーID
（参考情報） 		judge5 / judge3
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 29 ms
10,368 KB
testcase_01 AC 30 ms
10,368 KB
testcase_02 AC 28 ms
10,368 KB
testcase_03 AC 27 ms
10,368 KB
testcase_04 AC 741 ms
31,288 KB
testcase_05 AC 536 ms
26,264 KB
testcase_06 AC 876 ms
38,268 KB
testcase_07 AC 647 ms
29,180 KB
testcase_08 AC 339 ms
19,976 KB
testcase_09 AC 671 ms
29,964 KB
testcase_10 AC 895 ms
38,344 KB
testcase_11 AC 1,177 ms
44,336 KB
testcase_12 AC 223 ms
17,240 KB
testcase_13 AC 647 ms
28,504 KB
testcase_14 AC 634 ms
28,564 KB
testcase_15 AC 232 ms
17,292 KB
testcase_16 AC 1,854 ms
64,616 KB
testcase_17 AC 342 ms
19,956 KB
testcase_18 AC 612 ms
28,292 KB
testcase_19 AC 1,140 ms
43,700 KB
testcase_20 TLE -
testcase_21 TLE -
testcase_22 TLE -
testcase_23 TLE -
testcase_24 TLE -
testcase_25 TLE -
testcase_26 TLE -
testcase_27 TLE -
testcase_28 TLE -
testcase_29 TLE -
testcase_30 AC 841 ms
58,684 KB
testcase_31 AC 857 ms
58,716 KB
testcase_32 AC 861 ms
58,836 KB
testcase_33 AC 902 ms
58,652 KB
testcase_34 AC 866 ms
58,696 KB
testcase_35 AC 784 ms
58,680 KB
testcase_36 AC 788 ms
58,696 KB
testcase_37 AC 792 ms
58,788 KB
testcase_38 AC 778 ms
58,716 KB
testcase_39 AC 809 ms
58,680 KB
testcase_40 AC 1,112 ms
59,000 KB
testcase_41 AC 1,091 ms
59,136 KB
testcase_42 AC 990 ms
59,136 KB
testcase_43 AC 1,017 ms
59,128 KB
testcase_44 AC 1,068 ms
59,248 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