题目描述

给出n个结点的树结构T,其中每一个结点上有一个字符,这里我们所说的字符只考虑大写字母A到Z,再给出长度为m的模式串s,其中每一位仍然是A到z的大写字母。

Alice希望知道,有多少对结点<u,v>满足T上从u到V的最短路径形成的字符串可以由模式串S重复若干次得到?

这里结点对<u,v>是有序的,也就是说<u,v>和<v,u>需要被区分。

所谓模式串的重复,是将若干个模式串S依次相接(不能重叠)。例如当S=PLUS的时候,重复两次会得到PLUSPLUS,重复三次会得到PLUSPLUSPLUS,同时要注恿,重复必须是整数次的。例如当S=XYXY时,因为必须重复整数次,所以XYXYXY不能看作是S重复若干次得到的。

输入输出格式

输入格式:

每一个数据有多组测试,

第一行输入一个整数C,表示总的测试个数。

对于每一组测试来说:

第一行输入两个整数,分别表示树T的结点个数n与模式长度m。结点被依次编号为1到n,

之后一行,依次给出了n个大写字母(以一个长度为n的字符串的形式给出),依次对应树上每一个结点上的字符(第i个字符对应了第i个结点)。

之后n-1行,每行有两个整数u和v表示树上的一条无向边,之后一行给定一个长度为m的由大写字母组成的字符串,为模式串S。

输出格式:

给出C行,对应C组测试。

每一行输出一个整数,表示有多少对节点<u,v>满足从u到v的路径形成的字符串恰好是模式串的若干次重复.

输入输出样例

输入样例#1: 复制

1
11 4
IODSSDSOIOI
1 2
2 3
3 4
1 5
5 6
6 7
3 8
8 9
6 10
10 11
SDOI
输出样例#1: 复制

5

说明

1<=C<=10,3<=N<=1000000,3<=M<=1000000

题解

  题解大概看懂一点了……就是说用hash+点分治……好讨厌hash……总感觉还是半懂不懂……

  考虑每一个分治点,从他延伸下去能形成长度为多少的前缀和后缀(不包含自己和包含自己),然后两个两两组合起来计算答案

  据说时间复杂度$O(Tnlogn)$,数据就是为了卡点分的,然而因为全世界都只有前三组数据……所以能A……

 //minamoto
