考虑每个值作为最大值的区间实际上可以用单调栈求出来，即找到左边第一个比它大的数l[i],右边第一个比它大的r[i]，那就是左端点在[l[i],i]右端点在[i,r[i]]的区间是以第i个数作为最大值。
这样的话可以看成二维平面上一个矩形区域,每个矩形区域有着一样的最大值，如果我们把最大值相同的矩形放在一起考虑，问题就变成了：最大值相同的a产生的矩形和b产生的矩形交的面积之和。
用一个扫描线去做，维护当前线上矩形交的长度now。具体是这样的：开2n个线段树，对于每一种最大值开线段树，分别用roota[i]和rootb[i]维护a和b的最大值为i的矩形在当前扫描线上覆盖情况。每次一个值为w的a产生的左上角[x1,y1],右下角[x2,y2]的矩形在x1处加入，now+=rootb[w]在[y1,y2]覆盖了多少，再在roota[w]的线段树修改。删除把+改成-就行了。这样最后ans+=now。
写着非常简单。
1 program j01; 2 const maxn=350086; 3 var a,b:array[0..maxn]of longint; 4 roota,rootb:array[0..maxn]of longint; 5 la,lb:array[0..maxn]of longint; 6 sta,stb:array[0..maxn]of longint; 7 f:array[0..40*maxn]of record l,r,tag,w:longint; end; 8 topa,topb,cnt,n,i:longint; 9 ll,rr,dd:longint; 10 sum,now:int64; 11 12 function min(a,b:longint):longint;inline;begin if a<b then exit(a) else exit(b); end; 13 function max(a,b:longint):longint;inline;begin if a>b then exit(a) else exit(b); end; 14 15 function ask(i,l,r:longint):longint; 16 var mid,res:longint; 17 begin 18 if i=0 then exit(0); 19 if(ll<=l)and(r<=rr)then exit(f[i].w); 20 mid:=(l+r)div 2;res:=f[i].tag*(min(rr,r)-max(ll,l)+1); 21 if ll<=mid then res:=res+ask(f[i].l,l,mid); 22 if mid+1<=rr then res:=res+ask(f[i].r,mid+1,r); 23 exit(res); 24 end; 25 26 procedure change(var i:longint;l,r:longint); 27 var mid:longint; 28 begin 29 if i=0 then 30 begin 31 inc(cnt);i:=cnt; 32 end; 33 if(ll<=l)and(r<=rr)then 34 begin 35 inc(f[i].tag,dd);inc(f[i].w,dd*(r-l+1));exit; 36 end; 37 mid:=(l+r)div 2; 38 if ll<=mid then change(f[i].l,l,mid); 39 if mid+1<=rr then change(f[i].r,mid+1,r); 40 f[i].w:=f[i].tag*(r-l+1)+f[f[i].l].w+f[f[i].r].w; 41 end; 42 43 begin 44 readln(n); 45 for i:=1 to n do read(a[i]); 46 for i:=1 to n do read(b[i]); 47 fillchar(la,sizeof(la),0);fillchar(lb,sizeof(lb),0); 48 fillchar(roota,sizeof(roota),0);fillchar(rootb,sizeof(rootb),0); 49 a[0]:=maxlongint;b[0]:=maxlongint;topa:=0;topb:=0;sta[0]:=0;stb[0]:=0; 50 sum:=0;now:=0; 51 for i:=1 to n do 52 begin 53 while a[sta[topa]]<=a[i] do 54 begin 55 ll:=la[sta[topa]];rr:=sta[topa];dd:=-1; 56 now:=now-ask(rootb[a[sta[topa]]],1,n); 57 change(roota[a[sta[topa]]],1,n); 58 dec(topa); 59 end; 60 while b[stb[topb]]<=b[i] do 61 begin 62 ll:=lb[stb[topb]];rr:=stb[topb];dd:=-1; 63 now:=now-ask(roota[b[stb[topb]]],1,n); 64 change(rootb[b[stb[topb]]],1,n); 65 dec(topb); 66 end; 67 la[i]:=sta[topa]+1;ll:=la[i];rr:=i;dd:=1; 68 now:=now+ask(rootb[a[i]],1,n);change(roota[a[i]],1,n); 69 inc(topa);sta[topa]:=i; 70 lb[i]:=stb[topb]+1;ll:=lb[i];rr:=i;dd:=1; 71 now:=now+ask(roota[b[i]],1,n);change(rootb[b[i]],1,n); 72 inc(topb);stb[topb]:=i; 73 sum:=sum+now;//writeln(now,' ',sum); 74 end; 75 writeln(sum); 76 end. 77 78