UVA - 310 L--system 隐式图搜索

题目大意：给你4个字符串，a,b,w,z，问经过一定的操作后，w字符串能不能变成z字符串，操作是：1.如果w字符串中有字符'a'，就可以把’a‘替换成字符串a

2.如果w字符串中有字符'b'，就可以把'b'替换成字符串b

解题思路：将w字符串中的所有'a'和'b'替换成响应的字符串，然后再判断最终的字符串是否含有字符串z，其实这题我也不懂为什么要这么做，好像是个定理把，附大神的解析点击打开链接

#include<cstdio>
#include<cstring>
#define maxn 16
const int maxm = 1 << 16;
char a[maxn], b[maxn], w[maxn], z[maxn];
int vis[maxm],ans;
char q[maxm][maxn];
int hash(char str[]) {
	int len = strlen(str), t = 0;
	for(int i = 0 ; i < len; i++)
		t = t * 2 + str[i] - 'a' + 1;
	return t % maxm;
}

void init() {

	scanf("%s%s%s",b,w,z);
	memset(vis,0,sizeof(vis));
	memset(q,0,sizeof(q));
	ans = hash(z);
}

bool BFS() {
	init();
	int front = 0, rear = 0;
	int i ,j ,k ,t;
	for(i = 0; w[i] ; i++)  {
		for(k = 0, j = i; w[j] && z[k]; j++,k++) 
			q[rear][k] = w[j];

		q[rear][k] = '\0';
		t = hash(q[rear]);
		if(t == ans) 
			return true;
		if(!vis[t]) {
			vis[t] = 1;
			rear++;
		}	
	}
	char temp[200];
	while(front < rear) {
		for(i = 0, k = 0; q[front][i]; i++) {
			if(q[front][i] == 'a')
				for(j = 0; a[j]; j++)
					temp[k++] = a[j];
			else
				for(j = 0; b[j]; j++)
					temp[k++] = b[j]; 		
		}
		temp[k] = '\0';
		
		for(i = 0; temp[i]; i++) {
			for(k = 0, j = i; temp[j] && z[k]; j++, k++) 
				q[rear][k] = temp[j];	

			q[rear][k] = 0;
			t = hash(q[rear]);
			if(t == ans) 
				return true;
			if(!vis[t]) {
				vis[t] = 1;	
				rear++;
			}
		}
		front++;
	}
	return false;
}

int main() {
	while(scanf("%s",a) != EOF) {
		if( BFS() )
			printf("YES\n");
		else
			printf("NO\n");
	}
	return 0;
}