题目1 : 正则表达式
时间限制:
1000ms
单点时限:
1000ms
内存限制:
256MB
-
010101101* (11|0*)* )*111
样例输出
-
yes yes no
描述
给定一个字符串,判断其是否为合法的正则表达式。
一个正则表达式定义为:
1:0是正则表达式,1也是正则表达式。
2:P和Q都是正则表达式,则PQ是正则表达式。
3:P是正则表达式,则(P)是正则表达式
4:P是正则表达式,则P*也是正则表达式
5:P和Q都是正则表达式,则P|Q是正则表达式。
输入
输入包含多组数据。
每组数据为一行一个字符串,长度不超过100。
输出
对于每组数据,如果输入是合法的正则表达式,输出yes,否则输出no。
用栈去判断(),剩余的暴力判断
如果(xx)成立,就令(xx)=11..11 视为1个表达式。
注意以下数据
() no
0|,0||,0||1,0|* no
)( no
#include<cstdio>
#include<cstring>
#include<cstdlib>
#include<algorithm>
#include<functional>
#include<iostream>
#include<cmath>
#include<cctype>
#include<ctime>
using namespace std;
#define For(i,n) for(int i=1;i<=n;i++)
#define Fork(i,k,n) for(int i=k;i<=n;i++)
#define Rep(i,n) for(int i=0;i<n;i++)
#define ForD(i,n) for(int i=n;i;i--)
#define RepD(i,n) for(int i=n;i>=0;i--)
#define Forp(x) for(int p=pre[x];p;p=next[p])
#define Forpiter(x) for(int &p=iter[x];p;p=next[p])
#define Lson (x<<1)
#define Rson ((x<<1)+1)
#define MEM(a) memset(a,0,sizeof(a));
#define MEMI(a) memset(a,127,sizeof(a));
#define MEMi(a) memset(a,128,sizeof(a));
#define INF (2139062143)
#define F (100000007)
#define MAXN (1000+10)
long long mul(long long a,long long b){return (a*b)%F;}
long long add(long long a,long long b){return (a+b)%F;}
long long sub(long long a,long long b){return (a-b+(a-b)/F*F+F)%F;}
typedef long long ll;
char s[MAXN];
int n,st[MAXN],tail;
bool check2(int a,int b)
{
bool now=0;
Fork(j,a+1,b-1)
{
if (s[j]=='0') now=1;
else if (s[j]=='*')
{
if (now==0) return 0;
}
else if (s[j]=='|')
{
if (now==0) return 0;
now=0;
}
}
if (s[b-1]=='|') return 0;
Fork(j,a,b) s[j]='0';
return 1;
}
bool check3(int a,int b)
{
bool now=0;
Fork(j,a,b)
{
if (s[j]=='0') now=1;
else if (s[j]=='*')
{
if (now==0) return 0;
}
else if (s[j]=='|')
{
if (now==0) return 0;
now=0;
}
}
if (s[b]=='|') return 0;
return 1;
}
bool check()
{
tail=0;
Rep(i,n)
if(s[i]=='1'||s[i]=='0') s[i]='0';
else if (s[i]!='('&&s[i]!=')'&&s[i]!='*'&&s[i]!='|') return 0;
Rep(i,n)
{
if (s[i]=='(') st[++tail]=i;
else if (s[i]==')')
{
if (!tail) return 0;
int a=st[tail--],b=i;
if (a+1==b) return 0;
if (!check2(a,b)) return 0;
}
}
if (tail) return 0;
if (!check3(0,n-1)) return 0;
return 1;
}
int main()
{
// freopen("regular.in","r",stdin);
while(scanf("%s",s)==1)
{
n=strlen(s);
if (n==0) break;
if (check()) cout<<"yes"<<endl;
else cout<<"no"<<endl;
}
return 0;
}