1353: #2315. 「NOIP2017」时间复杂度

Memory Limit:256 MB Time Limit:1.000 S
Judge Style:Text Compare Creator:
Submit:0 Solved:0

Description

给出了他自己算出的时间复杂度,可他的编程老师实在不想一个一个检查小明的程序,于是你的机会来啦!下面请你编写程序来判断小明对他的每个程序给出的时间复杂度是否正确。 A++A++A++ 语言的循环结构如下:

F i x y
    循环体
E

然后判断 iiiyyy 的大小关系,若 iii 小于等于 yyy 则进入循环,否则不进入。每次循环结束后i都会被修改成 i+1i +1i+1,一旦 iii 大于 yyy 终止循环。 xxxyyy 可以是正整数(xxxyyy 的大小关系不定)或变量 nnnnnn 是一个表示数据规模的变量,在时间复杂度计算中需保留该变量而不能将其视为常数,该数远大于 100100100E表示循环体结束。循环体结束时,这个循环体新建的变量也被销毁。
注:本题中为了书写方便,在描述复杂度时,使用大写英文字母 OOO 表示通常意义下 Θ\ThetaΘ 的概念。

输入格式

输入文件第一行一个正整数 ttt,表示有 t(t≤10)t(t\le 10)t(t10) 个程序需要计算时间复杂度。

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

接下来每个程序的第一行包含一个正整数 LLL 和一个字符串,LLL 代表程序行数,字符串表示这个程序的复杂度,O(1)表示常数复杂度,O(n^w) 表示复杂度为 nwn^wnw,其中 www 是一个小于 100100100 的正整数(输入中不包含引号),输入保证复杂度只有 O(1)O(n^w) 两种类型。

接下来 LLL 行代表程序中循环结构中的 F i x y 或者 E。 程序行若以 F 开头,表示进入一个循环,之后有空格分离的三个字符(串)i x y,其中 iii 是一个小写字母(保证不为 n ),表示新建的变量名,xxxyyy 可能是正整数或 n ,已知若为正整数则一定小于 100100100。 程序行若以 E开头,则表示循环体结束。

输出格式

输出文件共 ttt 行,对应输入的 ttt 个程序,每行输出YesNo或者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

样例说明

  • 第一个程序 iii111111 是常数复杂度。
  • 第二个程序 xxx111nnnnnn 的一次方的复杂度。
  • 第三个程序有一个 F 开启循环却没有E结束,语法错误。
  • 第四个程序二重循环,nnn 的平方的复杂度。
  • 第五个程序两个一重循环,nnn 的一次方的复杂度。
  • 第六个程序第一重循环正常,但第二重循环开始即终止(因为 nnn 远大于 100100100100100100 大于 444)。
  • 第七个程序第一重循环无法进入,故为常数复杂度。
  • 第八个程序第二重循环中的变量 xxx 与第一重循环中的变量重复,出现语法错误②,输出 ERR

数据范围与提示

对于 30%30\%30% 的数据:不存在语法错误,数据保证小明给出的每个程序的前 L/2L/2L/2 行一定为以 F 开头的语句,第 L/2+1L/2+1L/2+1 行至第 LLL 行一定为以 E 开头的语句,L≤10L\le 10L10,若 x,yx,yx,y 均为整数,xxx 一定小于 yyy,且只有 yyy 有可能为 n

对于 50%50\%50% 的数据:不存在语法错误,L≤100L\le 100L100,且若 x,yx,yx,y 均为整数,xxx 一定小于 yyy,且只有 yyy 有可能为 n

对于 70%70\%70% 的数据:不存在语法错误,L≤100L\le 100L100

对于 100%100\%100% 的数据:t≤10,L≤100t\le 10,L\le 100t10,L100