解题报告 Loongint 的花篮
1. 题目
Loongint的花篮
【Description】
Loongint要和MM结婚了。在两人的走进礼堂的红地毯两侧，需要摆一些装饰用的花篮，有一些不同高度的花篮，现在这些花篮被Loongint依照自己的美学观念编号为S1,S2,S3…Sn（两侧的花篮高度一样）。可Loongint的MM对这些花篮的摆放方式有不同的看法，她觉得满足以下条件的花篮摆放才是最好的。
如果对于区间[Si,Sj](1<=i<j<=n)中任意的花篮都比Si高且比Sj低，那么这个区间称为一个美学区间。对于所有的美学区间，其长度（定义为j-i）都必须小于等于k，如果有长度大于k的美学区间，MM就会不高兴，Loongint就会有麻烦…
【Input】
第一行为m。表示有m组测试数据。
对于每一组：
第一行n，k，分别表示花篮的数量和美学区间的最大长度。
第二行为n个数，分别表示S1,S2,S3…Sn的值。
【Output】
如果根本不存在美学区间，输出-1。
如果存在美学区间，那么如果任意区间的长度都小于等于k，那么输出最大的长度，否则输出最大长度比k大多少（MaxLength-k）。
【Sample Input】
3
4 2
5 4 3 6
4 1
6 5 4 3
4 2
1 2 3 4
【Sample Output】
1
-1
1
【Hint】
对于30%的测试数据，1<=n<=100。
对于60%的测试数据，1=<n<=5555。
对于100%的测试数据，1<=n<=100000，0<Si<=100000，1=<m<=3。
2. 算法
枚举一个点，从这个点开始，维护两个单调栈，向前后两个方向分别扩展，然后枚举右端点，再从这个端点向左扩展，当能够扩展过枚举的这个构件这两个单调栈的点时，记录一下长度，并更新。
3. 注意事项
单调栈的操作，枚举端点。
4. 代码
var
m,n,k,i,j,ii,top,ans:longint;
a:array[0..100001] of longint;
stack,l,r:array[0..100001] of longint;
begin
assign(input,'baskets.in');
assign(output,'baskets.out');
reset(input);
rewrite(output);
readln(m);
for ii:=1 to m do
begin
readln(n,k);
for i:=1 to n do
read(a[i]);
top:=1;
stack[1]:=1;
a[n+1]:=-maxlongint;
for i:=1 to n do
begin
r[i]:=i;
l[i]:=i;
end;
for i:=2 to n+1 do
begin
if a[i]>a[stack[top]]then
begin
inc(top);
stack[top]:=i;
end
else
if a[i]<=a[stack[top]] then
begin
while (a[i]<=a[stack[top]]) and(top>0) do
begin
r[stack[top]]:=i-1;
dec(top);
end;
inc(top);
stack[top]:=i;
end;
end;
a[0]:=maxlongint;
top:=1;
stack[1]:=n;
for i:=n-1 downto 0 do
begin
if a[i]<a[stack[top]]t
