例题6-19 自组合（Self-Assembly, ACM/ICPC World Finals 2013, UVa 1572）

0. 由于可以无限翻转与旋转，故永不相交。
1. 这不应该是无向图才对么？无向图该怎么判环啊。。orz。。
2. 自环会被判成环么？会被判环，并且是可行的解，例如A+A-。
3. 想过初始化A+到A-的边，可是A-到A+的情况呢？无向图好像不可行。。
4. 与1进行亦或操作为了仅仅改变最后一位。
5. 如果两个正方形可以相连接，则互相可以到达所拥有的其他任意边。
6. 用有向图来建图，对每个存在的节点，假设某个节点指向它，建立边，
故所有入度不为零的点都是可达的，dfs判环即可。

#include <iostream>
#include <string>
#include <vector>
#include <stack>
#include <queue>
#include <deque>
#include <set>
#include <map>
#include <algorithm>
#include <functional>
#include <utility>
#include <cstring>
#include <cstdio>
#include <cstdlib>
#include <ctime>
#include <cmath>
#include <cctype>
#define CLEAR(a, b) memset(a, b, sizeof(a))
#define IN() freopen("in.txt", "r", stdin)
#define OUT() freopen("out.txt", "w", stdout)
#define LL long long
#define maxn 55
#define maxm 1005
#define mod 1000000007
#define INF 1000000007
#define eps 1e-5
#define PI 3.1415926535898
#define N 26
using namespace std;
//-------------------------CHC------------------------------//
int G[maxn][maxn];
int vis[maxn];

int id(char a, char b) {
	int ret = a - 'A';
	return (b == '+') ? (ret*2 + 1) : ret*2;
}

void link(char s1, char s2, char s3, char s4) {
	if (s1 == '0' || s3 == '0') return;
	int u = id(s1, s2)^1, v = id(s3, s4);
	G[u][v] = 1;
}

bool dfs(int u) {
	vis[u] = -1;
	for (int i = 0; i < 52; ++i) {
		if (G[u][i]) {
			if (vis[i] == -1) return true;
			else if (!vis[i] && dfs(i)) return true;
		}
	}
	vis[u] = 1;
	return false;
}

bool have_circle() {
	CLEAR(vis, 0);
	for (int i = 0; i < 52; ++i) {
		if (!vis[i] && dfs(i)) return true;
	}
	return false;
}

int main() {
	int n;
	while (~scanf("%d", &n) && n) {
		CLEAR(G, 0);
		char s[10];
		for (int i = 0; i < n; ++i) {
			scanf("%s", s);
			for (int j = 0; j < 4; ++j) {
				for (int k = 0; k < 4; ++k) {
					if (k == j) continue;
					link(s[j << 1], s[j << 1 | 1], s[k << 1], s[k << 1 | 1]);
				}
			}
		}
		puts(have_circle() ? "unbounded" : "bounded");
	}
	return 0;
}