# 这题可以用RMQ(ST表)做!
由于本题数据的特殊性,需要查找的区间的元素个数大部分是一样的(除了输出的前$m$行元素个数不足$m$个的情况),我们就可以把ST表(代码中$a$数组)进行降维攻击(雾)!这样一来使用RMQ(ST表)就不会MLE了!
在时间方面,我们可以拿个变量(代码中$power$)存储$2$的$j$次方,这样就不需要每一步都进行位运算了,这样做竟把超时的一个点卡过去了……
时空问题都解决了,接下来只要和一般的RMQ(ST表)进行相同的操作就可以了。
但我们似乎忽略了一个问题……
就是输出的前$m$行元素个数不足$m$个时,我们要从第一个元素开始找,元素个数肯定不到$m$个。但最后因降过维,我们只能输出元素个数为$m$的区间的最小值,这下应该怎么办呢?
这时我们可以想到,区间元素个数小于$m$时是在倍增预处理的时候,这时的ST表还未定型,在中途过程中会出现我们需要的答案,所以这部分的答案要在我们倍增的过程中输出。
我们发现,倍增过程中的每一层要输出的答案个数是不同的:
1. 第一个输出肯定为$0$,因为第一个数前是没有数的;
2. 如果$m>1$,那么第二个输出肯定是第一个数,因为第二个数前面只有一个数;
3. 我们手推一下可以发现,在建ST表的过程中,编号小于等于$2 imes power$的答案可以直接输出(当然仅限于编号小于$m$的数,即元素个数不足$m$个);
4. 剩下的数就直接在ST表建好后按正常RMQ方法输出最小值就可以啦~
pascal代码如下:
uses math;//log2要用math库qwq var n,m,i,j,k,l,power:longint; a:array[0..2000000]of longint; begin readln(n,m); for i:=1 to n do read(a[i]); writeln(0);//情况1 if m>1 then//情况2 writeln(a[1]); k:=trunc(log2(m)); l:=2;//l为当前应输出第l个答案 power:=1; for j:=1 to k do//建ST表 begin power:=power*2; for i:=1 to n-power+1 do a[i]:=min(a[i],a[i+power div 2]); while (l<=power*2)and(l<m) do//情况3 begin writeln(min(a[1],a[l-power+1])); inc(l); end; end; for i:=1 to n-m do//情况4 writeln(min(a[i],a[i+m-power]),' '); end.