codeforces 1435D. Shurikens（贪心，数据结构）

题目链接：https://codeforces.ml/contest/1435/problem/D

题意：输入n，表示放入n次商品，价值分别为1,2,3,...,n（顺序不一定是这样）。而且还要买n次，每次买的价值也是1,2,3,...,n。（不过要先放上去再买，而且每次只能买放入橱柜的最便宜的东西）。

+表示放一个

- x表示买一个价值为x的商品。

为给出的序列是否满足条件，如果是请先"YES"再输出放入的序列，否则只打印"NO"。

示例：

4
+
+
- 2
+
- 3
+
- 1
- 4
out：：：

YES
4 2 3 1 
题解：一开始思考一定"NO"的条件，思考了一些（不全面）连续的-不递增||z<f||a[cnt]>n-(z-f)+1(这里f不加上当前的)。

然后满足，则贪心，如果+，就set插入位置，如果-，优先插入到最后的set。（因为如果不连续-就只需要插入到上一位，而连续-就一定递增，那么越前面越大才不会影响前面的取值（反正已经遇到-就必须将x放入到这之前））。

最后再检查一下，看是否每次取的最小值，用set维护一下就好了。如果不满足，则"NO"。否则就输出。（可以考虑一开始就直接假设成立！！！set空的时候直接返回"NO"就ok了，最后再特判一下）。

//又去看了样例正确答案的顺序，与这个一样，这个应该也算得上一个正解吧，今后遇到这样的题，希望能快速做答。（u1s1，set是真的好用）。

代码：

#include <bits/stdc++.h>

#define ll long long
#define pi acos(-1)
#define pb push_back
#define mst(a, i) memset(a, i, sizeof(a))
#define pll pair<ll, ll>
#define fi first
#define se second
#define mp(x,y) make_pair(x,y)
#define dbg(x) cout << #x << "===" << x << endl
using namespace std;
template<class T>void read(T &x){T res=0,f=1;char c=getchar();while(!isdigit(c)){if(c=='-')f=-1;c=getchar();}while(isdigit(c)){res=(res<<3)+(res<<1)+c-'0';c=getchar();}x=res*f;}
void print(ll x){if(x<0){putchar('-');x=-x;}if(x>9)print(x/10);putchar(x%10+'0');}
const ll maxn = 2e5 + 10;
const ll mod = 1e9 + 7;

char s[maxn];
ll x[maxn],n,a[maxn],v[maxn];
set<ll> st;
bool ok(){
    ll cnt=0,cx=0;
    st.clear();
    set<ll>::iterator p;
    for(ll i=1;i<=2*n;i++){
        if(s[i]=='+') st.insert(x[++cnt]);
        else{
            p=st.begin();
            if(*p!=a[++cx]) return false;
            st.erase(p);
        }
    }
    return true;
}
//ll gcd(ll a,ll b){return (b==0)?a:gcd(b,a%b);}
//ll qpow(ll a,ll p,ll mod){ll ans=1;a=a%mod;while(p){if(p&1)ans=(ans*a)%mod;p>>=1;a=(a*a)%mod;}return ans;}
int main() {
    ll _s = 1;
    //read(_s);
    for (ll _=1;_<=_s;_++) {
        read(n);
        ll cnt=0,z=0,f=0;
        bool flag=true;
        for(ll i=1;i<=2*n;i++){
            cin>>s[i];
            if(s[i]=='+'){
                z++;
            }
            else{
                read(a[++cnt]);
                if(a[cnt]>n-(z-f)+1) flag=false;
                f++;
                if(s[i-1]=='-'&&a[cnt-1]>a[cnt]) flag=false;
            } 
            if(z<f) flag=false;
        }
        //dbg(flag);
        if(!flag) puts("NO");
        else{
            //for(ll i=1;i<=n;i++) st.insert(i);
            set<ll>::iterator p;
            ll cnt=0,cx=0;
            for(ll i=1;i<=2*n;i++){
                //dbg(i);
                if(s[i]=='+') st.insert(++cx);
                else{
                    if(s[i-1]=='+') p=st.end(),--p,x[*p]=a[++cnt],st.erase(p);
                    else p=st.end(),--p,x[*p]=a[++cnt],st.erase(p);
                }
                //for(ll i=1;i<=n;i++) cout<<x[i]<<" ";cout<<endl;
                //for(auto k:st) dbg(k);
            }
            //?再模拟一遍防止哪里考虑错了
            if(!ok()){
                puts("NO");
                return 0;
            }
            puts("YES");
            for(ll i=1;i<=n;i++){
                cout<<x[i]<<" ";
            }
            cout<<endl;
        }

    }
    return 0;
}
/*
input:::

output:::

*/