【NOIP2017提高组DAY1】时间复杂度题解

1.题目简介

题目描述

小明正在学习一种新的编程语言A++，刚学会循环语句的他激动地写了好多程序并给出了他自己算出的时间复杂度，可他的编程老师实在不想一个一个检查小明的程序，于是你的机会来啦！下面请你编写程序来判断小明对他的每个程序给出的时间复杂度是否正确。
A++语言的循环结构如下：
　　　Fixy
　　　　　循环体
　　　Ｅ
其中“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，表示有t（t≤10）个程序需要计算时间复杂度。
每个程序我们只需抽取其中“F i x y”和“E”即可计算时间复杂度。注意：循环结构允许嵌套。
接下来每个程序的第一行包含一个正整数L和一个字符串，L代表程序行数，字符串表示这个程序的复杂度，“Ο(1)”表示常数复杂度，“Ο(n^w)”表示复杂度为n^w，其中w是一个小于100的正整数（输入中不包含引号），输入保证复杂度只有Ο(1)和Ο(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”。

输入输出样例

输入样例#1：

8
2 O(1)
F i 1 1
E
2 O(n^1)
F x 1 n
E
1 O(1)
F x 1 n
4 O(n^2)
F x 5 n
F y 10 n
E
E
4 O(n^2)
F x 9 n
E
F y 2 n
E
4 O(n^1)
F x 9 n
F y n 4
E
E
4 O(1)
F y n 4
F x 9 n
E
E
4 O(n^2)
F x 1 n
F x 1 10
E
E

输出样例#1：

Yes
Yes
ERR
Yes
No
Yes
Yes
ERR

提示信息

第一个程序i从1到1是常数复杂度。
第二个程序x从1到n是n的一次方的复杂度。
第三个程序有一个F开启循环却没有E结束，语法错误。
第四个程序二重循环，n的平方的复杂度。
第五个程序两个一重循环，n的一次方的复杂度。
第六个程序第一重循环正常，但第二重循环开始即终止（因为n远大于100，100大于4）。
第七个程序第一重循环无法进入，故为常数复杂度。
第八个程序第二重循环中的变量x与第一重循环中的变量重复，出现语法错误②，输出ERR。
【数据规模与约定】
对于30%的数据：不存在语法错误，数据保证小明给出的每个程序的前L/2行一定为以F开头的语句，第L/2+1行至第L行一定为以E开头的语句，L<=10，若x、y均为整数，x一定小于y，且只有y有可能为n。
第于50%的数据：不存在语法错误，L<=100，且若x、y均为整数，x一定小于y，且只有y有可能为n。
对于70%的数据：不存在语法错误，L<=100。
对于100%的数据：L<=100。

2.算法分析与使用：

对于多重循环来说，我们考虑到使用栈来存储，F i x y就入栈，E就出栈，每个栈元素有三样东西，可以考虑使用结构体。

struct f{
	string sta;
	string end;
	char bian; 
}fo[100001];

sta:开始，end:结束，bian:变量名，fo用数组模拟栈。

cin>>T;
for(int p=1;p<=T;p++)
{
	int n,fot=0,maxn=0,lll=0;

T为数据组数，n为每组数据的行数，maxn即时间复杂度O(n^maxn)，lll为当出现语法错误时的标记变量。

int n,fot=0,maxn=0,lll=0;
memset(b,0,sizeof(b));
string ss;
cin>>n>>ss;
for(int i=1;i<=n;i++)
{
	char r;
	cin>>r;
	if(r=='E')
	{
		if(lll) continue;//有语法错误，跳过，但必须在输入之后
		b[fo[fot].bian]=0;//出现变量名为fo[fot].bian标记为0（退出了循环）
		if(c[fot]==1)//如果退出的这层是对时间复杂度没有贡献的即（常数——>常数）
		{
			m--;//时间复杂度差减一
			c[fot]=0;
		}
		fot--;
		if(fot<0)
		{
			maxn=-1e5,lll=1;
		}
		continue;
	}
	cin>>fo[++fot].bian;
	cin>>fo[fot].sta;
	cin>>fo[fot].end;//由于某些奇怪的东西，必须要将3个cin分开

if(lll) continue;
if(c[fot]==1)
{
	m--;
	c[fot]=0;
}//没有贡献的常数循环
if(b[fo[fot].bian])
{
	lll=1,maxn=-1e5;
	continue;
}//变量名曾出现过
else b[fo[fot].bian]=1;
if((fo[fot].sta!="n"&&fo[fot].end!="n"&&pd(fo[fot].end,fo[fot].sta)||(fo[fot].sta==fo[fot].end)))
{
	c[fot]=1,m++;
	continue;
}//判断常数循环，pd函数为比较字符串大小

            if(fo[fot].sta=="n"&&fo[fot].end!="n"||((fo[fot].sta!="n"&&fo[fot].end!="n")&&pd(fo[fot].sta,fo[fot].end)))//从大到小循环，如f i n 1 
			{
				int s=1;//s表示在凑数的循环层数
				b[fo[fot].bian]=0;
				while(s>=1&&i<=n)
				{
					i++;
					char x;
					string a,b,c;
					cin>>x;
					if(x=='\n') cin>>x;
					if(i==n&&((s>=1&&x!='E')||s>1))
					{
						if(x!='E')
						{
							cin>>a;
							cin>>b;
							cin>>c;
						}
						lll=1;
						break;
					}//走完了（末尾的常数循环没有结束）
					if(x=='E')
					{
						s--;
						continue;
					}
					cin>>a;
					cin>>b;
					cin>>c;
					s++;//尽管是在凑数，但也要输入
				}
				fot--;
			}

        memset(c,0,sizeof(c));
		m=0;
		if(fot!=0||lll) cout<<"ERR\n";
		if(fot!=0||lll) continue;
		string d;
		if(maxn==0) cout<<(ss=="O(1)"?"Yes\n":"No\n");
		else 
		{
			stringstream sstr;int x;
		    sstr<<maxn;
		    string str=sstr.str();
		    cout<<(ss==("O(n^"+str+")")?"Yes\n":"No\n");
		}

即简单的输出

3.完整代码

#include<bits/stdc++.h>
using namespace std;
struct f{
	string sta;
	string end;
	char bian; 
}fo[100001];
int b[30000],c[30000];
int T,m=0;
bool pd(string x,string y)
{
	if(x.length()>y.length()) return 1;
	if(x.length()<y.length()) return 0;
	for(int i=0;i<x.length();i++)
	{
		if(x[i]>y[i]) return 1;
		if(x[i]<y[i]) return 0; 
	}
}
int main()
{
	cin>>T;
	for(int p=1;p<=T;p++)
	{
		int n,fot=0,maxn=0,lll=0;
		memset(b,0,sizeof(b));
		string ss;
		cin>>n>>ss;
		for(int i=1;i<=n;i++)
		{
			char r;
			cin>>r;
			if(r=='E')
			{
				if(lll) continue;
				b[fo[fot].bian]=0;
				if(c[fot]==1)
				{
					m--;
					c[fot]=0;
				}
				fot--;
				if(fot<0)
				{
					maxn=-1e5,lll=1;
				}
				continue;
			}
			cin>>fo[++fot].bian;
			cin>>fo[fot].sta;
			cin>>fo[fot].end;
			if(lll) continue;
			if(c[fot]==1)
			{
				m--;
				c[fot]=0;
			}
			if(b[fo[fot].bian])
			{
				lll=1,maxn=-1e5;
				continue;
			}
			else b[fo[fot].bian]=1;
			if((fo[fot].sta!="n"&&fo[fot].end!="n"&&pd(fo[fot].end,fo[fot].sta)||(fo[fot].sta==fo[fot].end)))
			{
				c[fot]=1,m++;
				continue;
			}
			if(fo[fot].sta=="n"&&fo[fot].end!="n"||((fo[fot].sta!="n"&&fo[fot].end!="n")&&pd(fo[fot].sta,fo[fot].end)))
			{
				int s=1;
				b[fo[fot].bian]=0;
				while(s>=1&&i<=n)
				{
					i++;
					char x;
					string a,b,c;
					cin>>x;
					if(x=='\n') cin>>x;
					if(i==n&&((s>=1&&x!='E')||s>1))
					{
						if(x!='E')
						{
							cin>>a;
							cin>>b;
							cin>>c;
						}
						lll=1;
						break;
					}
					if(x=='E')
					{
						s--;
						continue;
					}
					cin>>a;
					cin>>b;
					cin>>c;
					s++;
				}
				fot--;
			}
			maxn=max(maxn,fot-m);
		}
		memset(c,0,sizeof(c));
		m=0;
		if(fot!=0||lll) cout<<"ERR\n";
		if(fot!=0||lll) continue;
		string d;
		if(maxn==0) cout<<(ss=="O(1)"?"Yes\n":"No\n");
		else 
		{
			stringstream sstr;int x;
		    sstr<<maxn;
		    string str=sstr.str();
		    cout<<(ss==("O(n^"+str+")")?"Yes\n":"No\n");
		}
	}
	return 0;
}