时间限制：1秒
空间限制：32768K

题目描述

美团点评上有很多餐馆优惠券，用户可以在美团点评App上购买。每种优惠券有一个唯一的正整数编号。每个人可以拥有多张优惠券，但每种优惠券只能同时拥有至多一张。每种优惠券可以在使用之后继续购买。

当用户在相应餐馆就餐时，可以在餐馆使用优惠券进行消费。某人优惠券的购买和使用按照时间顺序逐行记录在一个日志文件中，运营人员会定期抽查日志文件看业务是否正确。业务正确的定义为：一个优惠券必须先被购买，然后才能被使用。

某次抽查时，发现有硬盘故障，历史日志中有部分行损坏，这些行的存在是已知的，但是行的内容读不出来。假设损坏的行可以是任意的优惠券的购买或者使用。

现在给一个日志文件，问这个日志文件是否正确。若有错，输出最早出现错误的那一行，即求出最大s，使得记录1到s-1满足要求；若没有错误，输出-1。

输入描述:

输入包含多组数据 m 分别表示 m (0 ≤ m ≤ 5 * 10^5) 条记录。 下面有m行，格式为： I x （I为Input的缩写，表示购买优惠券x）； O x（O为Output的缩写，表示使用优惠券x）； ? （表示这条记录不知道）。 这里x为正整数，且x ≤ 10^5 。


输出描述:

-1 或 x(1 ≤ x ≤ m) 其中x为使得1到x-1这些记录合法的最大行号。

输入例子:

0
1
O 1
2
?
O 1
3
I 1
?
O 1
2
I 2
O 1

输出例子:


-1
1
-1
-1

2

思路：

这道题一开始觉得很简单，用cnt记录？的次数，然后遇到不合法的数据就判断下cnt就行了，后面发现还是太天真了，too young，测了一组数据？ ？ O 1 O 1 发现输出的是-1，显然不是的嘛，所以发现自己的思维存在漏洞，其实刚开始考虑的时候没有注意到？所能变换的限制，我是把他当做任意值来处理，并没有考虑到？变化的时候并不能使他变化为已经存在的操作。。。想到了这个问题，想了好久，不知道怎么处理 自己还是太菜，唉。。问了大神，才知道还有这种操作：其实我们可以这样去考虑问题，不再是去考虑？可以变成什么，而是去考虑当非问号操作的时候，是否合法，那么该怎样去判断，我们去分析每一个操作,其实操作是否合法，当前优惠卷操作只跟上一次对这种操作有关，当购买操作的时候，如果之前没进行过这种优惠券的操作或者之前的是用掉这种优惠卷，那么就直接购买，如果之前买了这种优惠卷那么就要用到？了，那么怎么去判断呢，对于上一次对这种优惠卷的操作是买入，那么这一次还是买入，首先对于之前的？操作都不用管，为什么呢， 因为之前的？操作对上一次买入操作到这一次的买入操作，是没有影响的了，因为之前的？如果是当做买入操作，那么就早就是不合法操作了，如果是卖出，更加不用管了。所以我们只用考虑上一次对这种的操作和这一次对这种的操作之间的？号，如果有？号就取第一个？并且视为合法操作，然后之后需不考虑这个？为什么要取第一个呢，因为这样就防止把后面的别人需要的拿走了，而后面的又拿不到你前面的？操作。但操作是卖出操作的是时候需要用到？的情况就只有上一次对这个操作也是卖出操作，或者之前没有出现这种情况。这时候和买入操作一样去找之间的？

接下来就是怎么实现的了，我们把？号出现的位置也就是下标丢到set里面，然后用每一次操作的位置去查找，找到第一个>的位置，如果能找到，就删掉这个？，不能找到就记录位置，还有一个问题，怎么记录上一个操作的位置，很简单开个数组记录每一种优惠卷的位置就行了，当更新的时候，先去判断再去更新就行了，记得卖出操作的时候记录负的，不然怎么知道上一个操作是买还是卖。

ac代码：

#include<cstdio>
#include<algorithm>
#include<cstring>
#include<map>
#include<set>
#include<iostream>
#include<sstream>
using namespace std;
const int maxn = 1e5+100;
int num[maxn*5];
int n;
int main()
{
    char s[10];
    while(~scanf("%d",&n))
    {
        set<int>Q;
        int ans ;
        int ok = 0;
        set<int>::iterator it;
        for(int i = 0 ;i<n;i++)
        {
            scanf("%s",s);
            if(s[0]=='?')
            {
                Q.insert(i+1);
            }
            else if(s[0]=='I')
            {
                int tmp;
                scanf("%d",&tmp);
                if(ok)
                    continue;
                if(num[tmp]>0)
                {
                    it = Q.lower_bound(num[tmp]);
                    if(it!=Q.end())
                    {
                        Q.erase(it++);
                    }
                    else
                    {
                        if(ok==0){
                        ok=1;
                        ans=i+1;
                        }
                    }
                }
                num[tmp] = i+1;
            }
            else
            { int tmp;
                scanf("%d",&tmp);
                if(ok)
                    continue;
                if(num[tmp]<=0)
                {
                    it = Q.lower_bound(-num[tmp]);
                    if(it!=Q.end())
                    {
                        Q.erase(it++);
                    }
                    else
                    {
                        if(ok==0){
                        ok=1;
                        ans=i+1;
                        }
                    }
                }
                num[tmp] =-(i+1);

            }
        }
        if(ok)
        {
            cout<<ans<<endl;
        }
        else
        {
            cout<<-1<<endl;
        }
    }
}