NWERC 2016 F. Free Weights

题面链接：

http://codeforces.com/gym/101170/attachments

题目大意：

现在有两行一共2N个哑铃，重量相同的哑铃为一队。现在让尽量移动质量小的一些哑铃，使得每一对哑铃相邻（上下相邻不算）。

问移动的哑铃中，重量最大的值是多少？

大致思路：

哑铃的质量为1~1e9，可以采用二分答案的方法。即每次的值就是移动哑铃中重量最大的那一个。而比他重量小的则可以随便移动。

所以对于每次枚举，判断是否合法的方法就是把质量比他大的哑铃进行匹配（类似于括号匹配）

如果合法，则可以尝试一个更小的数。如果不合法，则答案为一个更大的数

代码：

#include<iostream>
#include<cstdlib>
using namespace std;
const int maxn=1e6+7;
const int INF=1e9+7;
int a[2][maxn],stack[maxn];
int n;
bool slove(int mid)//判断是否合法
{
    int top=0;
    for(int i=0;i<2;++i){
        for(int j=1;j<=n;++j){
            if(a[i][j]<=mid)
                continue;
            if(top&&stack[top]==a[i][j]){
                top--;
                continue;
            }
            if(top&&stack[top]!=a[i][j])//匹配不成功
                return false;
            stack[++top]=a[i][j];
        }
        if(top)
            return false;
    }
    return true;
}
int main()
{
    ios::sync_with_stdio(false);
    cin>>n;
    for(int i=0;i<2;++i)
        for(int j=1;j<=n;++j)
            cin>>a[i][j];
    int l=-1,r=INF;
    while(l+1<r)
    {
        int mid=(l+r)>>1;//二分答案
        if(slove(mid))
            r=mid;
        else
            l=mid;
    }
    cout<<r<<endl;
    return 0;
}