滑动窗口：从数学本质到解题模型的完整拆解 Key Findings 复杂度本质：双指针各自单调递增，总操作 O2n，将二维搜索空间退化为一维边界追踪 成立前提：性质 P 必须具备"条件单调性"（扩窗更难满足，缩窗更易满足），等价于子集继承性 四大子模型：定长窗口、不定长求最长、不定长求最短、恰好型（exactly = atMostK atMostK1） 恰好型本质：容斥原理，类比 CDF 差分得 PMF；"恰好K"不满足单调性，需转化为"至多K" 题眼判定："连续子数组/子串" "最长/最短/恰