DTOJ 4772. Befuddle

题意

Lyra 最近刚刚得到由小写字母构成的长度为 $n$ 的字符串 $s$，下标为 $[1,n]$。 Evan 觉得传统的字符串询问 Lyra 都能轻松解决，于是给出了 $m$ 个复杂的询问，每个询问包含五个参数 $X,A,B,L,R$，你需要找出原字符串的一个子串 $t=s_{[i,j]}$，满足 $t$ 在 $[L,R]$ 区间内，长度在 $[A,B]$ 区间内，包含恰好 $X$ 种不同的字符。如果有这样多个 $i,j$，输出 $i$ 最小的那个，若仍有多个 $j$ 满足条件，选择最小的 $j$，无解输出 $-1,-1$。

对于全部数据， $1\le n,m\le 10^5,1\le L\le R\le n,1\le A\le B\le n,1\le X\le 26$

Subtask 1[6pts] $n\le 100$

Subtask 2[9pts] $n\le 1000$

Subtask 3[17pts] $A=1,B=n$

Subtask 4[17pts] $L=1,R=n$

Subtask 5[17pts] 所有询问的 $X$ 都相等.

Subtask 6[34pts] 没有特殊限制

题解

思路比较清晰的一道数据结构题，原本想的方向也是对的，但以为限制有很多不可做，没有好好分析导致自闭。

首先对于每种$x$分开做，显然每个起点到达的终点是一段连续区间（容易预处理）。
设每个点为$(p,x,y)$表示起点在$p$，终点在$[x,y]$，发现$x,y$是随$p$不降的。
于是对于每个询问$(a,b,l,r)$，相当于要求最小的$p$，使得$max(p+a-1,x)\le min(y,r,p+b-1)$且$l\le p$。
拆开后简化一下就是求$x-p+1<=b$，$y-p+1>=a$，$p\le x\le r$的最小$p$。
对于$p\le x\le r$可以利用$(p,x,y)$的单调性二分得出$p$的区间$(L,R)$，于是将询问按照$b$升序，每个询问求区间内$a\le y-p+1$的最小的$p$，用线段树单点修改+区间二分即可维护。

原本还不太会证区间二分的效率，对于询问$(a,b,x)$，可以把$[a,b]$分为$log$个区间，只会在第一个有$\ge x$的区间二分下去并且找到，所以效率就是一个$log$了。