[LUOGU] P3952 时间复杂度

其实，也没那么难写
这种模拟题，仔细分析一下输入格式，分析可能的情况，把思路写在纸上，逐步求精，注意代码实现

主要思路就是算一个时间复杂度，和给出的复杂度比较，这就先设计一个函数把给出的复杂度由字符串形式化为数字形式
然后开始分析，对于F：

1. 检查变量合法
2. 分类：常量-常量和n-n：O(1)，常量-n：O(n)，n-常量：无法进入，记为0，特殊标记一个slay
   3.压栈：栈内记录变量名和贡献的复杂度，用map标记变量为使用过
   对于E：
3. 检查栈空
4. 如果没有slay标记就更新答案
5. 弹栈，清空变量使用

一个问题：ERR不能直接返回，剩下的程序还是要读完的

#include<iostream>
#include<cstring>
#include<string>
#include<cstdio>
#include<map>
using namespace std;
 
 
int n;
string ostring;

struct Node{
    string var;
    int o,slay;
    Node(string s="",int _=0,int l=0){var=s;o=_;slay=l;}    
};

int ans,cur;
Node sta[10000];
int top;
map<string,int> mp;
int checkO(string s){//return the O of s
    if(s=="O(1)") return 0;
    int ret=0,p=0;char c;
    while(c=s[p++],!isdigit(c));
    while(isdigit(c)){
        ret=ret*10+c-'0';
        c=s[p++];
    }
    return ret;
}

int push(string var,string st,string ed){
    if(mp[var]==1)return -1;
    
    mp[var]=1;
    if(st=="n"&&ed=="n") return 0;
    if(st=="n") return -2;//slay =1
    if(ed=="n") return 1;
    int l=0,r=0;
    int len=st.size();
    for(int i=0;i<len;i++){
        l*=10;
        l+=st[i]-'0';
    }
    len=ed.size();
    for(int i=0;i<len;i++){
        r*=10;
        r+=ed[i]-'0';
    }
    if(l<=r) return 0;
    else return -2;
}

int pop(){
    if(!top) return -1;
    Node tmp=sta[top--];
    mp[tmp.var]=0;
    if(!tmp.slay) ans=max(ans,cur);
    cur-=tmp.o;
}
    

int solve(int len){
    int fail=0;
    ans=0;cur=0;top=0;mp.clear();
    int tmp=0,sl=0;
    string s,var,st,ed;
    for(int i=1;i<=len;i++){
        sl=0;
        cin>>s;
        if(s=="F"){
            cin>>var>>st>>ed;
            tmp=push(var,st,ed);
            if(tmp==-1) fail=1;
            if(tmp==-2) sl=1,tmp=0;
            if(top>0) sl|=sta[top].slay;
            sta[++top]=Node(var,tmp,sl);    
            cur+=tmp;
        }else{
            tmp=pop();
            if(tmp==-1) fail=1;
        }
    }
    if(top) return -1;
    if(fail) return -1;
    return ans; 
}
 
int main(){
    int T;
    cin>>T;
    while(T--){
        top=0;ans=0;cur=0;
        cin>>n>>ostring;
        int aim=checkO(ostring); 
        int res=solve(n);
        if(res==-1) {puts("ERR");continue;}
        if(aim==res) {puts("Yes");continue;}
        puts("No");
    }
    return 0;
}