usaco 4.1.4 Cryptcowgraphy 搜索剪枝

又是一道搞得我头晕的题，也是看解题报告才会做的。

刚开始还是用宽搜，超内存了，我还以为这道题宽搜和深搜都一样。

题目的大意：给你一串字符让你判断能否通过交换COW中的CO和OW之间的字符然后去掉COW 这种变换变成原来的那串字符；

剪枝：

1  字符串哈希函数，判断是否已经出现过这种字符串。我刚开始是用STL中的SET去判断的，到了第9组数据就不行了。看书对字符串HASH也不熟，都是网上找的代码的。

2  判断在COW这些字母之间的字符串是不是在原串中有。

3   在出现第一个C的前面是不是完全和原串相同，还有从后面往前是不是也是在第一个出现W之前是不是和原串相同。

4  枚举的顺序先枚举O然后从前往后枚举C从后往前枚举W，我是先记录每个COW的位置，不记录也行吧。

5  其他剪枝我觉得都不是很重要像COW的个数相等，原串和匹配串的每个字母的个数相等。

 

代码：

/* ID: mnlm1991 PROG: cryptcow LANG: C++ */ #include<cstdio> #include<cstdlib> #include<cmath> #include<cstring> #include<vector> #include<algorithm> #include<string> #include<map> #include<set> #include<bitset> #include<queue> #include<iostream> using namespace std; const string sta = "Begin the Escape execution at the Break of Dawn"; const char letter[] = {'C', 'O', 'W'}; const int MOD = 99991; int hash[MOD]; bool visited[MOD]; string str; unsigned int BKDRHash(string str) { unsigned int seed = 131; // 31 131 1313 13131 131313 etc.. unsigned int hash = 0; int i = 0; while (i < str.size()) { hash = hash * seed + str[i++]; } return (hash & 0x7fffffff); } int Hash(int x) { int y = x % MOD; if (hash[y] == x) { return y; } else if (hash[y] == -1) { hash[y] = x; return y; } else { return Hash(y + 1); } } bool ishave(string str) { int i; int j; for (i = 0; i < sta.size(); i++) { for (j = 0; j < str.size(); j++) { if (i + j >= sta.size() || sta[i + j] != str[j]) { break; } } if (j == str.size()) { return true; } } return false; } bool DFS(string str) { if (sta == str) { return true; } int i; int j; int k; int w; int cnt[3]; int loca[3][10]; string strr; memset(cnt, 0, sizeof(cnt)); for (i = 0; i < str.size(); i++) { if (str[i] != sta[i]) { if (str[i] != 'C') { return false; } break; } } for (i = str.size() - 1, j = sta.size() - 1; i >= 0; i--, j--) { if (str[i] != sta[j]) { if (str[i] != 'W') { return false; } break; } } strr.clear(); for (i = 0; i < str.size(); i++) { for (j = 0; j < 3; j++) { if (str[i] == letter[j]) { if (!ishave(strr)) { return false; } strr.clear(); loca[j][cnt[j]++] = i; break; } } if (j == 3) { strr.push_back(str[i]); } } if (!str.empty() && !ishave(strr)) { return false; } for (j = 0; j < cnt[1]; j++) { for (i = 0; i < cnt[0]; i++) { if (loca[0][i] > loca[1][j]) { break; } for (k = cnt[2] - 1; k >= 0; k--) { if (loca[2][k] < loca[1][j]) { break; } strr.clear(); for (w = 0; w < loca[0][i]; w++) { strr.push_back(str[w]); } for (w = loca[1][j] + 1; w < loca[2][k]; w++) { strr.push_back(str[w]); } for (w = loca[0][i] + 1; w < loca[1][j]; w++) { strr.push_back(str[w]); } for (w = loca[2][k] + 1; w < str.size(); w++) { strr.push_back(str[w]); } int ttt = Hash(BKDRHash(strr)); if (!visited[ttt]) { visited[ttt] = true; if (DFS(strr)) { return true; } } } } } return false; } int main() { freopen("cryptcow.in", "r", stdin); freopen("cryptcow.out", "w", stdout); int ccnt[2][128]; while (getline(cin, str)) { int i; memset(hash, -1, sizeof(hash)); memset(visited, 0, sizeof(visited)); memset(ccnt, 0, sizeof(ccnt)); for (i = 0; i < sta.size(); i++) { ccnt[0][sta[i]]++; } for (i = 0; i < str.size(); i++) { ccnt[1][str[i]]++; } for (i = 0; i < 128; i++) { if (ccnt[0][i] != ccnt[1][i] && i != 'C' && i != 'O' && i != 'W') { break; } } if (i != 128 || ccnt[1]['C'] != ccnt[1]['O'] || ccnt[1]['O'] != ccnt[1]['W'] || ccnt[1]['C'] * 3 + sta.size() != str.size()) { printf("0 0/n"); continue; } int ans = ccnt[1]['C']; if (!DFS(str)) { printf("0 0/n"); } else { printf("1 %d/n", ans); } } return 0; }