cplib-cpp

This documentation is automatically generated by online-judge-tools/verification-helper

View the Project on GitHub hitonanode/cplib-cpp

:heavy_check_mark: string/test/aho_corasick_online.test.cpp

Depends on

Code

#include "../aho_corasick_online.hpp"
#include <iostream>
using namespace std;
#define PROBLEM "http://judge.u-aizu.ac.jp/onlinejudge/description.jsp?id=ALDS1_14_D"

int main() {
    cin.tie(nullptr), ios::sync_with_stdio(false);
    OnlineAhoCorasick oac;
    string T, P;
    int Q;
    cin >> T >> Q;
    while (Q--) cin >> P, oac.add(P);

    for (auto n : oac.match(T)) cout << !!n << '\n';
}
#line 2 "data_structure/light_forward_list.hpp"
#include <vector>

// CUT begin
// Simple forward_list for MLE-sensitive situations
// Verify: <http://judge.u-aizu.ac.jp/onlinejudge/description.jsp?id=ALDS1_14_D>
template <typename T> struct light_forward_list {
    static std::vector<unsigned> ptr;
    static std::vector<T> val;
    unsigned head;
    light_forward_list() : head(0) {}
    void push_front(T x) {
        ptr.push_back(head), val.push_back(x);
        head = ptr.size() - 1;
    }
    struct iterator {
        unsigned p;
        iterator operator++() { return {p = ptr[p]}; }
        T &operator*() { return val[p]; }
        bool operator!=(const iterator &rhs) { return p != rhs.p; }
    };
    iterator begin() { return {head}; }
    iterator end() { return {0}; }
};
template <typename T> std::vector<unsigned> light_forward_list<T>::ptr = {0};
template <typename T> std::vector<T> light_forward_list<T>::val = {T()};
#line 3 "string/aho_corasick.hpp"
#include <cassert>
#include <string>
#include <unordered_map>
#line 7 "string/aho_corasick.hpp"

// CUT begin
// Aho-Corasick algorithm
// Verify: <http://judge.u-aizu.ac.jp/onlinejudge/review.jsp?rid=5101653>
//         <https://yukicoder.me/submissions/598606>
// Complexity:
// - add(): O(|keyword_i|)
// - build_aho_corasick(): O(\sum_i |keyword_i|)
// - match() : O(\sum_i |keyword_i| + |str|)
template <class T, int (*char2int)(char)> struct AhoCorasick {
    bool built;
    const int D;
    std::vector<T> node;
    AhoCorasick(int D_) : built(false), D(D_), node(1, D) {}
    AhoCorasick operator=(const AhoCorasick &rhs) { return AhoCorasick(rhs.D); }

    void enter_child(int n, int nn, int c) { node[n].setch(c, nn); }

    std::vector<int> endpos;
    int add(const std::string &keyword) { // Enter_in_tree() in [1]
        built = false;
        int n = 0;
        for (const auto &cc : keyword) {
            int c = char2int(cc), nn = node[n].Goto(c);
            if (!nn) {
                nn = node.size();
                enter_child(n, nn, c), node.emplace_back(D);
            }
            n = nn;
        }
        return endpos.push_back(n), n;
    }

    void complete_failure(int n, int nn, int c) {
        int m = node[n].fail, mm = node[m].Goto(c);
        while (m and !mm) m = node[m].fail, mm = node[m].Goto(c);
        node[nn].fail = mm;
    }

    std::vector<int> visorder; // BFS order of node ids
    void build() {             // Build_failure() in [1]
        visorder.clear();
        for (auto p : node[0]) {
            if (p.second) visorder.push_back(p.second);
        }
        for (size_t p = 0; p < visorder.size(); p++) {
            int n = visorder[p];
            for (auto p : node[n]) {
                int c = p.first, nn = p.second;
                if (nn) visorder.push_back(nn), complete_failure(n, nn, c);
            }
        }
        built = true;
    }

    int step(int now, int d) {
        while (now and !node[now].Goto(d)) now = node[now].fail;
        return node[now].Goto(d);
    }

    // Count occurences of each added keywords in `str`
    std::vector<int> match(const std::string &str) {
        if (!built) build();
        std::vector<int> freq(node.size());
        int now = 0;
        for (const auto &c : str) freq[now = step(now, char2int(c))]++;

        for (auto i = visorder.rbegin(); i != visorder.rend(); i++)
            freq[node[*i].fail] += freq[*i];
        std::vector<int> ret;
        for (auto x : endpos) ret.push_back(freq[x]);
        return ret;
    }
};

