hiho 挑战赛7(正则表达式-栈)

题目1 : 正则表达式

1000ms

1000ms

256MB

描述

给定一个字符串，判断其是否为合法的正则表达式。

 一个正则表达式定义为：

 1：0是正则表达式，1也是正则表达式。

 2：P和Q都是正则表达式，则PQ是正则表达式。

 3：P是正则表达式，则(P)是正则表达式

 4：P是正则表达式，则P*也是正则表达式

 5：P和Q都是正则表达式，则P|Q是正则表达式。

输入

输入包含多组数据。

每组数据为一行一个字符串，长度不超过100。

输出

对于每组数据，如果输入是合法的正则表达式，输出yes，否则输出no。

样例输入

010101101* (11|0*)* )*111

样例输出

yes 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;
}