F - Wi Know Kattis - wiknow

题目链接
题意：找到ABAB这种形式的字典序的最小子序列。
题解：线段树，我们会发现只要存在ABAB这种形式，那么一定存在A1B1A2B2使得A1和A2之间没有其余的A，B1和B2之间没有其余的B。那么，我们这样就只需要枚举每一位B1，然后找到离这个B1最近的那个B就是B2，我们找到B1前面存在的（A1）并且在B1和B2之间最小的数（A2）。

这样我们可以边查询，边更新树，开始的时候我们不需要存取值，然后没遍历一个B1我们就将B2存入到树中，这样我们就保证了我在后面能够查询的树都是可以当作A1。
下面是AC代码：

#include<iostream>
#include<algorithm>
#include<cstring>
#include<cstdio>
using namespace std;
const int N=5e5+10,INF=0x3f3f3f3f;
int a[N],pos[N],nxt[N];
int minn[N*4];
int n;
struct node
{
    int l,r;
}tr[N*4];
void pushup(int u)
{
    minn[u]=min(minn[u<<1],minn[u<<1|1]);//最小值
}
void build(int u,int l,int r)
{
    if(l==r) tr[u]={l,r};
    else
    {
        tr[u]={l,r};
        int mid=tr[u].l+tr[u].r>>1;
        build(u<<1,l,mid);
        build(u<<1|1,mid+1,r);
    }
}
void modify(int u,int x,int v)
{
    if(tr[u].l==x&&tr[u].r==x)  minn[u]=v;
    else
    {
        int mid=tr[u].l+tr[u].r>>1;
        if(x<=mid) modify(u<<1,x,v);
        if(x>mid) modify(u<<1|1,x,v);
        pushup(u);
    }
}
int query(int u,int l,int r)//查询l,r,之间最小的数
{
    if(tr[u].l>=l&&tr[u].r<=r) return minn[u];
    else
    {
        int mid=tr[u].l+tr[u].r>>1;
        int minv=0x3f3f3f3f;
        if(l<=mid) minv=min(minv,query(u<<1,l,r));
        if(r>mid) minv=min(minv,query(u<<1|1,l,r));
        return minv;
    }
}
int main()
{
     cin>>n;
     memset(minn,0x3f,sizeof(minn));
     for(int i=1;i<=n;i++) cin>>a[i];
     build(1,1,n);
     for(int i=n;i>=1;i--)
     {
         nxt[i]=pos[a[i]];
         pos[a[i]]=i;
     }
     pair<int,int> ans;
     ans={0x3f3f3f3f,0x3f3f3f3f};
     for(int i=1;i<=n;i++)
     {
         if(nxt[i]==0) continue;
         ans=min(ans,{query(1,i+1,nxt[i]-1),a[i]});//这里假设是l=4,r=3的情况时，就会在query中else中跳出
         modify(1,nxt[i],a[nxt[i]]);
     }
     if(ans.first!=0x3f3f3f3f&&ans.second!=0x3f3f3f3f)
     {
        cout<<ans.first<<" "<<ans.second<<endl;
     }
     else puts("-1");
     return 0;
}