結果
問題 |
No.1703 Much Matching
|
ユーザー |
👑 |
提出日時 | 2022-01-01 21:00:53 |
言語 | Lua (LuaJit 2.1.1734355927) |
結果 |
AC
|
実行時間 | 864 ms / 2,000 ms |
コード長 | 1,237 bytes |
コンパイル時間 | 56 ms |
コンパイル使用メモリ | 6,692 KB |
実行使用メモリ | 11,648 KB |
最終ジャッジ日時 | 2024-10-10 14:11:33 |
合計ジャッジ時間 | 6,826 ms |
ジャッジサーバーID (参考情報) |
judge4 / judge2 |
(要ログイン)
ファイルパターン | 結果 |
---|---|
sample | AC * 3 |
other | AC * 35 |
ソースコード
local mmi, mma = math.min, math.max local mfl = math.floor local function comp(a, b) return a < b end local function lower_bound(ary, x) local num = #ary if num == 0 then return 1 end if not comp(ary[1], x) then return 1 end if comp(ary[num], x) then return num + 1 end local min, max = 1, num while 1 < max - min do local mid = mfl((min + max) / 2) if comp(ary[mid], x) then min = mid else max = mid end end return max end local n, m, q = io.read("*n", "*n", "*n") local dp1, dp2 = {}, {} local t = {} for i = 1, n do t[i] = {} end for i = 1, q do local a, b = io.read("*n", "*n") table.insert(t[a], b) end for i = 1, n do table.sort(t[i]) end for i = 1, n do local src = i % 2 == 1 and dp1 or dp2 local dst = i % 2 == 1 and dp2 or dp1 for j = 1, i - 1 do dst[j] = src[j] end dst[i] = m + 1 for j = i - 1, 1, -1 do if src[j] <= m then local lb = lower_bound(t[i], src[j] + 1) if lb <= #t[i] then dst[j + 1] = mmi(dst[j + 1], t[i][lb]) end end end if 0 < #t[i] then dst[1] = mmi(dst[1], t[i][1]) end end local tbl = n % 2 == 1 and dp2 or dp1 for i = n, 1, -1 do if tbl[i] <= m then print(i) os.exit() end end print(0)