HDU 5689 Problem E-CFANZ编程社区

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

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

Sample Output

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