[EOJ][382][Match Maker][KMP]

  
    

   
     /*
题目：Match Maker
题目来源：EOJ 382
题目难度：中等偏难
题目内容：KMP（模糊匹配）
 给出一个模板串和一系列待匹配串，长度小于等于100000。
 模板串中含有的字符包括'0'-'9'、'*'、'#'。其中'*'匹配偶数个字符，
 '#'匹配奇数个字符；如"1*3"，匹配"1223"，不匹配"123"。存在连续多
 个'*''#'时，匹配字符个数只看奇偶，如"1*#3"等价于"1#3"，"1**3"等
 价于"1*3"。判断后面给出的字符串是否匹配模板串。
解题思路：
 把模板串按'*''#'分割开来，并以'*''#'为前缀。比如"1212*34534#78"
 分割为"1212"+"*34534"+"#78"。然后每一小段分别建立fail指针，建
 fail指针时不必考虑'*''#'。待匹配串从第一小段开始一段段匹配，当
 某段匹配成功时，还需要判断前缀是否符合'*''#'的奇偶性。当所有的
 小段都匹配成功时，才算完全匹配。比如字符串"12121345345347887878"
 匹配刚才的模板串
 匹配方式： "1212" "*34534" "#78"
 "1212" "134534534" "7887878"
 注意的细节：
 给每一小段建立fail指针时，不需要开多个数组，只要用一个即可。
 并且在最后一个字符的后面再建一个指针，这样匹配成功后判断出不符
 合奇偶条件时可以继续匹配。
 比如 模板串 ：1 2 1 2 * 3 4 5 3 4 # 7 8
 fail指针：0 1 1 2 3 0 1 1 1 2 3 0 1 1
 另外，匹配的时候，先把首尾连续的数字串匹配掉，这样可以做到精确
 匹配。比如"1212*34534#78"和"12121345345347887878"匹配的时候，
 可能匹配的方式为
 "1212" "*34534" "#78"
 "1212" "134534534" "78878" "78"
 待匹配串多出了一个"78"，这时就会判断为不能完全匹配
 先把首尾的"1212"和"78"匹配掉，剩下"*34534#"和"13453453478878"
 匹配时就不会有问题了。
做题日期：2011.4.27
*/
#include <cstdio>
#include <cstdlib>
#include <climits>
#include <iostream>
#include <algorithm>
#include <cstring>
#include <string>
#include <queue>
#include <map>
#include <vector>
#include <bitset>
#include <cmath>
#include <set>
#include <utility>
#include <ctime>
#define sqr(x) ((x)*(x))
using namespace std;

const int N = 100010;
char pat[N], str[N];
int fail[N];

int makefail(char *t, int fail[]) {
 --t; int i, j;
 for (i = 1, j = 0; isdigit(t[i]); ++i, ++j) {
 fail[i] = j;
 while (j > 0 && t[i] != t[j]) j = fail[j];
 if (!isdigit(t[i + 1])) fail[i + 1] = j + 1;
 } return i;
}

int kmp(char *s, char *t, int fail[], int lim, int flag, int &x) {
 --s; --t;
 for (int i = 1, j = 1; s[i]; ++i, ++j) {
 while (j > 0 && s[i] != t[j]) j = fail[j];
 if (!isdigit(t[j + 1])) {
 int z = i - j;
 if (z >= lim && z % 2 == flag) {
 x += j;
 return i;
 }
 j = fail[j + 1] - 1;
 }
 } return -1;
}

bool gao() {
 int lim, flag, i = 0, j = 0;
 int ls = strlen(str);
 int lt = strlen(pat);
 while (isdigit(pat[j]))
 if (str[i++] != pat[j++]) 
 return false;
 while (j < lt && isdigit(pat[lt - 1]))
 if (str[--ls] != pat[--lt]) 
 return false;
 while (j < lt) {
 for (lim = 0; j < lt && !isdigit(pat[j]); ++j) {
 lim += (pat[j] == '#' ? 1 : 2); //本来以为还有长度要求的
 flag = lim & 1;
 }
 if (j == lt) return (ls - i) % 2 == flag;
 int t = kmp(str + i, pat + j, fail + j, 0, flag, j);
 if (t == -1) return false;
 i += t;
 }
 return ls - i == 0;
}

bool solve(int cas) {
 int id = 1;
 scanf("%s", pat);
 int len = strlen(pat);
 memset(fail, 0, sizeof(fail));
 for (int i = 0; i < len; )
 i += makefail(pat + i, fail + i);
 //for (int i = 1; i <= len + 1; ++i)
 // printf("%d ", fail[i]);
 //puts("");
 while (scanf("%s", str)) {
 if (str[0] == 'E') return true;
 if (str[0] == 'Q') return false;
 printf("%d.%d. %s\n", cas, id++, gao() ? "match" : "not");
 }
 return false;
}

int main(){
#ifndef ONLINE_JUDGE
 freopen("D:\\in.txt", "r", stdin);
#endif
 int cas = 1;
 while (solve(cas++));
 return 0;
}