結果

問題 No.992 最長増加部分列の数え上げ
コンテスト
ユーザー norioc
提出日時 2026-10-25 18:45:07
言語 PyPy3
(8.0.0 + ACL)
コンパイル:
pypy3 -mpy_compile _filename_
実行:
pypy3 _filename_
結果
AC  
実行時間 371 ms / 2,000 ms
+ 703µs
コード長 1,225 bytes
記録
記録タグの例:
初AC ショートコード 純ショートコード 純主流ショートコード 最速実行時間
コンパイル時間 79 ms
コンパイル使用メモリ 64,304 KB
実行使用メモリ 111,252 KB
最終ジャッジ日時 2026-10-25 18:45:48
合計ジャッジ時間 16,466 ms
ジャッジサーバーID
（参考情報） 		judge6_0 / judge4_0
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 3
other AC * 45
権限があれば一括ダウンロードができます

ソースコード

diff #
raw source code 

from atcoder.segtree import SegTree
from bisect import bisect_left
from collections import defaultdict


def compress(a: list) -> list:
    d = {v: i for i, v in enumerate(sorted(set(a)))}
    return [d[v] for v in a]


# LIS のアルゴリズム
# 各要素のランクを返す
def lis_ranks(a: list) -> list:
    n = len(a)
    ranks = [0] * n  # ranks[i] : A[i] が LIS の何番目か
    dp = [INF] * n
    for i in range(n):
        ranks[i] = bisect_left(dp, a[i])
        dp[ranks[i]] = a[i]

    return ranks


def op(a, b):
    return (a + b) % MOD


MOD = 10 ** 9 + 7
INF = 1 << 60
N = int(input())
A = compress(list(map(int, input().split())))

ranks = lis_ranks(A)
max_rank = max(ranks)
d = defaultdict(list)
for i in range(N):
    d[ranks[i]].append(i)

dp = [0] * N
for p in d[max_rank]:
    dp[p] = 1

segt = SegTree(op, 0, N)
for rank in reversed(range(max_rank)):
    inds = d[rank+1].copy()

    for p in reversed(d[rank]):
        while inds and p < inds[-1]:
            k = inds.pop()
            segt.set(A[k], (segt.get(A[k]) + dp[k]) % MOD)

        dp[p] = segt.prod(A[p]+1, N)

    for p in d[rank+1]:
        segt.set(A[p], 0)

ans = 0
for p in d[0]:
    ans += dp[p]
    ans %= MOD

print(ans)
0