#include<cstdio>
#include<iostream>
#include<cstring>
#define N 1000003
#define ull unsigned long long
#define ll long long
#define p 2000001001
#define inf 1000000000
using namespace std;
template<class T>inline bool cmax(T&a,const T&b){return a<b?a=b,:;}
inline int read(){
#define num ch-'0'
char ch;bool flag=;int res;
while(!isdigit(ch=getchar()))
(ch=='-')&&(flag=true);
for(res=num;isdigit(ch=getchar());res=res*+num);
(flag)&&(res=-res);
#undef num
return res;
}
char sr[<<],z[];int C=-,Z;
inline void Ot(){fwrite(sr,,C+,stdout),C=-;}
inline void print(ll x){
if(C><<)Ot();if(x<)sr[++C]=,x=-x;
while(z[++Z]=x%+,x/=);
while(sr[++C]=z[Z],--Z);sr[++C]='\n';
}
int n,m,T,n1,rt,head[N],Next[N<<],ver[N<<],tot,size[N],son[N],sz,sz1;
int st[N],st1[N],len[N],cnt[N],cnt1[N];
ull mi[N],a[N],a1[N],b[N],c[N],val[N],sum[N],sum1[N];
ll ans;
bool vis[N];char s[N];
inline void add(int u,int v){
ver[++tot]=v,Next[tot]=head[u],head[u]=tot;
ver[++tot]=u,Next[tot]=head[v],head[v]=tot;
}
void findrt(int u,int fa){
size[u]=,son[u]=;
for(int i=head[u];i;i=Next[i]){
int v=ver[i];
if(vis[v]||v==fa) continue;
findrt(v,u);
cmax(son[u],size[v]);
size[u]+=size[v];
}
cmax(son[u],n1-size[u]);
if(son[u]<son[rt]) rt=u;
}
void getdep(int u,int fa){
if(b[len[u]]==sum[u]&&val[u]==a[]) st[++sz]=u;
for(int i=head[u];i;i=Next[i]){
int v=ver[i];if(vis[v]||v==fa) continue;
sum[v]=sum[u]*p+val[v];
len[v]=len[u]+;
getdep(v,u);
}
}
void getdep1(int u,int fa){
if(c[len[u]]==sum1[u]&&val[u]==a1[]) st1[++sz1]=u;
for(int i=head[u];i;i=Next[i]){
int v=ver[i];
if(vis[v]||v==fa) continue;
sum1[v]=sum1[u]*p+val[v];
getdep1(v,u);
}
}
void calc(int u){
for(int i=;i<=m;++i) cnt[i]=cnt1[i]=;
if(a[]==val[u]) cnt[]=;
if(a[m]==val[u]) cnt1[]=;
if(m==) ans+=cnt1[];
for(int i=head[u];i;i=Next[i]){
int v=ver[i];
if(vis[v]) continue;
sz=,len[v]=,sum[v]=val[v];
getdep(v,u);
for(int j=;j<=sz;++j){
int t=st[j];int pos=m-(len[t]-)%m-;
if(pos==) pos+=m;
ans+=(ll)cnt1[pos];
}
sz1=,sum1[v]=val[v];
getdep1(v,u);
for(int j=;j<=sz1;++j){
int t=st1[j];int pos=m-(len[t]-)%m-;
if(pos==) pos+=m;
ans+=(ll)cnt[pos];
}
for(int j=;j<=sz;++j){
int t=st[j];int pos=(len[t])%m+;
if(val[u]==a[pos]) ++cnt[pos];
}
for(int j=;j<=sz1;++j){
int t=st1[j];int pos=(len[t])%m+;
if(val[u]==a1[pos]) ++cnt1[pos];
}
}
}
void solve(int u){
calc(u),vis[u]=;int totsz=size[u];
for(int i=head[u];i;i=Next[i]){
int v=ver[i];
if(vis[v]) continue;
rt=;
n1=size[v];
if(n1<m) continue;
findrt(v,u);
solve(rt);
}
}
int main(){
T=read(),mi[]=;
for(int i=;i<=;++i) mi[i]=mi[i-]*p;
while(T--){
n=read(),m=read(),tot=,ans=;
memset(head,,sizeof(head));
scanf("%s",s+);
for(int i=;i<=n;++i) val[i]=s[i]-'A'+;
for(int i=;i<n;++i){
int u=read(),v=read();add(u,v);
}
scanf("%s",s+);
for(int i=;i<=max(n,m);++i) a[i]=s[(i-)%m+]-'A'+;
for(int i=;i<=max(n,m);++i) b[i]=b[i-]+a[i]*mi[i-];
for(int i=;i<=m;++i) a1[m-i+]=a[i];
for(int i=;i<=max(n,m);++i) a1[i]=a1[(i-)%m+];
for(int i=;i<=max(n,m);++i) c[i]=c[i-]+a1[i]*mi[i-];
memset(vis,,sizeof(vis));
son[]=inf,rt=,n1=n;
findrt(,);
solve(rt);
print(ans);
}
Ot();
return ;
}

