理由:题解区里的题解有许多题解是转化为查询
maxl≤i≤r−k{min tji≤j≤k}\underset{l \le i \le r-k}{max} \{ \underset{i \le j \le k}{min\;t_j} \} l≤i≤r−kmax{i≤j≤kmintj}
来做的,但推到
min{rj,nxti}−max{lj,prei}+1≥kjmin \{ r_j,nxt_i \} - max \{ l_j,pre_i \}+1 \ge k_j min{rj,nxti}−max{lj,prei}+1≥kj
这一步时,还应加上l≤i≤rl \le i \le rl≤i≤r这一条件,否则,对于一个形如prei≤l∧nxti≥l+k−1∧i<lpre_i\le l \land nxt_i\ge l+k-1 \land i<lprei≤l∧nxti≥l+k−1∧i<l的iii会对jjj产生贡献,但实际上,并不能取到tit_iti作为贡献
尽管可以证明去掉它不对答案产生影响,但似乎没有题解证明这一点,建议加入这一篇题解作为补充