HDU 5689 Problem E

Problem Description

小度熊是一个尽职尽责的程序熊，每天产出数千行的代码，代码当中存在很多判断条件。度熊想让自己代码中的这些条件不存在交集。为了简化问题，一个条件可以是一个『简单条件』或者是一个『复合条件』，简单条件由『变量』、『比较符』和『运算数』组成，其中『变量』是用小写字符表示的一串字符，『运算数』仅为整数，『运算符』包括：<、>、<=、>=、==。分别代表：小于、大于、小于等于、大于等于和等于关系。简单条件的格式固定，左边为变量名，中间为操作符，右边为数字。若干个『简单条件』中间通过英文逗号组成一个『复合条件』，各『简单条件』之间是逻辑与的关系，例如：

简单条件： a > 100

复合条件: duxiong < 1000 , a > 100

 

Input

这里包括一组测试数据，第一行一个正整数 N(1≤N≤1000)，接下来 N 行，每行一个条件，条件可能是一个『简单条件』或者是一个『复合条件』。其中『变量』不会超过30个字符，『运算数』的绝对值在10,000以内。测试数据中，不同变量的数量不会超过30个。其中『变量』、『比较符』和『运算数』
之前和之后都有可能出现若干空格字符。所有简单规则都是按照『变量』『比较符』『运算数』这样的顺序定义的，没有特例。

 

Output

对于第 i 个条件，输出其与前 i−1个条件是否存在交集非空的情况。如果不存在交集非空的其他条件，输出一行字符串：『unique』。否则按照从小到大的顺序输出与其存在非空交集的条件的编号，编号之间用空格分隔，最后一个编号末尾不加空格。各条件从1−N编号。

 

Sample Input

4a < 100c > 99b > 100 , b == 99 , c < 98a < 1000, a >= 99

 

Sample Output

unique1unique1 2
问每个条件和之前的条件是否有交集，先把所有的变量名存下来，
然后去看每个条件对应的变量的取值范围是多少。
然后只要看看两个条件的同一变量是否有合法的取值即可。
#include<cstdio>#include<string>#include<map>#include<cstring>#include<algorithm>using namespace std;typedef long long LL;const int maxn = 1e3 + 10;map<string, int> M;char s[maxn * 100];string x, y;int n, t, z, f;struct point{int l[31], r[31], flag;void read(){flag = 1;for (int i = 1; i <= 30; i++) l[i] = -10001, r[i] = 10001;gets(s);for (int i = 0; s[i]; ){if (s[i] == ' ' || s[i] == ',') { i++; continue; }x = "";    y = "";    z = 0;    f = 1;while (s[i] != ' ') x += s[i++];while (s[i] == ' ') ++i;while (s[i] != ' ') y += s[i++];while (s[i] == ' ') ++i;if (s[i] == '-') ++i, f = -1;while (s[i] >= '0'&&s[i] <= '9') z = z * 10 + s[i++] - '0';z = z*f;int now = M[x];if (!now) now = M[x] = ++t;if (y == "<") r[now] = min(r[now], z - 1);else if (y == ">") l[now] = max(l[now], z + 1);else if (y == "<=") r[now] = min(r[now], z);else if (y == ">=") l[now] = max(l[now], z);else l[now] = max(l[now], z), r[now] = min(r[now], z);if (l[now] > r[now]) flag = 0;}}}a[maxn];bool check(point a, point b){if (a.flag + b.flag != 2) return false;for (int i = 1; i <= t; i++){if (max(a.l[i], b.l[i]) > min(a.r[i], b.r[i])) return false;}return true;}int main(){while (scanf("%d", &n) != EOF){gets(s);M.clear();    t = 0;for (int i = 1; i <= n; i++) a[i].read();for (int i = 1; i <= n; i++){int flag = 0;for (int j = 1; j < i; j++){if (check(a[i], a[j])){if (flag) printf(" ");printf("%d", j);flag = 1;}}if (!flag) printf("unique");printf("\n");}}return 0;}