bzoj 4598: [Sdoi2016]模式字符串的更多相关文章

  1. BZOJ.4598.[SDOI2016]模式字符串(点分治 Hash)

    LOJ BZOJ 洛谷 点分治.考虑如何计算过\(rt\)的答案. 记\(pre[i]\)表示(之前的)子树内循环匹配了\(S\)的前缀\(i\)的路径有多少,\(suf[i]\)表示(之前的)子树内 ...

  2. 【BZOJ4598】[Sdoi2016]模式字符串 树分治+hash

    [BZOJ4598][Sdoi2016]模式字符串 Description 给出n个结点的树结构T,其中每一个结点上有一个字符,这里我们所说的字符只考虑大写字母A到Z,再给出长度为m的模式串s,其中每 ...

  3. P4075 [SDOI2016]模式字符串

    总结 P4075 [SDOI2016]模式字符串 题目描述 给出n个结点的树结构T,其中每一个结点上有一个字符,这里我们所说的字符只考虑大写字母A到Z,再给出长度为m的模式串s,其中每一位仍然是A到z ...

  4. BZOJ4598 [Sdoi2016]模式字符串 【点分治 + hash】

    题目 给出n个结点的树结构T,其中每一个结点上有一个字符,这里我们所说的字符只考虑大写字母A到Z,再给出长度为m 的模式串s,其中每一位仍然是A到z的大写字母.Alice希望知道,有多少对结点< ...

  5. bzoj4598: [Sdoi2016]模式字符串

    Description 给出n个结点的树结构T,其中每一个结点上有一个字符,这里我们所说的字符只考虑大写字母A到Z,再给出长度为m 的模式串s,其中每一位仍然是A到z的大写字母.Alice希望知道,有 ...

  6. [SDOI2016]模式字符串

    Description 给出n个结点的树结构T,其中每一个结点上有一个字符,这里我们所说的字符只考虑大写字母A到Z,再给出长度为m的模式串s,其中每一位仍然是A到z的大写字母.Alice希望知道,有多 ...

  7. Bzoj4598: [Sdoi2016]模式字符串 点分治 哈希

    国际惯例的题面:这种关于树上路径的题,我也没什么好办法,只好点分治.考虑当前分治重心为root,如何统计经过分治重心的路径的答案.我们令prf[i]表示某个点到root的路径(不含root)已经循环匹 ...

  8. [SDOI2016] 模式字符串 (BZOJ4598 & VIJOS1995)

    首先直接点分+hash就可以做,每个点用hash判断是否为S重复若干次后的前缀或后缀,每个子树与之前的结果O(m)暴力合并.在子树大小<m时停止分治,则总复杂度为O(nlog(n/m)). 问题 ...

  9. [LOJ2065] [SDOI2016]模式字符串

    题目链接 洛谷:https://www.luogu.org/problemnew/show/P4075 LOJ:https://loj.ac/problem/2065 Solution 这种题看起来就 ...

随机推荐

  1. 配置siebel捕捉SQL语句

    C:\Siebel\15.0.0.0.0\Client\BIN\siebel.exe /c c:\Siebel\15.0.0.0.0\Client\bin\chs\siebel.cfg /B &quo ...

  2. Unable to resolve module `../res/images/ic_popular.png`

  3. c++之带默认形参值的函数

    先来个例子: #include <iostream> using namespace std; ,){ return x+y; } int main(){ //freopen(" ...

  4. U3D OnDrawGizmos

    private void OnDrawGizmos() { Debug.Log("OnDrawGizmos"); Gizmos.DrawWireSphere(this.transf ...

  5. Maven01 环境准备、maven项目结构、编译/测试/打包/清除、安装、

    0 前提准备 0.1 安装java开发环境 0.2 安装maven工具 1 maven项目基本结构 如图所示,整个maven项目有业务文件.测试文件.POM依赖管理文件:其实还有一个资源文件resou ...

  6. 基于Linux服务器的性能分析与优化

    作为一名Linux系统管理员,最主要的工作是优化系统配置,使应用在系统上以最优的状态运行,但硬件问题.软件问题.网络环境等的复杂性和多变性,导致了对系统的优化变得异常复杂,如何定位性能问题出在哪个方面 ...

  7. 269. Alien Dictionary火星语字典(拓扑排序)

    [抄题]: There is a new alien language which uses the latin alphabet. However, the order among letters ...

  8. 2018年最新 Java面试通关要点汇总集

    基础篇 基本功 面向对象的特征 final, finally, finalize 的区别 int 和 Integer 有什么区别 重载和重写的区别 抽象类和接口有什么区别 说说反射的用途及实现 说说自 ...

  9. Django框架 之 信号

    Django中提供了“信号调度”,用于在框架执行操作时解耦.通俗来讲,就是一些动作发生的时候,信号允许特定的发送者去提醒一些接受者. Django内置信号 Model signals pre_init ...

  10. 白盒测试实践项目(day4)

    华中科技大学教材订购系统 代码评审会议纪要 与会人员: 胡俊辉.杨瑞丰.汪鸿.张颖.李建文 评审标准: 此次代码评审会议,我们小组选用了阿里巴巴Java开发手册对代码进行评审. 会议过程: 1:周末下 ...