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

  
  

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