代码

#include<cstdio>
#include<cstring>
#include<iostream>
using namespace std;
int t,n,ans,st[100010][2],use[26];
char BuF[1<<26],*InF=BuF,p;
int read(int &x){
	for(;*InF<33||*InF=='^';++InF);
	for(x=0;47<*InF&&*InF<58;x=(x<<3)+(x<<1)+(*InF++^48));
	return(x);
}
char read(){
	for(;*InF<33;++InF);
	return(*InF++);
}
void readln(){
	while(*InF++!='\n');
}
int calc(int n){
	int re=0,mx=0,p=0,a,b;
	st[0][0]=0;
	for(int i=1;i<=n;readln(),++i){
		if(re==0){
			if(read()=='F'){
				if(use[st[++st[0][0]][0]=read()-97]++){
					re=-1;
				}else{
					if(!read(a)){
					    read();
						if(!read(b)){
							st[st[0][0]][1]=0;
						}else{
							st[st[0][0]][1]=-1;
						}
					}else{
						if(!read(b)){
							st[st[0][0]][1]=1;
						}else{
							st[st[0][0]][1]=(a<=b)-1;
						}
					}
					if(st[st[0][0]-1][1]==-1){
						st[st[0][0]][1]=-1;
					}else if(st[st[0][0]][1]==1){
						mx=max(mx,++p);
					}
				}
			}else{
			    --use[st[st[0][0]][0]];
				if(st[st[0][0]--][1]==1){
					--p;
				}
				if(st[0][0]<0){
					re=-1;
				}
			}
		}
	}
	return(re<0||st[0][0]?-1:mx);
}
int main(){
	fread(BuF,1,1<<26,stdin);
	for(read(t);t;--t){
		memset(use,0,sizeof(use));
		read(n);read();read();
		if(read()=='1'){
			ans=0;
		}else{
			read(ans);
		}
		readln();
		int sum=calc(n);
		printf(sum<0?"ERR\n":sum==ans?"Yes\n":"No\n");
	}
	fclose(stdin);
	fclose(stdout);
	return(0);
}

评测结果