結果

問題 No.1804 Intersection of LIS
コンテスト
ユーザー tktk_snsn
提出日時 2022-01-07 23:05:50
言語 Python3
(3.13.1 + numpy 2.2.1 + scipy 1.14.1)
結果
TLE  
実行時間 -
コード長 2,349 bytes
コンパイル時間 103 ms
コンパイル使用メモリ 12,800 KB
実行使用メモリ 62,160 KB
最終ジャッジ日時 2024-11-14 09:09:02
合計ジャッジ時間 59,806 ms
ジャッジサーバーID
（参考情報） 		judge5 / judge3
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 3
other AC * 3 WA * 15 TLE * 19
権限があれば一括ダウンロードができます

ソースコード

diff # 

class SegTree(object):
    def __init__(self, N, op_data, u_data):
        self._n = N
        self.log = (N-1).bit_length()
        self.size = 1 << self.log

        self.op = op_data
        self.e = u_data

        self.data = [u_data] * (2 * self.size)
        # self.len = [1] * (2 * self.size)

    def __repr__(self):
        res = [self.get(i) for i in range(self._n)]
        return " ".join(map(str, res))

    def _update(self, i):
        self.data[i] = self.op(self.data[i << 1], self.data[i << 1 | 1])

    def initialize(self, arr=None):
        """ segtreeをarrで初期化する。len(arr) == Nにすること """
        if arr:
            for i, a in enumerate(arr, self.size):
                self.data[i] = a
        for i in reversed(range(1, self.size)):
            self._update(i)
            # self.len[i] = self.len[i << 1] + self.len[i << 1 | 1]

    def update(self, p, x):
        """ data[p] = x とする (0-indexed)"""
        p += self.size
        self.data[p] = x
        for i in range(1, self.log + 1):
            self._update(p >> i)

    def get(self, p):
        """ data[p]を返す """
        return self.data[p + self.size]

    def prod(self, l, r):
        """
        op_data(data[l], data[l+1], ..., data[r-1])を返す (0-indexed)
        """
        sml = self.e
        smr = self.e
        l += self.size
        r += self.size

        while l < r:
            if l & 1:
                sml = self.op(sml, self.data[l])
                l += 1
            if r & 1:
                r -= 1
                smr = self.op(self.data[r], smr)
            l >>= 1
            r >>= 1
        return self.op(sml, smr)

    def all_prod(self):
        """ op(data[0], data[1], ... data[N-1])を返す """
        return self.data[1]


N = int(input())
P = list(map(int, input().split()))
pos = [0] * (N + 1)
for i, p in enumerate(P):
    pos[p] = i

seg = SegTree(N, max, -1)
for i in pos[1:]:
    seg.update(i, seg.prod(0, i+1) + 1)


LIS = seg.all_prod()
cnt = [0] * (N + 1)
ok = False
for i in reversed(range(N)):
    c = seg.get(i)
    if c == LIS:
        ok = True
    if ok:
        cnt[c] += 1

ans = []
ok = False
for i in reversed(range(N)):
    c = seg.get(i)
    if c == LIS:
        ok = True
    if ok and cnt[c] == 1:
        ans.append(P[i])

ans.reverse()
print(len(ans))
print(*ans)
0