Hướng giải của Tìm từ


Nhớ rằng hướng dẫn giải này chỉ nên sử dụng khi bế tắc, và tuyệt đối không nên sao chép mã nguồn kèm theo. Hãy tôn trọng tác giả bài tập và người viết hướng dẫn giải.
Nộp mã nguồn lời giải chính thức trước khi giải bài tập đó có thể khiến bạn bị ban.

Tác giả: kienadmin

Phân tích

Xây dựng automaton Aho-Corasick từ các từ khóa. Duyệt văn bản, tại mỗi vị trí đánh dấu các từ khóa tìm được. Độ phức tạp \(O(\|T\| + M)\) với \(M\) là tổng độ dài từ khóa.

Code mẫu C++

// Giải thuật ac cho bài toán ac-basic\n#include <bits/stdc++.h>
using namespace std;

const int ALPHABET = 26;

struct AhoCorasick {
    struct Node {
        int next[ALPHABET];
        int fail, dict;
        vector<int> out;
        Node() {
            fill(next, next + ALPHABET, -1);
            fail = dict = -1;
        }
    };
    vector<Node> trie;
    AhoCorasick() { trie.emplace_back(); }
    void insert(const string& s, int id) {
        int node = 0;
        for (char ch : s) {
            int c = ch - 'a';
            if (trie[node].next[c] == -1) {
                trie[node].next[c] = trie.size();
                trie.emplace_back();
            }
            node = trie[node].next[c];
        }
        trie[node].out.push_back(id);
    }
    void build() {
        queue<int> q;
        for (int c = 0; c < ALPHABET; c++) {
            if (trie[0].next[c] != -1) {
                trie[trie[0].next[c]].fail = 0;
                q.push(trie[0].next[c]);
            } else {
                trie[0].next[c] = 0;
            }
        }
        while (!q.empty()) {
            int u = q.front(); q.pop();
            if (trie[trie[u].fail].out.size())
                trie[u].dict = trie[u].fail;
            else
                trie[u].dict = trie[trie[u].fail].dict;
            for (int c = 0; c < ALPHABET; c++) {
                if (trie[u].next[c] != -1) {
                    trie[trie[u].next[c]].fail = trie[trie[u].fail].next[c];
                    q.push(trie[u].next[c]);
                } else {
                    trie[u].next[c] = trie[trie[u].fail].next[c];
                }
            }
        }
    }
    void search(const string& t, vector<bool>& seen) {
        int node = 0;
        for (char ch : t) {
            int c = ch - 'a';
            node = trie[node].next[c];
            for (int id : trie[node].out) seen[id] = true;
            int temp = trie[node].dict;
            while (temp != -1) {
                for (int id : trie[temp].out) seen[id] = true;
                temp = trie[temp].dict;
            }
        }
    }
};

int main() {
    // Doc du lieu dau vao
    ios::sync_with_stdio(false); cin.tie(0);
    string t; cin >> t;
    int k; cin >> k;
    vector<string> pat(k);
    AhoCorasick aho;
    for (int i = 0; i < k; i++) {
        cin >> pat[i];
        aho.insert(pat[i], i);
    }
    aho.build();
    vector<bool> seen(k, false);
    aho.search(t, seen);
    for (int i = 0; i < k; i++)
        cout << (seen[i] ? "YES" : "NO") << "\n";
    return 0;
}

Nhận xét

Không có ý kiến tại thời điểm này.