与众不同2

【题目描述】
A是某公司的CEO，每个月都会有员工把公司的盈利数据送给A，A是个与众不同的怪人，A不注重盈利还是亏本，而是喜欢研究“完美序列”：连续的互不相同的序列。A想知道区间[L,R]之间最长的完美序列。
【输入格式】
第一行两个整数N，M(1<=N,M<=200000)，N表示连续N个月,编号为0到N-1，M表示询问的次数。第二行N个整数(绝对值不超过106),第i个数表示该公司第i个月的盈利值。接下来M行每行两个整数L,R(0<=L<=R<=N-1),表示A询问的区间。
【输出格式】
输出M行，每行一个整数对应询问区间内的完美序列的最长长度。
【样例输入】
9 2
2 5 4 1 2 3 6 2 4
0 8
2 6
4 8
【样例输出】
6
5
4
【分析】
设last[x]为数x当前最近出现的位置，st[i]为以第i个数为终点的最长完美序列的起点序号，q[i]表示以第i个数为终点的最长完美序列的长度，可以写出：

for i:=1 to n do begin
  read(a[i]);
  st[i]:=max(st[i-1],last[a[i]]+1);
  q[i]:=i-st[i]+1;
  last[a[i]]:=i;
end;

可以发现st数组单调不减。
于是对于一个分割点mm有两种情况：
1、mm左边一部分st[]值<=l-1
2、mm右边一部分st[]值>=l
因为st[]是单调的，所以可以用二分法。
左半部分最大值即mm-l，右半部分最大值即q[mm..r]的最大值（可以用RMQ算法来求）。

uses math;
var
  a,st,q:array[0..200001]of longint;
    last:array[-1000001..1000001]of longint;
    rmq:array[0..200001,0..21]of longint;
    i,j,ans,n,m,l,r,mm,len:longint;
function search(x,y:longint):longint;
var
  ll,rr,mid:longint;
begin
  if st[x]=x then exit(x);
    if st[y]<x then exit(y+1);
    ll:=x;rr:=y;
    while ll<=rr do begin
      mid:=(ll+rr) div 2;
        if st[mid]<x then ll:=mid+1 else rr:=mid-1;
    end;
    exit(ll);
end;
begin
  readln(n,m);
    for i:=1 to n do begin
        read(a[i]);
      st[i]:=max(st[i-1],last[a[i]]+1);
        q[i]:=i-st[i]+1;
      last[a[i]]:=i;
  end;
    for i:=1 to n do rmq[i,0]:=q[i];
    for j:=1 to trunc(ln(n)/ln(2)) do
      for i:=1 to n-(1 shl j)+1 do
            rmq[i,j]:=max(rmq[i,j-1],rmq[i+(1 shl (j-1)),j-1]);
    for i:=1 to m do begin
      readln(l,r);
        mm:=search(l,r);
        if mm>l then ans:=mm-l;
        if mm<=r then begin
          len:=trunc(ln(r-mm+1)/ln(2));
          ans:=max(ans,max(rmq[mm,len],rmq[r-(1 shl len)+1,len]));
        end;
        writeln(ans);
    end;
end.