結果

問題 No.1804 Intersection of LIS
ユーザー tktk_snsntktk_snsn
提出日時 2022-01-07 23:06:06
言語 PyPy3
(7.3.15)
結果
WA  
実行時間 -
コード長 2,349 bytes
コンパイル時間 387 ms
コンパイル使用メモリ 82,396 KB
実行使用メモリ 135,404 KB
最終ジャッジ日時 2024-11-14 09:09:15
合計ジャッジ時間 10,884 ms
ジャッジサーバーID
（参考情報） 		judge5 / judge1
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 39 ms
54,028 KB
testcase_01 AC 38 ms
53,484 KB
testcase_02 AC 38 ms
52,684 KB
testcase_03 WA -
testcase_04 WA -
testcase_05 WA -
testcase_06 WA -
testcase_07 WA -
testcase_08 WA -
testcase_09 WA -
testcase_10 WA -
testcase_11 WA -
testcase_12 WA -
testcase_13 WA -
testcase_14 WA -
testcase_15 WA -
testcase_16 WA -
testcase_17 WA -
testcase_18 WA -
testcase_19 WA -
testcase_20 WA -
testcase_21 WA -
testcase_22 WA -
testcase_23 WA -
testcase_24 WA -
testcase_25 WA -
testcase_26 WA -
testcase_27 WA -
testcase_28 AC 38 ms
52,632 KB
testcase_29 WA -
testcase_30 WA -
testcase_31 WA -
testcase_32 WA -
testcase_33 AC 39 ms
52,524 KB
testcase_34 WA -
testcase_35 AC 382 ms
135,404 KB
testcase_36 AC 371 ms
135,364 KB
testcase_37 AC 309 ms
123,880 KB
testcase_38 AC 310 ms
123,852 KB
testcase_39 AC 38 ms
53,024 KB
権限があれば一括ダウンロードができます

ソースコード

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