【luogu P3952 时间复杂度】 题解

对于2017 D1 T2 这道题

实实在在是个码力题，非常考验耐心。

其实大体的思路并不是非常难想出来，但是要注意的小细节比较多。

题目链接：https://www.luogu.org/problemnew/show/P3952

思路

对于每一个程序，先读入L和O()，并将其中的时间复杂度抠出来。

其次整行读入字符串，即所给定的程序。

判断第一个字符是F or E

F i x y 需要把x y拿出来，把i压进栈

E 退栈 压进i后为了方便退栈及退栈时判断，用一个flag标记

每做完一个程序，与前面抠出来的时间复杂度对比判断yesnoerr即可。

注意

1.我的readx和ready函数比较暴力，直接截取常数和n可能存在的位置并保存。所以在考虑情况时，常数与n的位置不能搞错，也不能少考虑。

2.在每搞完一个程序时，要把初始值和标记都初始化一遍。

 #include <iostream>
 #include <cstdio>
 #include <cstring>
 #include <algorithm>
 #include <stack>
 using namespace std;
 int L,t,anso,codeo;//anso=0 O(1)  anso=x O(n^x) 输入给的时间复杂度   codeo 自己算的时间复杂度  if anso==codeo yes else no     if codeo==-1 err
 string code[];//按行输入所给代码（F,E）
 string ans;//读入给定的复杂度 O()
 int readx(string x)
 {
     int num;
     if(x[] >= '' && x[] <= '') num = x[]-'';
     if(x[] >= '' && x[] <= '') num = (x[]-'')*+x[]-'';
     if(x[] == 'n') num = ;
     return num;
 } //抠出给定的复杂度 x
 int ready(string x)
 {
     int num;
     if(x[] >= '' && x[] <= '' && x[] <= '' || x[] >= '') num = x[]-'';
     if(x[] >= '' && x[] <= '' && x[] <= '' || x[] >= '') num = x[]-'';
     if(x[] >= '' && x[] <= '' && x[] >= '' && x[] <= '') num = (x[]-'')*+x[]-'';
     if(x[] >= '' && x[] <= '' && x[] >= '' && x[] <= '') num = (x[]-'')*+x[]-'';
     if(x[] == 'n') num = ;
     if(x[] == 'n') num = ;
     return num;
 }//抠出给定的复杂度 y
 int check1()
 {
     int res;
     if(ans[] == '') res = ;
         if(ans[] == 'n')
         {
             if(ans[]<='' && ans[]>='')
             res = ans[]-'';
             if(ans[]<='' && ans[]>='')
             res = (ans[]-'')* + ans[]-'';
         }//记录输入给的复杂度
     return res;
 }
 int check2()
 {
         stack<int> s;
         int flag=-;//标记
         bool fe[]={};//上面都是便于栈操作，fe来记录变量名
         int res=,now=;//now来记录当前循环中的时间复杂度，res是整个程序的时间复杂度
         bool cflag[]={};//记录变量是否重复   0 则没用过    1 用过  changeflag
         int xnum,ynum;

     for(int i=;i<=L;i++)
     {

         if(code[i][]=='F')
         {
             int k=code[i][]-'a';
             if(cflag[k]) return -;
             s.push(k);
             cflag[k] = ;

             xnum=readx(code[i]); ynum=ready(code[i]);
             if(ynum-xnum>)
             {
                 if(flag==-)
                 {
                     now++;
                     res=max(res,now);
                     fe[k]=;
                 }
             }
             if(xnum>ynum)
             {
                 if(flag==-) flag=k;
             }
         }

         if(code[i][]=='E')
         {
         if(s.empty()) return -;
         int k=s.top();
         s.pop();cflag[k]=false;
         if(flag==k) flag=-;
         if(fe[k])
             {
                 fe[k]=false;
                 now--;
             }
         }
     }
     if(s.size()) return -;
     return res;
 }
 int main()
 {
     scanf("%d",&t);
     while(t--)
     {

         scanf("%d ",&L);getline(cin,ans);
         anso=check1();

         for(int i=;i<=L;i++)getline(cin,code[i]);
         codeo=check2();

         if(codeo==-) cout<<"ERR"<<endl;
         else
         {
             if(anso!=codeo)  cout<<"No"<<endl;
             if(anso==codeo)  cout<<"Yes"<<endl;
         }
     }
     return ;
 }