回文树学习

先看 《回文树及其应用》

参考博客:https://blog.csdn.net/qq_38995588/article/details/80644655
https://blog.csdn.net/u013368721/article/details/42100363

回文树的功能:

1.求串S前缀0~i内本质不同回文串的个数(两个串长度不同或者长度相同且至少有一个字符不同便是本质不同) 
2.求串S内每一个本质不同回文串出现的次数 
3.求串S内回文串的个数(其实就是1和2结合起来) 
4.求以下标 i 结尾的回文串的个数

回文树的构建:

有两个根,odd和even。每个节点有属性len(回文串长度,特殊的len[odd] = -1)、nxt[c](指向当前字符串在左右加两个c字符的回文串)、fail(失配指针,指向当前回文串的最长后缀回文串,特殊的fail[odd] = even)。

回文树的插入:

  1. 当在字符串末尾插入一个字符c时:
  2. 先沿着fail指针找到一个当前串的最长回文后缀substring = s[i..|s|],满足s[i-1, i-1] = c。
  3. 加入c后有最长后缀回文串c+substring+c,若该回文串未被构建,新建newnode节点表示串c+substring+c;若已经存在,更新相应属性即可。
  4. substring的nxt[c]指针指向newnode。找newnode的最长后缀回文串,更新其fail指针。

以上,需要申请以下变量:

    int next[MAXN][N] ;//next指针,指向的串为当前串两端加上同一个字符构成的回文串  
    int fail[MAXN] ;//fail指针,失配指针,指向当前节点的最长回文后缀
    int len[MAXN] ;//len[i]表示节点i表示的回文串的长度(一个节点表示一个回文串)
    int S[MAXN] ;//存放添加的字符  
    int last ;//指向新添加一个字母后所形成的最长回文串表示的节点。
    int n ;//表示添加的字符个数。
    int p ;//表示添加的节点个数。

除此之外,若要实现其他功能,还要加入以下变量:

    int cnt[MAXN] ; //表示节点i表示的本质不同的串的个数(建树时求出的不是完全的,最后count()函数跑一遍以后才是正确的) 
    int num[MAXN] ; //表示以节点i表示的最长回文串的最右端点为回文串结尾的回文串个数

具体实现:

新建节点

int newnode ( int len ) {//新建节点  
        for ( int i = 0 ; i < N ; ++ i ) next[p][i] = 0 ;  
        cnt[p] = 0 ; num[p] = 0 ; len[p] = len ;  
        return p ++ ;  
}

初始化根,even、odd节点,长度分别为0,-1,且even的fail指针指向odd

void init () {//初始化  
        p = 0 ;  
        newnode (0) ; newnode (-1) ;  
        last = 0 ; n = 0 ;
        S[n] = -1 ; //开头放一个字符集中没有的字符,减少特判
        fail[0] = 1 ;  
}

通过fail指针找最长回文后缀满足s[i-1,i-1] = c

int get_fail ( int x ) {//和KMP一样,失配后找一个尽量最长的  
        while ( S[n - len[x] - 1] != S[n] ) x = fail[x] ;  
        return x ;  
}  

添加字符c

void add ( int c ) {  
        c -= 'a' ;  
        S[++ n] = c ;  
        int cur = get_fail ( last ) ;//通过上一个回文串找这个回文串的匹配位置  
        if ( !next[cur][c] ) {//如果这个回文串没有出现过,说明出现了一个新的本质不同的回文串  
            int now = newnode ( len[cur] + 2 ) ;//新建节点  
            fail[now] = next[get_fail ( fail[cur] )][c] ;//和AC自动机一样建立fail指针,以便失配后跳转  
            next[cur][c] = now ;  
            num[now] = num[fail[now]] + 1 ;  
        }  
        last = next[cur][c] ;  
        cnt[last] ++ ;  
    }  

count

void count () {  
        for ( int i = p - 1 ; i >= 0 ; -- i ) cnt[fail[i]] += cnt[i] ;  
        //父亲累加儿子的cnt,因为如果fail[v]=u,则u一定是v的子回文串!  
    }  

完整模版:

const int MAXN = 100005 ;  
const int N = 26 ;  

