Codeforces 7E Defining Macros 题解

题意

给你一些宏定义，判断最后的式子是否能正确表达原来的意思

思路

首先，对读入进行处理，可以忽略#include，运用1至2次cin进行这一步，然后再cin一次读到宏定义名字，再getline得到宏定义表达式，进行一下去空格。然后对每一个宏定义先进行判断，分为4种情况：1、完全正确，2、完全不正确，3、只在与乘除相连或出现在减后的情况下不正确，4、只在出现在除后的情况下不正确。我们找到一个宏定义表达式的最后一个运算符（从右向左找加减，没有加减再从右向左找乘除），把式子分为两部分，如果两部分都是第2种情况，那整个式子也是第2种，除此以外，如果运算符为加，整个式子会是第3种情况，如果运算符为减，则仅当右部是3时，整体为2，否则整体为3，如果运算符为乘，则在两部分至少有一个为3时，整体为2，否则整体为3，如果运算符为除，则在两部分至少有一个为3或右部为4时，整体为2，否则整体为3。最后考虑一下没有运算符的情况，这种情况字符串是变量或常量，如果两端有括号，先去括号，然后检查一下前边的宏定义里有没有这个字符串，有的话这个字符串的情况就已知了，没有的话就是1。最后对最后那个式子进行整体判断，如果是2，就是不正确，否则就是正确

代码

#include <cstdio>#include <iostream>#include <string>#include <cstring>#include <map>using namespace std;map<string,int> mp;string s2;string s3;int judge(string s,int l,int r){    int add=0,x,y,f=0;    string ss;    for(int i=r;i>=l;i--)    {        if(s[i]=='(')            add++;        else if(s[i]==')')            add--;        else if(add==0&&f==0&&(s[i]=='*'||s[i]=='/'))            f=i;        else if(add==0&&(s[i]=='+'||s[i]=='-'))        {            x=judge(s,l,i-1);            y=judge(s,i+1,r);            if(x==2||y==2)                return 2;            if(s[i]=='+')                return 3;            else if(s[i]=='-')            {                if(y==3)                    return 2;                else return 3;            }        }    }    if(f!=0)    {        x=judge(s,l,f-1);        y=judge(s,f+1,r);        if(x==2||y==2)            return 2;        if(s[f]=='*')        {            if(x==3||y==3)                return 2;            else return 4;        }        else if(s[f]=='/')        {            if(x==3||y==3||y==4)                return 2;            else return 4;        }    }    else if(s[l]=='('&&s[r]==')')    {        if(judge(s,l+1,r-1)==2)            return 2;        else return 1;    }    else    {        ss="";        for(int i=l;i<=r;i++)            ss+=s[i];        if(mp[ss]!=0)            return mp[ss];        else return 1;    }}int main(){    int n;    string s;    cin>>n;    for(int i=0;i<n;i++)    {        cin>>s;        if(s[s.length()-1]=='#')            cin>>s;        cin>>s;        getline(cin,s2);        s3="";        for(int j=0;j<s2.length();j++)            if(s2[j]!=' ')                s3+=s2[j];        mp[s]=judge(s3,0,s3.length()-1);    }    getline(cin,s2);    s3="";    for(int j=0;j<s2.length();j++)        if(s2[j]!=' ')            s3+=s2[j];    if(judge(s3,0,s3.length()-1)!=2)        cout<<"OK"<<endl;    else cout<<"Suspicious"<<endl;    return 0;}