基于DFA的字符串检测 (25 分)

代码长度限制 16 KB
时间限制 400 ms
内存限制 64 MB

题目描述

确定性有穷状态自动机 (DFA) 可以理解为由若干个状态构成的，且能够通过一定的规则自动在状态间转换的结构。其中一种状态遇到某一种标志只可能转换为一种状态，即确定性。

下图是一个DFA的示意图。

初始状态为 d0​，此后逐个读入字符。d0​ 遇到a后转换为 d1​；d1​ 遇到b后转换为状态 d2​；d2​ 遇到b后仍为 d2​；d2​ 遇到c后转化为 d3​。d1​ 遇到c后转换为状态 d3​，… ，依此类推。

其中带双圆圈的代表终态。当一个字符串读取结束时刚好到达终态，则其能通过这个DFA的检测。

上图的自动机可以用正则表达式a(b|c)*表示。

现在给出一个DFA，和一个字符串，判断其能否通过该DFA的检测。

输入格式

第一行给出整数 M 和 N (0<M<=100,0<N<=2000)，分别代表DFA的状态数和转换规则数。其中状态用数字 0, 1, 2, … ，M−1 表示，初始状态为0。

第二行给出整数 K 和 K 个整数 t1​, t2​, …, tK​。表示有 K 个终态，t1​ - tK​表示终态的编号。

之后 N 行，每行给出一个规则，其格式为：

状态1 状态2 字符

其中字符为大小写字母 (a-z和A-Z)。 比如0 1 a，表示状态0遇到字符a转换为状态1。

接下来给出整数 Q，表示有 Q 个字符串待检测。

最后 Q 行每行给出一个字符串。

输出格式

对于每个待检测字符串，输出 Yes 或 No 表示能否通过检测。

输入样例

4 7
3 1 2 3
0 1 a
1 2 b
1 3 c
2 3 c
3 2 b
3 3 c
2 2 b
4
abc
abdc
a
aab

输出样例

Yes
No
Yes
No

个人思路

1. 第一眼以为是dfs，其实可以看做是一个模拟题
2. 用一个char类型二维数组记录DFA的各状态的关系，然后对于每条命令逐个遍历查找，找不到的话做个标记直接跳出本次判断，找得到就继续往下。到字符串最后一个字符时直接查找事先存好的“终态”vector中是否存在并对应输出。

#include<bits/stdc++.h>
using namespace std;
int main()
{
    int m,n;
    cin>>m>>n;
    int k;
    cin>>k;
    vector<int> vk;
    while(k--)
    {
        int temp;
        cin>>temp;
        vk.push_back(temp);
    }
    char cc[m][m];
    memset(cc,'*',sizeof(cc));
    while(n--)
    {
        int a,b;
        char c;
        cin>>a>>b>>c;
        cc[a][b]=c;
    }
    int q;
    cin>>q;
    while(q--)
    {
        string str;
        cin>>str;
        int state;
        state=0;
        int i=0;
        for(i=0;i<str.length();i++)
        {
            int j=0;
            for(j=0;j<m;j++)
            {
                if(cc[state][j]==str[i])
                {
                    state=j;
                    break;
                }
            }
            if(j>=m)
            {
                cout<<"No"<<endl;
                break;
            }
        }
        if(i<str.length())
        {
            continue;
        }
        for(i=0;i<vk.size();i++)
        {
            if(state==vk[i])
            {
                cout<<"Yes"<<endl;
                break;
            }
        }
        if(i>=vk.size())
        {
            cout<<"No"<<endl;
        }
    }
}