struct Palindromic_Tree {  
    int next[MAXN][N] ;//next指针,next指针和字典树类似,指向的串为当前串两端加上同一个字符构成  
    int fail[MAXN] ;//fail指针,失配后跳转到fail指针指向的节点  
    int cnt[MAXN] ; //表示节点i表示的本质不同的串的个数(建树时求出的不是完全的,最后count()函数跑一遍以后才是正确的) 
    int num[MAXN] ; //表示以节点i表示的最长回文串的最右端点为回文串结尾的回文串个数
    int len[MAXN] ;//len[i]表示节点i表示的回文串的长度(一个节点表示一个回文串)
    int S[MAXN] ;//存放添加的字符  
    int last ;//指向新添加一个字母后所形成的最长回文串表示的节点。
    int n ;//表示添加的字符个数。
    int p ;//表示添加的节点个数。

    int newnode ( int l ) {//新建节点  
        for ( int i = 0 ; i < N ; ++ i ) next[p][i] = 0 ;  
        cnt[p] = 0 ;  
        num[p] = 0 ;  
        len[p] = l ;  
        return p ++ ;  
    }  

    void init () {//初始化  
        p = 0 ;  
        newnode (  0 ) ;  
        newnode ( -1 ) ;  
        last = 0 ;  
        n = 0 ;  
        S[n] = -1 ;//开头放一个字符集中没有的字符,减少特判  
        fail[0] = 1 ;  
    }  

    int get_fail ( int x ) {//和KMP一样,失配后找一个尽量最长的  
        while ( S[n - len[x] - 1] != S[n] ) x = fail[x] ;  
        return x ;  
    }  

    void add ( int c ) {  
        c -= 'a' ;  
        S[++ n] = c ;  
        int cur = get_fail ( last ) ;//通过上一个回文串找这个回文串的匹配位置  
        if ( !next[cur][c] ) {//如果这个回文串没有出现过,说明出现了一个新的本质不同的回文串  
            int now = newnode ( len[cur] + 2 ) ;//新建节点  
            fail[now] = next[get_fail ( fail[cur] )][c] ;//和AC自动机一样建立fail指针,以便失配后跳转  
            next[cur][c] = now ;  
            num[now] = num[fail[now]] + 1 ;  
        }  
        last = next[cur][c] ;  
        cnt[last] ++ ;  
    }  

    void count () {  
        for ( int i = p - 1 ; i >= 0 ; -- i ) cnt[fail[i]] += cnt[i] ;  
        //父亲累加儿子的cnt,因为如果fail[v]=u,则u一定是v的子回文串!  
    }  
} ;  

相关题目:

HDU 6599 :http://acm.hdu.edu.cn/showproblem.php?pid=6599

题意:询问长度为 i (1~n)的子串个数,满足条件子串自身和前一半都是回文串。

思路:构建好回文树后,遍历每个节点,看是否满足前一半也是回文串(因为节点本身也是回文串,所以等价于判断前一半和后一半是否相等,可以用哈希处理)。剩下的套用模版即可。

代码:

#include <bits/stdc++.h>
#define LL long long
using namespace std;
typedef unsigned long long ull;
const ull hash1 = 201326611;
const int MAXN = 300005 ;
const int N = 26 ;

LL ans[MAXN];
char str[MAXN];
ull ha[MAXN], pp[MAXN];
ull getha(int l, int r){
    if(l == 0) return ha[r];
    return ha[r] - ha[l-1] * pp[r-l+1];
}
bool check(int l, int r){
    int len = r-l+1;
    int mid = l+r >> 1;
    if(len & 1) return getha(l, mid) == getha(mid, r);
    else return getha(l, mid) == getha(mid+1, r);
}
struct Palindromic_Tree {
    int id[MAXN];
    int next[MAXN][N] ;//next指针,next指针和字典树类似,指向的串为当前串两端加上同一个字符构成
    int fail[MAXN] ;//fail指针,失配后跳转到fail指针指向的节点
    int cnt[MAXN] ; //表示节点i表示的本质不同的串的个数(建树时求出的不是完全的,最后count()函数跑一遍以后才是正确的)
    int num[MAXN] ; //表示以节点i表示的最长回文串的最右端点为回文串结尾的回文串个数
    int len[MAXN] ;//len[i]表示节点i表示的回文串的长度(一个节点表示一个回文串)
    int S[MAXN] ;//存放添加的字符
    int last ;//指向新添加一个字母后所形成的最长回文串表示的节点。
    int n ;//表示添加的字符个数。
    int p ;//表示添加的节点个数。

    int newnode ( int l ) {//新建节点
        for ( int i = 0 ; i < N ; ++ i ) next[p][i] = 0 ;
        cnt[p] = 0 ; num[p] = 0 ; len[p] = l ;
        return p ++ ;
    }

