結果
| 問題 | 
                            No.1703 Much Matching
                             | 
                    
| コンテスト | |
| ユーザー | 
                             rlangevin
                         | 
                    
| 提出日時 | 2023-03-01 12:35:25 | 
| 言語 | PyPy3  (7.3.15)  | 
                    
| 結果 | 
                             
                                RE
                                 
                             
                            
                         | 
                    
| 実行時間 | - | 
| コード長 | 1,187 bytes | 
| コンパイル時間 | 322 ms | 
| コンパイル使用メモリ | 81,980 KB | 
| 実行使用メモリ | 138,316 KB | 
| 最終ジャッジ日時 | 2024-09-16 11:22:36 | 
| 合計ジャッジ時間 | 6,222 ms | 
| 
                            ジャッジサーバーID (参考情報)  | 
                        judge2 / judge4 | 
(要ログイン)
| ファイルパターン | 結果 | 
|---|---|
| sample | AC * 3 | 
| other | AC * 21 RE * 14 | 
ソースコード
import sys
readline = sys.stdin.readline
class SegmentTree:
    def __init__(self, size, f=max, default=0):
        self.size = 2**(size-1).bit_length() 
        self.default = default
        self.dat = [default]*(self.size*2) 
        self.f = f
    def update(self, i, x):
        i += self.size
        self.dat[i] = x
        while i > 0:
            i >>= 1
            self.dat[i] = self.f(self.dat[i*2], self.dat[i*2+1])
    def query(self, l, r):
        l += self.size
        r += self.size
        lres, rres = self.default, self.default
        while l < r:
            if l & 1:
                lres = self.f(lres, self.dat[l])
                l += 1
            if r & 1:
                r -= 1
                rres = self.f(self.dat[r], rres) 
            l >>= 1
            r >>= 1
        res = self.f(lres, rres)
        return res
N, M, Q = map(int, readline().split())
D = [[] for i in range(M)]
for i in range(Q):
    A, B = map(int, readline().split())
    A, B = A - 1, B - 1
    D[A].append(B)
dp = SegmentTree(M)
for i in range(M):
    for B in sorted(D[i], reverse=True):
        val = dp.query(0, B)
        dp.update(B, val + 1)
print(dp.query(0, M))
            
            
            
        
            
rlangevin