luogu 3952 时间复杂度

noip2017 D1T2 时间复杂度 某zz选手考场上写了1.5h 考完之后发现自己写的是错的 但是结果A了？？？

题目大意：

一种新的编程语言 A++ 给出一个程序只有循环语句 并给出这个程序的时间复杂度

判断每个程序给出的时间复杂度是否正确。

A++语言的循环结构如下：

F i x y
    循环体
E

其中F i x y表示新建变量i（变量i不可与未被销毁的变量重名）并初始化为 x 然后判断 i 和 y 的大小关系，若 i 小于等于 y 则进入循环 否则不进入

每次循环结束后 i 都会被修改成 i +1，一旦 i 大于 y 终止循环

x 和 y 可以是正整数（x 和 y 的大小关系不定）或变量 n  n 是一个表示数据规模的变量 在时间复杂度计算中需保留该变量而不能将其视为常数 该数远大于 100

“E”表示循环体结束 循环体结束时，这个循环体新建的变量也被销毁

输入格式：

T组数据

每个程序我们只需抽取其中 F i x y和E即可计算时间复杂度，注意：循环结构 允许嵌套。

接下来每个程序的第一行包含一个正整数 L 和一个字符串，L 代表程序行数，字符串表示这个程序的复杂度

O(1)表示常数复杂度，O(n^w)表示复杂度为n^w，其中w是一个小于100的正整数（输入中不包含引号），输入保证复杂度只有O(1)和O(n^w) 两种类型

接下来 L 行代表程序中循环结构中的F i x y或者 E

程序行若以F开头，表示进入一个循环，之后有空格分离的三个字符（串）i x y， 其中 i 是一个小写字母（保证不为n），表示新建的变量名

x 和 y 可能是正整数或 n ，已知若为正整数则一定小于 100

程序行若以E开头，则表示循环体结束

输出格式：

输出文件共 t 行，对应输入的 t 个程序，每行输出Yes或No或者ERR，若程序实际复杂度与输入给出的复杂度一致则输出Yes，不一致则输出No

若程序有语法错误（其中语法错误只有: ① F 和 E 不匹配 ②新建的变量与已经存在但未被销毁的变量重复两种情况），则输出ERR

注意：即使在程序不会执行的循环体中出现了语法错误也会编译错误，要输出 ERR

思路：

模拟

之前错的是因为没有考虑有两个进不去的循环嵌套（但还是A了

 #include<cstdio>
 #include<iostream>
 #include<algorithm>
 #include<cstdlib>
 #include<cmath>
 #include<cstring>
 #include<vector>
 #include<map>
 #include<queue>
 #define ll long long
 #define inf 2147483611
 #define MAXN 110
 #define MOD
 using namespace std;
 inline int read()
 {
     int x=,f=;char ch=getchar();
     while(!isdigit(ch)) {if(ch=='-') f=-;ch=getchar();}
     while(isdigit(ch)) {x=x*+ch-'';ch=getchar();}
     return x*f;
 }
 int T,n,t3,t2,ans,tmp,tp,len,st[MAXN],s[MAXN];
 char o[],ch[][];
 bool hsh[],k[MAXN],j[MAXN];
 int main()
 {

     //freopen("complexity.in","r",stdin);
     //freopen("complexity.out","w",stdout);
     T=read();
     bool f;int sp;
     while(T--)
     {
         n=read(),tmp=tp=ans=t3=t2=sp=,f=;scanf("%s",o);
         memset(hsh,,sizeof(hsh));
         memset(j,,sizeof(j));
         for(int i=;i<=n;i++)
         {
             scanf("%s",ch[]);
             if(ch[][]=='E')
             {
                 hsh[st[tp]]=;
                 if(k[s[tp]]) tmp--;
                 if(j[s[tp]]) sp--;
                 tp--;
                 if(tp<) f=;
                 continue;
             }
             tp++;
             s[tp]=i;
             cin>>ch[]>>ch[]>>ch[];
             len=strlen(ch[]);
             if(isdigit(ch[][])) t2=ch[][]-'';
             else t2=inf;
             if(len==) t2=t2*+ch[][]-'';
             len=strlen(ch[]);
             if(isdigit(ch[][])) t3=ch[][]-'';
             else t3=inf;
             if(len==) t3=t3*+ch[][]-'';
             if(hsh[ch[][]-'a']) f=;
             hsh[ch[][]-'a']=;st[tp]=ch[][]-'a';
             if(t2>t3) {sp++;j[i]=;}
             if(t2<t3&&t3==inf)
             {
                 tmp++;
                 k[i]=;
                 if(sp) continue;
                 ans=max(ans,tmp);
             }
             else k[i]=;
         }
         if(tp>||!f) {puts("ERR");continue;}
         len=strlen(o);
         if(len==&&ans==) {puts("Yes");continue;}
         int l=o[len-]-'';
         if(isdigit(o[len-])) l+=*(o[len-]-'');
         if(len>&&l==ans) {puts("Yes");continue;}
         puts("No");
     }
 }