摘要：
令 \(\text{and(l,r)}=a_l\&a_{l+1}...\&a_r\) ，\(\text{xor}(l,r)=a_l\text{xor}a_{l+1}...\text{xor}a_r\) 。 令 \(\text{highbit(x)}\) 为 \(x\) 二进制下的最高位。 因为二进制 阅读全文
摘要：
题目链接 考虑 \(\text{Dilworth}\) 定理，若 \(LIS\) 长度为 \(L\) ，那么一定存在 \(L\) 个 \(\text{DS}\) ，那么根据鸽巢原理 \(\text{LDS}\) 的最小长度为 \(\lceil \dfrac{n}{L} \rceil\) 。 \[ \ 阅读全文
摘要：
基本定理：对于任意有限偏序集，其最大反链中元素的数目必等于最小链划分中链的数目。 推论 \(1\) ：把一个数列划分成最少的最长不升子序列的数目就等于这个数列的最长上升子序列的长度。 推论 \(2\) ：对于长度为 \(n\) 的序列，最长不升子序列的长度和最长不降子序列的长度，一定有一个 \(\g 阅读全文