struct TrieNodeFL {
    struct smallpii {
        int first : 8;
        int second : 24;
    };
    light_forward_list<smallpii> chlist;
    int fail;
    TrieNodeFL(int = 0) : fail(0) {}
    int Goto(int c) {
        for (const auto x : chlist) {
            if (x.first == c) return x.second;
        }
        return 0;
    }
    void setch(int c, int i) { chlist.push_front({c, i}); }

    struct iterator {
        light_forward_list<smallpii>::iterator iter;
        iterator operator++() { return {++iter}; }
        smallpii operator*() { return *iter; }
        bool operator!=(const iterator &rhs) { return iter != rhs.iter; }
    };
    iterator begin() { return {chlist.begin()}; }
    iterator end() { return {chlist.end()}; }
};

struct TrieNodeV {
    std::vector<int> ch; // 全 bit が行き先
    int fail;
    TrieNodeV(int D = 0) : ch(D), fail(0) {}
    int Goto(int d) { return ch[d]; }
    void setch(int d, int i) { ch[d] = i; }

    struct iterator {
        int i;
        std::vector<int>::iterator iter;
        iterator operator++() { return {++i, ++iter}; }
        std::pair<int, int> operator*() { return std::make_pair(i, *iter); }
        bool operator!=(const iterator &rhs) { return iter != rhs.iter; }
    };
    iterator begin() { return {0, ch.begin()}; }
    iterator end() { return {int(ch.size()), ch.end()}; }
};

struct TrieNodeUM : std::unordered_map<int, int> {
    int fail;
    TrieNodeUM(int = 0) : fail(0) {}
    int Goto(int d) { return count(d) ? (*this)[d] : 0; }
    void setch(int d, int i) { (*this)[d] = i; }
};

int c2i0aA(char c) { return isdigit(c) ? c - '0' : islower(c) ? c - 'a' + 10 : c - 'A' + 36; }

/* Usage:
AhoCorasick<TrieNodeFL, c2i0aA> trie(62);
trie.add(P);
trie.build();
vector<int> ret = trie.match();
*/
#line 5 "string/aho_corasick_online.hpp"

// CUT begin
// Aho-Corasick, Online keyword addition
// Implementation idea: <https://codeforces.com/blog/entry/10725?#comment-160742>
struct OnlineAhoCorasick {
    int n_keywords;
    int D = 62;
    using AC = AhoCorasick<TrieNodeFL, c2i0aA>;
    std::vector<std::string> keywords;
    std::vector<std::vector<int>> kwd_ids;
    std::vector<AC> automata;
    OnlineAhoCorasick() : n_keywords(0), kwd_ids(30), automata(30, D) {}

    // O(lg(n_keywords) |keyword|) amortized
    void add(const std::string &keyword) {
        int pos = __builtin_clz(~n_keywords);
        keywords.push_back(keyword), kwd_ids[pos].push_back(n_keywords);
        automata[pos].add(keyword);
        n_keywords++;
        for (int p = 0; p < pos; p++) {
            for (auto i : kwd_ids[p]) automata[pos].add(keywords[i]);
            kwd_ids[pos].insert(kwd_ids[pos].end(), kwd_ids[p].begin(), kwd_ids[p].end());
            kwd_ids[p].clear(), automata[p] = AC(D);
        }
    }

    // O(lg(n_keywords) |str| + \sum_i |keyword_i|)
    std::vector<int> match(const std::string &str) {
        std::vector<int> ret(keywords.size());
        for (unsigned p = 0; p < kwd_ids.size(); p++) {
            std::vector<int> subret = automata[p].match(str);
            for (unsigned i = 0; i < kwd_ids[p].size(); i++) ret[kwd_ids[p][i]] = subret[i];
        }
        return ret;
    }
};
#line 2 "string/test/aho_corasick_online.test.cpp"
#include <iostream>
using namespace std;
#define PROBLEM "http://judge.u-aizu.ac.jp/onlinejudge/description.jsp?id=ALDS1_14_D"

int main() {
    cin.tie(nullptr), ios::sync_with_stdio(false);
    OnlineAhoCorasick oac;
    string T, P;
    int Q;
    cin >> T >> Q;
    while (Q--) cin >> P, oac.add(P);

    for (auto n : oac.match(T)) cout << !!n << '\n';
}
Back to top page