    void init () {//初始化
        p = 0 ;
        newnode (  0 ) ; newnode ( -1 ) ;
        last = 0 ; n = 0 ; S[n] = -1 ;//开头放一个字符集中没有的字符,减少特判
        fail[0] = 1 ;
    }

    int get_fail ( int x ) {//和KMP一样,失配后找一个尽量最长的
        while ( S[n - len[x] - 1] != S[n] ) x = fail[x] ;
        return x ;
    }

    void add ( int c ) {
        c -= 'a' ; S[++ n] = c ;
        int cur = get_fail ( last ) ;//通过上一个回文串找这个回文串的匹配位置
        if ( !next[cur][c] ) {//如果这个回文串没有出现过,说明出现了一个新的本质不同的回文串
            int now = newnode ( len[cur] + 2 ) ;//新建节点
            fail[now] = next[get_fail ( fail[cur] )][c] ;//和AC自动机一样建立fail指针,以便失配后跳转
            next[cur][c] = now ;
            num[now] = num[fail[now]] + 1 ;
        }
        last = next[cur][c] ; cnt[last] ++ ; id[last] = n;
    }

    void count () {
        for ( int i = p - 1 ; i >= 0 ; -- i ) cnt[fail[i]] += cnt[i] ;
        //父亲累加儿子的cnt,因为如果fail[v]=u,则u一定是v的子回文串!
        for(int i=2; i<p; i++){
            if(check(id[i]-len[i], id[i]-1))
                ans[len[i]] += cnt[i];
        }
    }
} tree;
int main()
{
    pp[0] = 1;
    for(int i=1; i<MAXN; i++) pp[i] = hash1 * pp[i-1];
    while(~scanf("%s", str)){
        memset(ans, 0, sizeof ans);
        int len = strlen(str);
        tree.init();
        for(int i=0; i<len; i++)
            tree.add(str[i]);

        ha[0] = str[0];
        for(int i=1; i<len; i++)
            ha[i] = ha[i-1] * hash1 + str[i];

        tree.count();
        for(int i=1; i<=len; i++)
            printf("%lld%c", ans[i], i==len?'\n':' ');
    }
}

CF 245 H:http://codeforces.com/problemset/problem/245/H

题意:长度为5000的串,询问 [l, r] 范围内的回文串的个数。

思路:由于串比较短,可以 n^2 预先处理出所有子串中回文串的数量,存在数组中。询问时O(1)查询即可。

代码:

#include <bits/stdc++.h>
#define LL long long
using namespace std;
const int maxn = 5005;

struct Palindromic_Tree {
    const static int MAXN = 5005;
    const static int N = 26;
    int next[MAXN][N] ,fail[MAXN] ,cnt[MAXN] ,num[MAXN] ,len[MAXN] ,S[MAXN] ;
    int last ,n ,p ;

    int newnode ( int l ) {
        for ( int i = 0 ; i < N ; ++ i ) next[p][i] = 0 ;
        cnt[p] = 0 ,num[p] = 0 ,len[p] = l ;
        return p ++ ;
    }
    void init () {
        p = 0 ;
        newnode (  0 ) ,newnode ( -1 ) ;
        last = 0 ,n = 0 ;
        S[n] = -1 ,fail[0] = 1 ;
    }
    int get_fail ( int x ) {
        while ( S[n - len[x] - 1] != S[n] ) x = fail[x] ;
        return x ;
    }
    void add ( int c ) {
        c -= 'a' ;
        S[++ n] = c ;
        int cur = get_fail ( last ) ;
        if ( !next[cur][c] ) {
            int now = newnode ( len[cur] + 2 ) ;
            fail[now] = next[get_fail ( fail[cur] )][c] ;
            next[cur][c] = now ;
            num[now] = num[fail[now]] + 1 ;
        }
        last = next[cur][c] ;
        cnt[last] ++ ;
    }
} PAM;

char s[maxn];
int ans[maxn][maxn];
int main()
{
    scanf("%s", s+1);
    int len = strlen(s+1);
    for(int i=1; i<=len; i++){
        PAM.init();
        for(int j=i; j<=len; j++){
            PAM.add(s[j]);
            ans[i][j] = ans[i][j-1]+PAM.num[PAM.last];
        }
    }
    int n, l, r;
    scanf("%d", &n);
    for(int i=1; i<=n; i++){
        scanf("%d%d", &l, &r);
        printf("%d\n", ans[l][r]);
    }
}

 

  • 1
    点赞
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值