[SYSU 1927][BNUOJ 27487] Conflict [传递闭包+Floyd]

给定一些变量的关系，关系有大于，小于，大于等于，小于等于，等于，不等于，问这些关系是否合法，即，是否存在一组值满足这些关系

用Floyd求传递闭包

解法1：用0～7表示两个变量之间的关系，其中0表示不合法，7表示不确定，Floyd计算过后，如果关系矩阵里有0出现，即不合法，即不存在一组值，否则存在

解法2：将大于和小于统一成小于，将大于，小于，大于等于，小于等于，等于统一成小于等于，然后对这两个关系矩阵(这里就是01矩阵了)求传递闭包，然后再判断是否合法。在小于矩阵里，若有对称点出现，则不合法。在小于等于矩阵里，若有对称点出现，则该两点不能出现在小于矩阵里，且不能有不等于关系。

这里使用的是解法1

#include <cstdio>
#include <string>
#include <iostream>
#include <map>

using namespace std;

int tran[8][8]={
	{0,0,0,0,0,0,0,0},
	{0,1,2,3,4,5,6,7},
	{0,2,2,2,7,7,7,7},
	{0,3,2,3,7,7,7,7},
	{0,4,7,7,4,4,7,7},
	{0,5,7,7,4,5,7,7},
	{0,6,7,7,7,7,7,7},
	{0,7,7,7,7,7,7,7}
};

inline int get(string str) {
	if (str==">") return 4;
	if (str==">=") return 5;
	if (str=="<") return 2;
	if (str=="<=") return 3;
	if (str=="=") return 1;
	if (str=="!=") return 6;
	return 0;
}
inline int opp(int x) {
	if (x==1) return 1;
	if (x==2) return 4;
	if (x==3) return 5;
	if (x==4) return 2;
	if (x==5) return 3;
	if (x==6) return 6;
	if (x==7) return 7;
	return 0;
}

string str;
int cas=0,count;
map <string,int> c;
int a[201][201];

void init() {
	count=1;
	c.clear();
	for (int i=1;i<=200;i++) {
		for (int j=1;j<=200;j++) {
			a[i][j]=7;
		}
		a[i][i]=1;
	}
}

inline void putedge(int x,int y,int z) {
	a[x][y]&=z;
}

void printM() {
	for (int i=1;i<count;i++) {
		for (int j=1;j<count;j++)
			printf("%d ",a[i][j]);
		printf("\n");
	}
}

void print() {
	printf("Case%d: ",cas-1);
	int i,j,k;
	for (k=1;k<count;k++) {
		for (i=1;i<count;i++) {
			for (j=1;j<count;j++) {
				a[i][j]=a[i][j]&tran[a[i][k]][a[k][j]];
			}
		}
	}
	//printM();
	bool ans=true;
	for (i=1;i<count;i++)
		for (j=1;j<count;j++)
			if (a[i][j]==0) ans=false;
	if (ans==true) printf("YES\n");
	else printf("NO\n");
}

int main() {
	init();
	while (cin>>str) {
		if (str[str.length()-1]==':') {
			cas++;
			if (cas!=1) print();
			init();
		} else {
			int x,y,z;
			if (c[str]==0) c[str]=count++;
			x=c[str];
			cin >> str;
			z=get(str);
			cin >> str;
			if (c[str]==0) c[str]=count++;
			y=c[str];
			putedge(x,y,z);
			putedge(y,x,opp(z));
		}
		//printM();
	}
	cas++;
	print();
	return 0;
}