全站检索
输入关键词，检索文章、实验与前沿主题。
阅读环境
内容域
数据结构、复杂度与算法题的工程化理解，重推导与可复现。
用『局部单调性』重新理解二分，并给出可推导的边界写法。
用状态转移视角推导 LIS，并解释贪心 + 二分为何能得到长度最优解。