結果

問題 No.263 Common Palindromes Extra
ユーザー heno239heno239
提出日時 2020-05-01 16:06:40
言語 C++14
(gcc 12.3.0 + boost 1.83.0)
結果
WA  
実行時間 -
コード長 3,936 bytes
コンパイル時間 1,622 ms
コンパイル使用メモリ 139,688 KB
実行使用メモリ 27,360 KB
最終ジャッジ日時 2023-08-25 20:49:03
合計ジャッジ時間 7,307 ms
ジャッジサーバーID
（参考情報） 		judge12 / judge14
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 16 ms
9,244 KB
testcase_01 AC 1 ms
4,376 KB
testcase_02 AC 3 ms
4,376 KB
testcase_03 AC 50 ms
6,804 KB
testcase_04 AC 241 ms
19,516 KB
testcase_05 AC 170 ms
19,092 KB
testcase_06 AC 26 ms
5,556 KB
testcase_07 WA -
testcase_08 WA -
testcase_09 TLE -
testcase_10 -- -
testcase_11 -- -
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include<iostream>
#include<string>
#include<cstdio>
#include<vector>
#include<cmath>
#include<algorithm>
#include<functional>
#include<iomanip>
#include<queue>
#include<ciso646>
#include<random>
#include<map>
#include<set>
#include<bitset>
#include<stack>
#include<unordered_map>
#include<utility>
#include<cassert>
#include<complex>
#include<numeric>
using namespace std;

//#define int long long
typedef long long ll;

typedef unsigned long long ul;
typedef unsigned int ui;
const ll mod = 786433;
const ll INF = mod * mod;
typedef pair<int, int>P;
#define stop char nyaa;cin>>nyaa;
#define rep(i,n) for(int i=0;i<n;i++)
#define per(i,n) for(int i=n-1;i>=0;i--)
#define Rep(i,sta,n) for(int i=sta;i<n;i++)
#define rep1(i,n) for(int i=1;i<=n;i++)
#define per1(i,n) for(int i=n;i>=1;i--)
#define Rep1(i,sta,n) for(int i=sta;i<=n;i++)
#define all(v) (v).begin(),(v).end()
typedef pair<ll, ll> LP;
typedef long double ld;
typedef pair<ld, ld> LDP;
const ld eps = 1e-12;
const ld pi = acos(-1.0);

ll mod_pow(ll x, ll n, ll m = mod) {
	ll res = 1;
	while (n > 0) {
		if (n & 1)res = res * x%m;
		x = x * x%m; n >>= 1;
	}
	return res;
}
struct rolling_hash {
private:
	int sz;
	vector<ll> node;
	vector<ll> r;
	ll t = 999999937;
	ll m = 1000000009;
	ll invt;
public:
	rolling_hash(const string &s) {
		int n = s.length();
		sz = n;
		node.resize(n + 1); r.resize(n + 1);
		node[0] = 0;

		invt = mod_pow(t, m - 2, m);
		ll a = 1;
		rep(i, n) {
			//r[i] = a;
			int z = s[i] - 'a';
			node[i + 1] = node[i] + a * z;
			node[i + 1] %= m;
			a = a * t%m;
		}
		a = 1;
		rep(i, n) {
			r[i] = a; a = invt * a%m;
		}
	}
	ll calc(int le, int len) {
		ll ret = node[le + len] - node[le];
		if (ret < 0)ret += m;
		ret = ret * r[le] % m;
		return ret;
	}
};

void manacher(const string &s, vector<int> &r) {
	r.resize(s.size());
	int i = 0, j = 0;
	while (i < s.size()) {
		while (i - j >= 0 && i + j < s.size() && s[i - j] == s[i + j])++j;
		r[i] = j;
		int k = 1;
		while (i - k >= 0 && i + k < s.size() && k + r[i - k] < j)r[i + k] = r[i - k], ++k;
		i += k; j -= k;
	}
}

map<ll,ll> ps(string &s) {
	int n = s.size();
	rolling_hash rs(s);

	//LP d1 =rs. calc(2, 1);
	//cout << d1.first << " " << d1.second << "\n";
	map<ll, bool> used;
	map<ll,ll> next;
	map<ll, ll> dp;

	//odd
	{
		vector<int> c;
		manacher(s, c);
		rep(i, n) {
			int le = i + 1 - c[i];
			int ri = i - 1 + c[i];
			ll cur = rs.calc(le, ri - le + 1);
			dp[cur]++;
			used[cur] = true;
			while (le+1<=ri-1) {
				le++; ri--;
				ll nex = rs.calc(le, ri - le + 1);
				next[cur] = nex;
				if (used[nex])break;
				used[nex] = true; cur = nex;
			}
		}
	}
	//even
	{
		string ori; ori.push_back('#');
		rep(i, n) {
			ori.push_back(s[i]);
			ori.push_back('#');
		}
		vector<int> c;
		manacher(ori, c);
		rep(i, n) {
			int le = i - c[2 * i] / 2;
			int ri = i - 1 + c[2 * i] / 2;
			if (le > ri)continue;
			ll cur = rs.calc(le, ri - le + 1);
			dp[cur]++;
			used[cur] = true;
			while (le + 1 <= ri - 1) {
				le++; ri--;
				ll nex = rs.calc(le, ri - le + 1);
				next[cur] = nex;
				if (used[nex])break;
				used[nex] = true; cur = nex;
			}
		}
	}
	queue<ll> q;
	map<ll, int> cnt;
	for (pair<ll, bool> p : used) {
		if (next.find(p.first) != next.end()) {
			cnt[next[p.first]]++;
		}
	}
	for (pair<ll, bool> p : used) {
		if (cnt[p.first]==0) {
			q.push(p.first);
		}
	}
	while (!q.empty()) {
		ll p = q.front(); q.pop();
		if (next.find(p) != next.end()) {
			ll to = next[p];
			dp[to] += dp[p];
			cnt[to]--;
			if (cnt[to] == 0) {
				q.push(to);
			}
		}
	}
	return dp;
}
void solve() {
	string s, t; cin >> s >> t;
	map<ll, ll> dps = ps(s), dpt = ps(t);
	ll ans = 0;
	for (pair<ll, ll> p : dps) {
		ans += p.second*dpt[p.first];
	}
	cout << ans << "\n";
}

signed main() {
	ios::sync_with_stdio(false);
	cin.tie(0);
	//cout << fixed << setprecision(7);
	//init_f();
	//init();
	//experi();
	//int t; cin >> t; rep(i, t)solve();
	solve();
	stop
		return 0;
}
0