結果

問題 No.992 最長増加部分列の数え上げ
コンテスト
ユーザー norioc
提出日時 2026-10-25 15:19:47
言語 PyPy3
(8.0.0 + ACL)
コンパイル:
pypy3 -mpy_compile _filename_
実行:
pypy3 _filename_
結果
WA  
実行時間 -
コード長 1,232 bytes
記録
記録タグの例:
初AC ショートコード 純ショートコード 純主流ショートコード 最速実行時間
コンパイル時間 263 ms
コンパイル使用メモリ 64,352 KB
実行使用メモリ 189,500 KB
最終ジャッジ日時 2026-10-25 15:20:44
合計ジャッジ時間 43,292 ms
ジャッジサーバーID
（参考情報） 		judge4_0 / judge7_0
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample WA * 3
other AC * 1 WA * 40 TLE * 3 -- * 1
権限があれば一括ダウンロードができます

ソースコード

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

for rank in reversed(range(max_rank)):
    pp = [0] * N
    dp, pp = pp, dp

    segt = SegTree(op, 0, N)
    inds = d[rank+1].copy()
    for p in reversed(d[rank]):
        if 1: continue
        while inds and p < inds[-1]:
            k = inds.pop()
            segt.set(A[k], (segt.get(A[k]) + pp[k]) % MOD)

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

ans = 0
for x in dp:
    ans += x
    ans %= MOD

print(ans)
0