P3952 时间复杂度

不得不说多组数据一定注意清空变量这个问题。

这题显然是个模拟，但有些东西不用栈维护的话很难搞。

我的做法是开了一个栈sta，存当前所有未销毁的循环的变量，还有两个与sta同步的数组num与notin。num[i]表示sta[i]的变量所在的循环是第几层循环，notin[i]表示sta[i]的变量所在的循环是否会进入。此时每一个循环体的复杂度就是num数组中的最大值

把F循环体看作为入栈操作，E为出栈操作，那么我们就可以得出以下结论：

设当前为第i条循环语句：

一、何时为语法错误：

（1）栈sta为空时执行了E操作；

（2）循环体输入完毕后发现栈sta不为空。

二、notin数组的统计：

如果当前循环的x>y,那么不会被执行，在该循环被E结束之前，新入栈的循环语句的notin值均为1（因为它们被嵌套在不被执行的第i条F语句中）。

三、num数组的统计：

（1）如果当前循环为常数复杂度（看作n^0），那么到这个循环位置的复杂度和上一条循环的复杂度一样。

（2）如果当前循环为n的复杂度且该循环能被进入，那么num[i]=num[i-1]+1;

（3）如果有notin值被标记为1的循环（x>y,无法进入）还未被弹出，说明当前循环嵌套在notin值被标记为1的循环里，不会被执行。

顺便说一句，常数复杂度有两种情况：
（1）循环不执行；
（2）循环的上届和下界都为<100的常数。

这样我们便把该维护的东西都维护好了。

AC代码：

#include<cstdio>
#include<cstring>
#include<iostream>
#define ri register int
using namespace std;

const int MAXN=120;
int t;
char fu[MAXN],f,bl,xjs[MAXN],sjs[MAXN];
char sta[MAXN];
int num[MAXN],notin[MAXN];
int book[MAXN],tot;

void work()
{
    memset(num,0,sizeof(num));
    int line,len,xjl,sjl,ci=0,cians=0,flage=0,tot=0,xj=0,sj=0;
    
    scanf("%d",&line);
 	scanf("%s",fu+1);len=strlen(fu+1);
    if(len>4)
        for(ri i=5;i<=len-1;i++)	ci=(ci*10)+(fu[i]-'0');		
        
    for(ri i=1;i<=line;i++)
    {
        cin>>f;
        if(f=='F')
        {
            cin>>bl;tot++;
            
            if(book[(int)bl])	flage=1;
            if(!book[(int)bl])	book[(int)bl]=1,sta[tot]=bl;
            
            scanf("%s",xjs+1),scanf("%s",sjs+1);
            xjl=strlen(xjs+1),sjl=strlen(sjs+1);
            xj=0,sj=0;
            for(ri i=1;i<=xjl;i++)
            {
                if('0'<=xjs[i]&&xjs[i]<='9')	xj=xj*10+(xjs[i]-'0');
                if(xjs[i]=='n')	 xj=100000;
            }
            for(ri i=1;i<=sjl;i++)
            {
                if('0'<=sjs[i]&&sjs[i]<='9')	sj=sj*10+(sjs[i]-'0');
                if(sjs[i]=='n')	 sj=100000;
            }
            
            if(xj>sj||notin[tot-1]==1)	notin[tot]=1;
            if(xj<sj&&sj-xj>50000&&notin[tot-1]==0)	 num[tot]=num[tot-1]+1;	
            else	num[tot]=num[tot-1];
        }
        if(f=='E')
        {
            book[(int)sta[tot]]=0;notin[tot]=0;cians=max(cians,num[tot]);
            tot--;
            if(tot<0)	flage=1;
        }
    }
    if(tot>0)
    {
        flage=1;	
        while(tot>0)	{ book[(int)sta[tot]]=0; notin[tot]=0; tot--; }
    }
    if(flage)	cout<<"ERR"<<'\n';
    if(!flage) 
    {
        if(cians==ci)	cout<<"Yes"<<'\n';
        if(cians!=ci)	cout<<"No"<<'\n';	
    }
}

int main()
{
    scanf("%d",&t);
    for(ri i=1;i<=t;i++)	work();
    return 0;
}