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