2025.6.12 闲话

O

求 LIS 的贪心做法：动态维护一个序列，依次加入原序列的每个元素，如果序列中存在不小于它的元素就替换，否则新开一位 . 最后序列的长度即为答案 .

考虑 Dilworth 定理改成非严格递减子序列覆盖，那么相当于是类似纸牌维护一个牌堆每次贪心地加入加不了就新开一堆 .

upd. 好像维护的其实就是杨表 并非？

如何计算 LIS