結果

問題 No.430 文字列検索
ユーザー siro53siro53
提出日時 2022-09-15 14:06:58
言語 C++23
(gcc 12.3.0 + boost 1.83.0)
結果
AC  
実行時間 8 ms / 2,000 ms
コード長 4,326 bytes
コンパイル時間 2,737 ms
コンパイル使用メモリ 251,576 KB
実行使用メモリ 8,448 KB
最終ジャッジ日時 2024-11-10 01:01:51
合計ジャッジ時間 3,363 ms
ジャッジサーバーID
（参考情報） 		judge5 / judge4
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 2 ms
5,248 KB
testcase_01 AC 8 ms
8,448 KB
testcase_02 AC 4 ms
5,248 KB
testcase_03 AC 3 ms
5,248 KB
testcase_04 AC 1 ms
5,248 KB
testcase_05 AC 1 ms
5,248 KB
testcase_06 AC 2 ms
5,248 KB
testcase_07 AC 2 ms
5,248 KB
testcase_08 AC 2 ms
5,248 KB
testcase_09 AC 2 ms
5,248 KB
testcase_10 AC 1 ms
5,248 KB
testcase_11 AC 6 ms
6,656 KB
testcase_12 AC 6 ms
7,424 KB
testcase_13 AC 7 ms
7,296 KB
testcase_14 AC 5 ms
6,272 KB
testcase_15 AC 4 ms
5,504 KB
testcase_16 AC 4 ms
5,504 KB
testcase_17 AC 4 ms
5,376 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

#pragma region Macros
#include <bits/stdc++.h>
using namespace std;
template <class T> inline bool chmax(T &a, T b) {
    if(a < b) {
        a = b;
        return 1;
    }
    return 0;
}
template <class T> inline bool chmin(T &a, T b) {
    if(a > b) {
        a = b;
        return 1;
    }
    return 0;
}
#ifdef DEBUG
template <class T, class U>
ostream &operator<<(ostream &os, const pair<T, U> &p) {
    os << '(' << p.first << ',' << p.second << ')';
    return os;
}
template <class T> ostream &operator<<(ostream &os, const vector<T> &v) {
    os << '{';
    for(int i = 0; i < (int)v.size(); i++) {
        if(i) { os << ','; }
        os << v[i];
    }
    os << '}';
    return os;
}
void debugg() { cerr << endl; }
template <class T, class... Args>
void debugg(const T &x, const Args &... args) {
    cerr << " " << x;
    debugg(args...);
}
#define debug(...)                                                             \
    cerr << __LINE__ << " [" << #__VA_ARGS__ << "]: ", debugg(__VA_ARGS__)
#define dump(x) cerr << __LINE__ << " " << #x << " = " << (x) << endl
#else
#define debug(...) (void(0))
#define dump(x) (void(0))
#endif

struct Setup {
    Setup() {
        cin.tie(0);
        ios::sync_with_stdio(false);
        cout << fixed << setprecision(15);
    }
} __Setup;

using ll = long long;
#define OVERLOAD3(_1, _2, _3, name, ...) name
#define ALL(v) (v).begin(), (v).end()
#define RALL(v) (v).rbegin(), (v).rend()
#define REP1(i, n) for(int i = 0; i < int(n); i++)
#define REP2(i, a, b) for(int i = (a); i < int(b); i++)
#define REP(...) OVERLOAD3(__VA_ARGS__, REP2, REP1)(__VA_ARGS__)
#define UNIQUE(v) sort(ALL(v)), (v).erase(unique(ALL(v)), (v).end())
#define SZ(v) ((int)(v).size())
const int INF = 1 << 30;
const ll LLINF = 1LL << 60;
constexpr int MOD = 1000000007;
constexpr int MOD2 = 998244353;
const int dx[4] = {1, 0, -1, 0};
const int dy[4] = {0, 1, 0, -1};

void Case(int i) { cout << "Case #" << i << ": "; }
int popcount(int x) { return __builtin_popcount(x); }
ll popcount(ll x) { return __builtin_popcountll(x); }
#pragma endregion Macros

template<int sigma>
struct TrieNode {
    using Node = TrieNode<sigma>;
    int cnt;
    array<Node*, sigma> to;
    Node* failure_link;
    TrieNode(): cnt(0) { REP(i, 26) to[i] = nullptr; }
};

template<int sigma, int base>
class AhoCorasick {
public:
    AhoCorasick(): root(new Node()), is_called_build(false) {}

    void add_string(const string& s) {
        Node* now = root;
        for(const char& c : s) {
            if(now->to[c - base] == nullptr) {
                now->to[c - base] = new Node();
            }
            now = now->to[c - base];
        }
        now->cnt++;
    }

    void build() {
        queue<Node*> que;
        REP(i, 26) {
            if(root->to[i] != nullptr) {
                root->to[i]->failure_link = root;
                que.push(root->to[i]);
            } else {
                root->to[i] = root;
            }
        }
        while(!que.empty()) {
            Node* now = que.front();
            que.pop();
            now->cnt += now->failure_link->cnt;
            REP(i, 26) {
                if(now->to[i] == nullptr) {
                    now->to[i] = now->failure_link->to[i];
                } else {
                    now->to[i]->failure_link = now->failure_link->to[i];
                    que.push(now->to[i]);
                }
            }
        }
        is_called_build = true;
    }

    pair<ll, TrieNode<sigma>*> move(const char& c, TrieNode<sigma>* now = nullptr) {
        if(now == nullptr) now = root;
        Node* nxt = now->to[c - base];
        return {nxt->cnt, nxt};
    }

    pair<ll, TrieNode<sigma>*> move(const string& s, TrieNode<sigma>* now = nullptr) {
        if(now == nullptr) now = root;
        assert(is_called_build);
        ll sum = 0;
        for(const char& c : s) {
            auto [cnt, nxt] = move(c, now);
            sum += cnt;
            now = nxt;
        }
        return {sum, now};
    }
private:
    using Node = TrieNode<sigma>;
    Node* root;
    bool is_called_build;
};

int main() {
    string S;
    cin >> S;
    int M;
    cin >> M;
    AhoCorasick<26, 'A'> aho;
    REP(i, M) {
        string c;
        cin >> c;
        aho.add_string(c);
    }
    aho.build();
    cout << aho.move(S).first << endl;
}
0