Constraint Checker hiho一下第176周

最新推荐文章于 2022-06-22 08:40:42 发布

原创最新推荐文章于 2022-06-22 08:40:42 发布 · 232 阅读

0 ·

CC 4.0 BY-SA版权

文章标签：

#acm

acm 专栏收录该内容

69 篇文章

订阅专栏

本文介绍了一种算法，用于判断给定变量值是否满足由小于号和小于等于号组成的表达式。通过将表达式分解为数字、变量和比较操作，并存储这些信息，可以高效地验证多个变量组合是否符合原始条件。

题意： 题目给出一组由小于号和小于等于号组成的表达式，表达式中可能有变量和数字。然后再给出几组对应的变量值，判断每一组给出的变量值是否符合表示式。

思路： 试想一下如果我们知道了所有变量的值，将其存下来，然后只需要对每个式子从左到右遍历判断一遍就得到结果了。存储数据时我的思路如下（拿样例举个例子）：
式子: A < B <= E
num: -1 -1 -1 //用 num 数组来存现有的数字，如果是变量则存入 -1
alph: A B E //用 alph 数组来存入当前的变量是哪个字母
eql: false true false //为 true 表示当前位的数或变量应小于等于下一位的数

代码：

#include<cstdio>
#include<cstring>
#include<cstdlib>
#include<stack>
#include<queue>
#include<utility>
#include<vector>
#include<cmath>
#include<set>
#include<map>
#include<iostream>
#include<algorithm>
#include<sstream>
using namespace std;
typedef long long LL;

int N, T;
int num[25][1000];
char alph[25][1000];
bool eql[25][1000];
int alphval[30];
char str[1000];
set<char> sset;

void Solve(int row)
{
    memset(num[row], 0, sizeof(num[row]));
    memset(alph[row], 0, sizeof(alph[row]));

    int len = strlen(str);
    for(int i=0; i<len; i++){
        if(str[i]>='A' && str[i]<='Z'){
            num[row][++num[row][0]] = -1;
            alph[row][num[row][0]] = str[i];
            sset.insert(str[i]);
        }
        else if(str[i]>='0' && str[i]<='9'){
            int sum = 0;
            while(i<len && str[i]>='0' && str[i]<='9'){
                sum *= 10;
                sum += str[i]-'0';
                i++;
            }
            i--;
            num[row][++num[row][0]] = sum;
        }
        else if(str[i] == '<'){
            if(str[i+1] == '='){
                eql[row][num[row][0]] = true;
                i++;
            }
            else{
                eql[row][num[row][0]] = false;
            }
        }
    }
}

bool Judge()
{
    for(int i=0; i<N; i++){
        int fro;
        for(int j=1; j<=num[i][0]; j++){
            if(j == 1){
                if(num[i][j] == -1){
                    fro = alphval[alph[i][j]-'A'];
                }
                else{
                    fro = num[i][j];
                }
            }
            else{
                int beh;
                if(num[i][j] == -1){
                    beh = alphval[alph[i][j]-'A'];
                }
                else{
                    beh = num[i][j];
                }
                if(eql[i][j-1]){
                    if(fro <= beh){
                        fro = beh;
                    }
                    else{
                        return false;
                    }
                }
                else{
                    if(fro < beh){
                        fro = beh;
                    }
                    else{
                        return false;
                    }
                }
            }
        }
    }
    return true;
}

int main()
{
    //freopen("in.txt", "r", stdin);
    while(scanf("%d", &N) == 1){
        sset.clear();

        for(int i=0; i<N; i++){
            scanf("%s", str);
            Solve(i);
        }

        scanf("%d", &T);
        getchar();
        for(int i=0; i<T; i++){
            char ch;
            int tmp;
            for(int j=0; j<sset.size(); j++){
                scanf("%c%d", &ch, &tmp);
                getchar();
                alphval[ch-'A'] = tmp;
            }

            if(Judge()){
                printf("Yes\n");
            }
            else{
                printf("No\n");
            }
        }
    }
    return 0;
}