結果

問題 No.430 文字列検索
ユーザー 👑 jupirojupiro
提出日時 2020-10-30 16:21:36
言語 C++17
(gcc 12.3.0 + boost 1.83.0)
結果
AC  
実行時間 11 ms / 2,000 ms
コード長 4,107 bytes
コンパイル時間 1,792 ms
コンパイル使用メモリ 145,140 KB
実行使用メモリ 9,260 KB
最終ジャッジ日時 2023-09-29 04:20:12
合計ジャッジ時間 2,700 ms
ジャッジサーバーID
（参考情報） 		judge11 / judge14
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 2 ms
4,376 KB
testcase_01 AC 11 ms
9,260 KB
testcase_02 AC 5 ms
4,452 KB
testcase_03 AC 5 ms
4,556 KB
testcase_04 AC 2 ms
4,380 KB
testcase_05 AC 2 ms
4,376 KB
testcase_06 AC 1 ms
4,376 KB
testcase_07 AC 2 ms
4,380 KB
testcase_08 AC 2 ms
4,380 KB
testcase_09 AC 2 ms
4,376 KB
testcase_10 AC 2 ms
4,380 KB
testcase_11 AC 8 ms
5,548 KB
testcase_12 AC 9 ms
5,816 KB
testcase_13 AC 9 ms
5,864 KB
testcase_14 AC 8 ms
5,588 KB
testcase_15 AC 7 ms
5,544 KB
testcase_16 AC 6 ms
5,532 KB
testcase_17 AC 7 ms
5,504 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include <iostream>
#include <string>
#include <sstream>
#include <stack>
#include <algorithm>
#include <cmath>
#include <queue>
#include <bitset>
#include <iomanip>
#include <limits>
#include <chrono>
#include <random>
#include <array>
#include <unordered_map>
#include <functional>
#include <complex>
#include <numeric>
#include <cctype>
#include <map>
#include <set>
#include <cstdlib>
#include <bitset>
#include <tuple>
#include <assert.h>
#include <deque>
#include <utility>
#include <fstream>

using namespace std;
typedef long long ll;
using ull = unsigned long long;

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; }
template<typename T> T gcd(T a, T b) { a = abs(a), b = abs(b); while (b > 0) { tie(a, b) = make_pair(b, a % b); } return a; }
mt19937 rnd(chrono::steady_clock::now().time_since_epoch().count());

constexpr long long INF = 1LL << 60;
constexpr int inf = 1000000007;
//constexpr long long mod = 1000000007LL;
constexpr long long mod = 998244353;
constexpr int MAX = 1100000;

template<int char_size>
struct TrieNode {
	array<int, char_size> nxt;
	int cnt;
	vector<int> accept;
	TrieNode() :cnt(0) { fill(nxt.begin(), nxt.end(), -1); }
};

template<int char_size>
struct Trie {
	using Node = TrieNode<char_size>;
	vector<Node> nodes;
	int root;

	Trie() :root(0) { nodes.emplace_back(Node()); }
	void add(const vector<int>& str, int id) {
		int node_index = 0;
		for (auto& c : str) {
			if (nodes[node_index].nxt[c] == -1) {
				nodes[node_index].nxt[c] = (int)nodes.size();
				nodes.emplace_back(Node());
			}
			nodes[node_index].cnt += 1;
			node_index = nodes[node_index].nxt[c];
		}
		nodes[node_index].cnt += 1;
		nodes[node_index].accept.emplace_back(id);
	}
	void add(const vector<int>& str) { add(str, nodes[0].cnt); }

	int find(const vector<int>& str) {
		int node_index = 0;
		for (auto& c : str) {
			if (nodes[node_index].nxt[c] == -1) return -1;
			node_index = nodes[node_index].nxt[c];
		}
		return node_index;
	}
	int count() const { return nodes[0].cnt; }
	int size() const { return nodes.size(); }
};

template<int char_size>
struct AhoCorasick : Trie<char_size + 1> {
	using Trie<char_size + 1>::Trie;
	const int FAIL = char_size;
	vector<int> correct;
	void build(bool heavy) {
		correct.resize(this->size());
		for (int i = 0; i < correct.size(); i++) correct[i] = (int)this->nodes[i].accept.size();
		queue<int> q;
		for (int i = 0; i <= char_size; i++) {
			if (this->nodes[0].nxt[i] >= 0) {
				this->nodes[this->nodes[0].nxt[i]].nxt[FAIL] = 0;
				q.emplace(this->nodes[0].nxt[i]);
			}
			else this->nodes[0].nxt[i] = 0;
		}
		while (!q.empty()) {
			auto& cur = this->nodes[q.front()];
			int fail = cur.nxt[FAIL];
			correct[q.front()] += correct[fail];
			q.pop();
			for (int i = 0; i < char_size; i++) {
				if (cur.nxt[i] >= 0) {
					this->nodes[cur.nxt[i]].nxt[FAIL] = this->nodes[fail].nxt[i];
					if (heavy) {
						auto& u = this->nodes[cur.nxt[i]].accept;
						auto& v = this->nodes[this->nodes[fail].nxt[i]].accept;
						vector<int> accept; accept.reserve(u.size() + v.size());
						set_union(u.begin(), u.end(), v.begin(), v.end(), back_inserter(accept));
						u = accept;
					}
					q.emplace(cur.nxt[i]);
				}
				else cur.nxt[i] = this->nodes[fail].nxt[i];
			}
		}
	}

	vector<int> match(vector<int>& str, bool heavy) {
		vector<int> ret(heavy ? this->size() : 1);
		int cur = 0;
		for (auto& c : str) {
			cur = this->nodes[cur].nxt[c];
			if (heavy) for (auto& v : this->nodes[cur].accept) ret[v] += 1;
			else ret[0] += correct[cur];
		}
		return ret;
	}
};
int main()
{

	cin.tie(nullptr);
	ios::sync_with_stdio(false);

	string s; cin >> s;
	int m; cin >> m;

	auto enc = [](string s)->vector<int> {
		vector<int> ret(s.size());
		for (int i = 0; i < s.size(); i++) {
			ret[i] = s[i] - 'A';
		}
		return ret;
	};
	AhoCorasick<26> aho;
	while (m--) {
		string c; cin >> c;
		auto v = enc(c);
		aho.add(v);
	}
	aho.build(false);
	auto v = enc(s);
	cout << aho.match(v, false)[0] << "\n";
}
0