【NOIP 2017 提高组 DAY1 T2】时间复杂度

【题目】

题目描述：

小明正在学习一种新的编程语言 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”表示循环体结束。循环体结束时，这个循环体新建的变量也被销毁。

注：本题中为了书写方便，在描述复杂度时，使用大写英文字母“O”表示通常意义下“Θ”的概念。

输入格式：

输入文件第一行一个正整数 t ，表示有 t（t ≤10）个程序需要计算时间复杂度。每个程序我们只需抽取其中“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”。

样例数据：

输入

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

输出

Yes
Yes
ERR
Yes
No
Yes
Yes
ERR

备注：

【输入输出样例1说明】
第一个程序 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。

 

【分析】

可恶的小明，学什么 A++

不得不说这道题挺恶心的，细节比较多

其实我觉得判断程序是否有语法错误要简单一些，就先说这个吧

• 对于错误①，很像括号匹配问题，用栈解决即可
• 对于错误②，用一个 bool 型数组记录一下每个字母是否出现过，若同一个字母在栈中出现了两次则有错误

刚才说到了，这道题我们用栈来做，每读到一个循环（即 F）就将它入栈，每读到一个 E 就出栈，用一个变量 sum 记录一下栈中O（n）复杂度循环的个数，那么最后的答案就是可行的 sum 中的最大值（下面会说到不可行的）

下面是一些细节问题（或者小技巧）：

• 如果一个循环执行不了（即 x > y），那么比它后入栈的循环也都执行不了，这时 sum 就不可行了
• 数据中有 x 和 y 都等于 n 的情况，这个时候是O（1）的复杂度
• 用 cin 读入单个字符的话不会读入空格或者换行那些

 

【代码】

#include<cctype>
#include<cstdio>
#include<cstring>
#include<iostream>
#include<algorithm>
#define N 105
#define oo 10000
using namespace std;
int sta[N],a[N];
bool can[N],used[30];
char s[10],var[N],num1[10],num2[10];
void init()
{
	memset(a,0,sizeof(a));
	memset(can,true,sizeof(can));
	memset(used,false,sizeof(used));
}
int get1(char *a)
{
	int i=4,ans=0;
	while(isdigit(a[i]))
	{
		ans=ans*10+a[i]-'0';
		i++;
	}
	return ans;
}
int get2(char *a)
{
	int i,l,num=0;
	if(a[0]=='n')
	  return oo;
	l=strlen(a);
	for(i=0;i<l;++i)
	  num=num*10+a[i]-'0';
	return num;
}
int main()
{
	char c;
	bool flag;
	int n,i,t,x,y;
	int top,num,sum,maxn;
	cin>>t;
	while(t--)
	{
		cin>>n>>s;
		init();
		num=get1(s);
		flag=true;
		top=0,sum=0,maxn=0;
		for(i=1;i<=n;++i)
		{
			cin>>c;
			if(c=='F')
			{
				cin>>var[i]>>num1>>num2;
				if(!flag)  continue;
				x=get2(num1);
				y=get2(num2);
				if(used[var[i]-'a'])
				  flag=false;
				sta[++top]=i;
				used[var[i]-'a']=true;
				if(x<y&&y==oo)  a[i]=1,sum++;
				if(x>y||!can[top-1])  can[top]=false;
			}
			else
			{
				if(!flag)  continue;
				if(top==0)  flag=false;
				used[var[sta[top]]-'a']=false;
				if(can[top])  maxn=max(maxn,sum);
				if(a[sta[top]])  sum--;
				can[top]=true;
				top--;
			}
		}
		if(top!=0)  flag=false;
		if(!flag)  cout<<"ERR"<<'\n';
		else
		{
			if(maxn==num)  cout<<"Yes"<<'\n';
			else  cout<<"No"<<'\n';
		}
	}
	return 0;
}