結果

問題 No.430 文字列検索
ユーザー koprickykopricky
提出日時 2018-09-07 22:19:49
言語 C++14
(gcc 12.3.0 + boost 1.83.0)
結果
AC  
実行時間 32 ms / 2,000 ms
コード長 3,714 bytes
コンパイル時間 2,048 ms
コンパイル使用メモリ 188,872 KB
実行使用メモリ 14,592 KB
最終ジャッジ日時 2023-08-19 19:48:59
合計ジャッジ時間 3,472 ms
ジャッジサーバーID
（参考情報） 		judge15 / judge12
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 1 ms
4,376 KB
testcase_01 AC 32 ms
14,592 KB
testcase_02 AC 13 ms
10,176 KB
testcase_03 AC 12 ms
10,248 KB
testcase_04 AC 2 ms
4,380 KB
testcase_05 AC 2 ms
4,380 KB
testcase_06 AC 2 ms
4,376 KB
testcase_07 AC 1 ms
4,380 KB
testcase_08 AC 8 ms
6,460 KB
testcase_09 AC 2 ms
4,376 KB
testcase_10 AC 3 ms
4,376 KB
testcase_11 AC 21 ms
12,800 KB
testcase_12 AC 22 ms
13,076 KB
testcase_13 AC 21 ms
13,096 KB
testcase_14 AC 18 ms
12,020 KB
testcase_15 AC 15 ms
10,920 KB
testcase_16 AC 13 ms
10,964 KB
testcase_17 AC 13 ms
10,652 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include <bits/stdc++.h>
#define ll long long
#define INF 1000000005
#define MOD 1000000007
#define EPS 1e-10
#define rep(i,n) for(int i=0;i<(int)(n);++i)
#define rrep(i,n) for(int i=(int)(n)-1;i>=0;--i)
#define srep(i,s,t) for(int i=(int)(s);i<(int)(t);++i)
#define each(a,b) for(auto& (a): (b))
#define all(v) (v).begin(),(v).end()
#define len(v) (int)(v).size()
#define zip(v) sort(all(v)),v.erase(unique(all(v)),v.end())
#define cmx(x,y) x=max(x,y)
#define cmn(x,y) x=min(x,y)
#define fi first
#define se second
#define pb push_back
#define show(x) cout<<#x<<" = "<<(x)<<endl
#define spair(p) cout<<#p<<": "<<p.fi<<" "<<p.se<<endl
#define sar(a,n) cout<<#a<<":";rep(pachico,n)cout<<" "<<a[pachico];cout<<endl
#define svec(v) cout<<#v<<":";rep(pachico,v.size())cout<<" "<<v[pachico];cout<<endl
#define svecp(v) cout<<#v<<":";each(pachico,v)cout<<" {"<<pachico.first<<":"<<pachico.second<<"}";cout<<endl
#define sset(s) cout<<#s<<":";each(pachico,s)cout<<" "<<pachico;cout<<endl
#define smap(m) cout<<#m<<":";each(pachico,m)cout<<" {"<<pachico.first<<":"<<pachico.second<<"}";cout<<endl

using namespace std;

typedef pair<int,int> P;
typedef pair<ll,ll> pll;
typedef vector<int> vi;
typedef vector<vi> vvi;
typedef vector<ll> vl;
typedef vector<vl> vvl;
typedef vector<double> vd;
typedef vector<P> vp;
typedef vector<string> vs;

const int MAX_N = 100005;

class AhoCorasick
{
private:
    using AC = AhoCorasick*;
    vector<pair<int, int> > ac;
    map<int, AC> next;
    AC t, fail, dnx;
    void add(const string& s, int pos, int id){
        if(pos == (int)s.size()){
            ac.emplace_back(id, pos);
            return;
        }
        if(!next[s[pos]]) next[s[pos]] = new AhoCorasick();
        next[s[pos]]->add(s,pos+1,id);
    }
    AC count(vector<vector<int> >& res, int pos){
        if(!fail) return this;
        for(auto val : ac) res[val.first].push_back(pos-val.second+1);
        if(dnx) dnx->count(res,pos);
        else dnx = fail->count(res,pos);
        return ac.size() ? this : dnx;
    }
    void match_(vector<vector<int> >& res, const string& s, int pos=0){
        if(pos == (int)s.size()) return;
        if(next[s[pos]]){
            next[s[pos]]->count(res, pos);
            next[s[pos]]->match_(res,s,pos+1);
        }else{
            if(!fail) match_(res,s,pos+1);
            else fail->match_(res,s,pos);
        }
    }
public:
    AhoCorasick() : fail(nullptr), dnx(nullptr){}
    //パターンを入力として木を構築
    AhoCorasick(vector<string>& pattern): AhoCorasick(){
        int sz = (int)pattern.size();
        t = new AhoCorasick();
        for(int i = 0; i < sz; i++){
            t->add(pattern[i],0,i);
        }
        queue<AC> que;
        que.push(t);
        t->fail = nullptr;
        while(!que.empty()){
            AC nw = que.front();
            que.pop();
            for(auto p : nw->next){
                int i = p.first;
                AC fail = nw->fail;
                while(fail && !fail->next.count(i)){
                    fail = fail->fail;
                }
                nw->next[i]->fail = (!fail ? t : fail->next[i]);
                que.push(nw->next[i]);
            }
        }
    }
    //sのインデックスpos(デフォルト0)以降に含まれる各パターンの開始位置をresで返す
    void match(vector<vector<int> >& res, const string& s, int pos=0){
        t->match_(res,s,pos);
    }
};

int main()
{
    string s;
    cin >> s;
    int m;
    cin >> m;
    vector<string> t(m);
    rep(i,m){
        cin >> t[i];
    }
    AhoCorasick ac(t);
    vvi ans(m);
    ac.match(ans,s);
    int sm = 0;
    rep(i, m){
        sm += len(ans[i]);
    }
    cout << sm << "\n";
    return 0;
}
0