結果

問題 No.2761 Substitute and Search
ユーザー 👑 binapbinap
提出日時 2024-04-30 19:45:21
言語 C++17
(gcc 12.3.0 + boost 1.83.0)
結果
AC  
実行時間 3,015 ms / 4,000 ms
コード長 4,216 bytes
コンパイル時間 4,303 ms
コンパイル使用メモリ 272,728 KB
実行使用メモリ 135,424 KB
最終ジャッジ日時 2024-05-07 04:57:32
合計ジャッジ時間 22,604 ms
ジャッジサーバーID
(参考情報)
judge4 / judge5
このコードへのチャレンジ
(要ログイン)

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 1 ms
5,248 KB
testcase_01 AC 2 ms
5,376 KB
testcase_02 AC 2 ms
5,376 KB
testcase_03 AC 2 ms
5,376 KB
testcase_04 AC 1,767 ms
135,424 KB
testcase_05 AC 3,015 ms
135,424 KB
testcase_06 AC 394 ms
135,424 KB
testcase_07 AC 1,918 ms
135,296 KB
testcase_08 AC 382 ms
135,296 KB
testcase_09 AC 1,953 ms
135,296 KB
testcase_10 AC 381 ms
135,424 KB
testcase_11 AC 1,968 ms
135,424 KB
testcase_12 AC 1,224 ms
135,296 KB
testcase_13 AC 1,224 ms
135,424 KB
testcase_14 AC 1,174 ms
135,424 KB
testcase_15 AC 1,180 ms
135,424 KB
権限があれば一括ダウンロードができます

ソースコード

diff #

#include<bits/stdc++.h>
#include<atcoder/all>
#define rep(i,n) for(int i=0;i<n;i++)
using namespace std;
using namespace atcoder;
typedef long long ll;
typedef vector<int> vi;
typedef vector<long long> vl;
typedef vector<vector<int>> vvi;
typedef vector<vector<long long>> vvl;
typedef long double ld;
typedef pair<int, int> P;

ostream& operator<<(ostream& os, const modint& a) {os << a.val(); return os;}
template <int m> ostream& operator<<(ostream& os, const static_modint<m>& a) {os << a.val(); return os;}
template <int m> ostream& operator<<(ostream& os, const dynamic_modint<m>& a) {os << a.val(); return os;}
template<typename T> istream& operator>>(istream& is, vector<T>& v){int n = v.size(); assert(n > 0); rep(i, n) is >> v[i]; return is;}
template<typename U, typename T> ostream& operator<<(ostream& os, const pair<U, T>& p){os << p.first << ' ' << p.second; return os;}
template<typename T> ostream& operator<<(ostream& os, const vector<T>& v){int n = v.size(); rep(i, n) os << v[i] << (i == n - 1 ? "\n" : " "); return os;}
template<typename T> ostream& operator<<(ostream& os, const vector<vector<T>>& v){int n = v.size(); rep(i, n) os << v[i] << (i == n - 1 ? "\n" : ""); return os;}

template<typename T> void chmin(T& a, T b){a = min(a, b);}
template<typename T> void chmax(T& a, T b){a = max(a, b);}

random_device rd;
mt19937 mt(rd());

int random_prime(){
    while (true){
        int pr = mt() % 100000000 + 900000000;
        if (atcoder::internal::is_prime_constexpr(pr)){
            return pr;
        }
    }
}

using ull = unsigned long long;

using mint1 = atcoder::dynamic_modint<1>;
using mint2 = atcoder::dynamic_modint<2>;

struct mints{
	mint1 d1;
	mint2 d2;
	mints(long long val = 0) : d1(val), d2(val) {}
	mints(mint1 d1, mint2 d2) : d1(d1), d2(d2) {}
	mints& operator++() {
		d1++; d2++;
		return *this;
	}
	mints& operator--() {
		d1--; d2--;
		return *this;
	}
	mints& operator+=(const mints& a) {
		d1 += a.d1;	d2 += a.d2;
		return *this;
	}
	mints& operator-=(const mints& a) {
		d1 -= a.d1;	d2 -= a.d2;
		return *this;
	}
	mints& operator*=(const mints& a) {
		d1 *= a.d1;	d2 *= a.d2;
		return *this;
	}
	mints& operator/=(const mints& a) { return *this = *this * a.inv(); }
	mints operator+() const { return *this; }
	mints operator-() const { return mints(0) - *this; }
	
	mints pow(long long n) const {
		return mints(d1.pow(n), d2.pow(n));
	}
	mints inv() const {
		return mints(d1.inv(), d2.inv());
	}
	
	mints operator+(const mints& a) const {
		return mints(d1 + a.d1, d2 + a.d2);
	}
	mints operator-(const mints& a) const {
		return mints(d1 - a.d1, d2 - a.d2);
	}
	mints operator*(const mints& a) const {
		return mints(d1 * a.d1, d2 * a.d2);
	}
	mints operator/(const mints& a) const {
		return mints(d1 / a.d1, d2 / a.d2);
	}
	bool operator==(const mints& a) const {
		return d1 == a.d1 and d2 == a.d2;
	}
	bool operator!=(const mints& a) const {
		return d1 != a.d1 or d2 != a.d2;
	}
    ull get_hash(){
        return (ull(d1.val()) << 32) + ull(d2.val());
    };
};
ostream& operator<<(ostream& os, const mints& a) {os << a.d1 << '&' << a.d2; return os;}

const int base = 334;
struct S{
	mints val, c;
	S(mints val, mints c) : val(val), c(c) {}
};
S op(S a, S b){
	S res(a.val * b.c + b.val, a.c * b.c);
	return res;
}
S e(){
	S e(mints(0), mints(1));
	return e;
}

int main(){
	{
		const int p1 = random_prime();
		const int p2 = random_prime();
		mint1::set_mod(p1);
		mint2::set_mod(p2);
	}
	int n, l, q;
	cin >> n >> l >> q;
	vector<string> s(n);
	cin >> s;
	vector<segtree<S, op, e>> seg;
	rep(i, n){
		vector<S> init(l, S(mints(0), base));
		rep(j, l) init[j] = S(mints(s[i][j] - 'a'), base);
		segtree<S, op, e> seg_sub(init);
		seg.push_back(seg_sub);
	}
	rep(_, q){
		int t;
		cin >> t;
		if(t == 1){
			int k;
			char c, d;
			cin >> k >> c >> d;
			k--;
			rep(i, n){
				if(s[i][k] == c){
					s[i][k] = d;
					seg[i].set(k, S(mints(d - 'a'), base));
				}
			}
		}
		if(t == 2){
			string t;
			cin >> t;
			int m = t.size();
			mints rh(0);
			int ans = 0;
			rep(j, m){
				rh *= base;
				rh += t[j] - 'a';
			}
			rep(i, n){
				auto [val, c] = seg[i].prod(0, m);
				if(val == rh) ans++;
			}
			cout << ans << "\n";
		}
	}
	return 0;
}
0