【GDOI2017模拟11.3】永恒的契约

Description

宅邸迅速的燃烧着，必须带贝蒂走出禁书库！凭着感觉，又一次直接找到禁书库的门。
“你，是那个人嘛？”400年了，当初圣域建立结界时没有进入圣域，被伤了心的人工精灵贝蒂，与强欲魔女签订契约，守护宅邸的禁书库，直至“那个人”的到来，那个人会解开贝蒂的心结。
“我不是那个什么人，但我会成为你唯一的人。我会给你幸福!”
精灵与人签订契约，从此相依为命。这便是，永恒的契约。

宅邸里，罗兹瓦尔的房间图书柜后，有一条链接宅邸和圣域的秘密通道，其中有一个神奇的大回环，由n块石头组成。
第i块石头有一个高度ai，两块不同的石头i,j能够互相看到，则它们在环上的两条路径中有至少一条路径上除了两个端点（即i,j）路径上石头高度都不大于min(ai,aj)。
被罗兹瓦尔雇佣的猎肠者躲在这秘密的通道中，为了能够更好的观察通道中的情况，她想知道有多少对石头能够互相看到。

Input

第一行一个正整数T，表示数据组数。
接下来T组数据，每组数据第一行读入正整数n，接下来一行按顺时针顺序读入序列a表示石块的高度。

Output

T行表示每组数据的答案。

Sample Input

1
5
1 2 4 5 3

Sample Output

7

Data Constraint

40%，n<=200
60%，n<=2000
70%，n<=100000
80%，n<=1000000,1<=ai<=1000000
100%，n<=1000000，T<=5，1<=ai<=1000000000

题解

我们可以先找到序列中最大的一个值（如果有多个则取其中一个），那么两个小于最大值的值是不可以穿过最大值的，而两个等于最大值的值也可以通过另外一个方向完成结合。所以我们可以破环为链
然后就可以用单调栈来解决这道问题
注意对a[i]=a[j]的统计的解决方法：统计栈中每一个元素的出现次数，新加入一个数之后就可以直接把ans加这个数
注意很多加一减一的细节
注意常数的优化

贴代码

var
    a,f,s,c:array[0..1500005]of longint;
    bz:array[0..1000005]of boolean;
    i,j,k,l,m,n,max,o,x:longint;
    ans:int64;
begin
    assign(input,'forever.in'); reset(input);
    assign(output,'forever.out'); rewrite(output);
    readln(o);
    for o:=1 to o do
    begin
        readln(n);
        max:=0;
        for i:=1 to n do
        begin
            read(a[i]);
            if a[i]>max then
            begin
                max:=a[i];
                l:=i;
            end;
        end;
        readln;
        i:=l+1;
        k:=1;
        ans:=0;
        while i<=n do
        begin
            c[k]:=a[i];
            inc(k);
            inc(i);
        end;
        i:=1;
        while i<l do
        begin
            c[k]:=a[i];
            inc(k);
            inc(i);
        end;
        j:=1;
        f[1]:=c[1];
        s[1]:=1;
        for i:=2 to n-1 do
        if c[i]<f[j] then
        begin
            inc(j);
            f[j]:=c[i];
            s[j]:=1;
            inc(ans,s[j]);
            if c[i]=max then dec(ans);
        end else
        if c[i]=f[j] then
        begin
            inc(s[j]);
            if (j=1) or (c[i]=max) then dec(ans);
            inc(ans,s[j]);
        end
        else
        begin
            while (j>0) and (c[i]>f[j]) do
            begin
                inc(ans,s[j]);
                dec(j);
            end;
            if j>0 then inc(ans);
            if f[j]=c[i] then
            begin
                inc(s[j]);
                inc(ans,s[j]-1);
                if (c[i]=max) or (j=1) then dec(ans);
            end
            else
            begin
                inc(j);
                f[j]:=c[i];
                s[j]:=1;
            end;
        end;
        max:=0;
        i:=l-1;
        while i<>l do
        begin
            if i=0 then i:=n;
            bz[i]:=false;
            if a[i]>=max then
            begin
                inc(ans);
                max:=a[i];
                bz[i]:=true;
            end;
            dec(i);
            if i=0 then i:=n;
        end;
        max:=0;
        i:=l+1;
        while i<>l do
        begin
            if a[i]>=max then
            begin
                if bz[i]=false then inc(ans);
                max:=a[i];
                bz[i]:=true;
            end;
            inc(i);
            if i>n then i:=1;
        end;
        writeln(ans);
    end;
    close(input); close(output);
end.