字典序最小的ABAB

题意：要你找两个数A，B，使得它们在序列中排列是ABAB，如果有多对，找字典序最小的。

题解：我们假设这四个数在序列中的位置是x1,x2,y1,y2，那么我们可以枚举每一对x2,y2（在枚举前先从后往前扫，预处理每一个a[i]对应的位置），因为要字典序最小，我们要找符合条件的最小的y1，y1对应的数就是A，x2对应的数就是B。涉及区间最值，我们用线段树，一开始树的每个结点都是INF，然后每枚举完一对x2,y2，就把y2对应的数更新到树上，因为y2有可能成为之后的y1。

#include <cstdio>
#include <cstring>
#include <algorithm>
using namespace std;
typedef pair<int,int> pii;
const int maxn = 400005;
const int INF = 0x3f3f3f3f;
int a[maxn],s[maxn];
int n,cnt;
pii p[maxn];
struct node
{
    int l,r,mi;
}tr[maxn*4+1];

void build(int k,int l,int r)
{
    tr[k].l = l,tr[k].r = r;
    if(l == r)
    {
        tr[k].mi = INF;
        return;
    }
    int m = (l+r)/2;
    build(k*2,l,m);
    build(k*2+1,m+1,r);
    tr[k].mi = min(tr[k*2].mi,tr[k*2+1].mi);
}

void update(int k,int p,int w)
{
    if(tr[k].l == tr[k].r)
    {
        tr[k].mi = w;
        return;
    }
    int m = (tr[k].l+tr[k].r)/2;
    if(p <= m)
        update(k*2,p,w);
    else
        update(k*2+1,p,w);
    tr[k].mi = min(tr[k*2].mi,tr[k*2+1].mi);
}

void query(int k,int l,int r)
{
    if(tr[k].l >=l && tr[k].r <= r)
    {
        cnt = min(cnt,tr[k].mi);
        return;
    }
    int m = (tr[k].l+tr[k].r)/2;
    if(l<=m)
        query(k*2,l,r);
    if(r>m)
        query(k*2+1,l,r);
}

int main()
{
    int n;
    scanf("%d",&n);
    for(int i=1; i<=n; i++)
    {
        scanf("%d",&a[i]);
    }
    build(1,1,n);
    int num = 0;
    for(int i=n; i>=1; i--)
    {
        if(s[a[i]])
            p[++num] = pii(i,s[a[i]]);
        s[a[i]] = i;
    }
    sort(p+1,p+1+num);
    pii ans(INF,INF),tmp;
    for(int i=1; i<=num; i++)
    {
        cnt = INF;
        query(1,p[i].first+1,p[i].second-1);
        tmp = pii(cnt,a[p[i].first]);
        if(tmp < ans)
            ans = tmp;
        update(1,p[i].second,a[p[i].first]);
    }
    if(ans.first == INF || ans.second == INF)
        printf("-1");
    else
        printf("%d %d",ans.first,ans.second);
}