JZOJsenior5474.【NOIP2017提高组】day1T2时间复杂度
来源:互联网 发布:车座套什么材质好 知乎 编辑:程序博客网 时间:2024/06/05 11:23
problem
Description
小明正在学习一种新的编程语言 A++,刚学会循环语句的他激动地写了好多程序并给出了他自己算出的时间复杂度,可他的编程老师实在不想一个一个检查小明的程序,于是你的机会来啦!下面请你编写程序来判断小明对他的每个程序给出的时间复杂度是否正确。 A++语言的循环结构如下:
其中“ 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”表示通常意义下“Θ”的概念。
Input
输入文件第一行一个正整数 t,表示有 t(t ≤ 10)个程序需要计算时间复杂度。每个程序我们只需抽取其中 “F i x y” ” 和“ “E” ”即可计算时间复杂度 。 注意: 循环结构允许嵌套 。 接下来每个程序的第一行包含一个正整数 L 和一个字符串,L 代表程序行数,字符串表示这个程序的复杂度,“O(1)”表示常数复杂度,“O(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”开头,则表示循环体结束。
Output
输出文件共 t 行,对应输入的 t 个程序,每行输出“Yes”或“No”或者“ERR”(输出中不包含引号),若程序实际复杂度与输入给出的复杂度一致则输出“Yes”,不一致则输出“No”,若程序有语法错误(其中语法错误只有: ① F 和 E 不匹配 ②新建的变量与已经存在但未被销毁的变量重复两种情况),则输出“ERR”。 注意:即使在程序不会执行的循环体中出现了语法错误也会编译错误,要输出“ERR”。
Sample Input
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
Sample Output
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。
Data Constraint
对于 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。
analysis
CCF为了送我们分要我们打个编译器太恶心了
一眼栈模拟题
奇诡的是,大部分纪中OIers只扫了一遍**时间复杂度**O(m)就解决了
(不执行有语法错误也输出ERR)我觉得很eggsache,于是就
第一遍,check一下有木有语法错误,这个真的很简单
第二遍是initialization,处理一下每个F对应哪个E(其实前两个可以合并在一起)
第三个就是solve了,对于每个F循环有五种情况:
- x和y都为常数且x≤y:
O(1) 循环 - x和y都为常数且x>y:不循环,直接跳到循坏尾
- x为常数且y为n:
O(n) 循环 - x为n且y为常数:不循环,直接跳到循环尾
- x和y都为n:
O(1) 循环
对于进入每个循环,用栈模拟
每进入一个
这样既可在
(gmh:蛤我比较常数拿字符串来比较我好方啊)
code
150lines4500+bytes码农题毁我青春
拿c++打这种题是很容易GG的
var bz:array['a'..'z']of boolean; stack:array[0..1000]of char; stack1,next:array[0..1000]of longint; a:array[0..1000]of string; n,m,i,j,k,top,xx,yy,ans:longint; temp:char; s:string;function max(x,y:longint):longint;begin if x>y then exit(x); exit(y);end;function check:boolean;var i:longint;begin fillchar(bz,sizeof(bz),true); fillchar(stack,sizeof(stack),0); top:=0; if (m mod 2=1)or(a[1][1]='E') then exit(false); for i:=1 to m do begin if a[i][1]='F' then begin if not bz[a[i][3]] then exit(false); bz[a[i][3]]:=false; inc(top); stack[top]:=a[i][3]; end else begin bz[stack[top]]:=true; dec(top); if top<0 then exit(false); end; end; if top>0 then exit(false); exit(true);end;procedure init;var i:longint;begin top:=0; fillchar(stack1,sizeof(stack1),0); for i:=1 to m do begin if a[i][1]='F' then begin inc(top); stack1[top]:=i; end else begin next[stack1[top]]:=i; dec(top); end; end;end;procedure turn(st:string;var x,y:string);begin delete(st,1,4); x:=copy(st,1,pos(' ',st)-1); delete(st,1,pos(' ',st)); y:=st;end;function solve:longint;var i,mx:longint; x,y:string;begin fillchar(stack,sizeof(stack),0); top:=0; solve:=0; mx:=0; i:=0; while i<m do begin inc(i); if a[i][1]='F' then begin inc(top); turn(a[i],x,y); if (x<>'n')and(y<>'n') then begin val(x,xx); val(y,yy); if xx<=yy then begin stack[top]:='0'; end else begin dec(top); i:=next[i]; end; end else if (x<>'n')and(y='n') then begin stack[top]:='1'; inc(mx); solve:=max(solve,mx); end else if (x='n')and(y<>'n') then begin dec(top); i:=next[i]; end else if (x='n')and(y='n')then begin stack[top]:='0'; end; end else begin if stack[top]='1' then dec(mx); dec(top); end; end; exit(solve);end;begin assign(input,'complexity.in');reset(input); assign(output,'complexity.out');rewrite(output); readln(n); for k:=1 to n do begin readln(m,temp,s); for i:=1 to m do readln(a[i]); if not check then writeln('ERR') else begin fillchar(next,sizeof(next),0); init; if s[3]='n' then begin val(copy(s,pos('^',s)+1,length(s)-pos('^',s)-1),ans); if ans=solve then writeln('Yes') else writeln('No'); end else begin if solve=0 then writeln('Yes') else writeln('No'); end; end; end; close(input);close(output);end.
- JZOJsenior5474.【NOIP2017提高组】day1T2时间复杂度
- NOIP2017提高组D1T2[时间复杂度]
- JZOJ 5474. 【NOIP2017提高组正式赛】时间复杂度
- 5474. 【NOIP2017提高组正式赛】时间复杂度
- 【提高组NOIP2017】时间复杂度 题解 分治系统处理
- 【NOIP2017】时间复杂度
- NOIP2017 D1T2 时间复杂度
- 信息传递(NOIP2015提高组Day1T2)
- NOIP2012提高组day1T2国王游戏 题解
- [NOIP2015提高组Day1T2]信息传递_强联通分量
- 天天爱跑步(NOIP2016提高组Day1T2)
- 5329. 【NOIP2017提高A组模拟8.22】时间机器 map
- JZOJ 5329. 【NOIP2017提高A组模拟8.22】时间机器
- 【NOIP2017提高A组模拟8.22】时间机器
- 【JZOJ5329】【NOIP2017提高A组模拟8.22】时间机器
- 【NOIP2017提高组】轰炸
- Noip2017提高组Day1
- NOIP2017提高组游记
- Android检查网络连接状态
- JDBC基本概念2
- Mac 系统文本操作快捷键
- 解决win10与Ubuntu双系统开机不能进入win10问题
- 上机练习题——异常处理
- JZOJsenior5474.【NOIP2017提高组】day1T2时间复杂度
- js怎样读取json里面的数据
- 内存泄漏
- 关于HTTP协议,一篇就够了
- SVM——(五)线性不可分之核函数
- LAMP搭建Discuz总结
- JavaScript 二级菜单联动
- oracle job 实例 :每天凌晨2点调用过程删日志。
- codeforces891B Gluttony题解