回文树(回文自动机)学习小结

基本的功能

首先十分重要的一点是一个长度为|S|的字符串最多只有|S|个本质不同的回文串
http://blog.csdn.net/u013368721/article/details/42100363
这篇配图文章写得很清晰

写一写里面没有的吧

首先回文串很多时候都是以其奇偶性来恶心人的,而回文树通过构造两个根(对应的是偶数长度的回文串以及奇数长度的回文串,并且把对应长度为奇数的树根的len设为-1巧妙的避免了很多繁琐的讨论)
回文树中的每一个节点对应的都是一个回文串,所以其节点数是O(|S|)级别的
假设我们现在正在插入第n个数,那么last就是以字符串中第n-1个字符为最右端的最长回文串在树中对应的位置

其他的一些变量为了方便解释,先把程序贴出来

int add(int c){
        cur=get_fail(last);
        if (next[cur][c]!=0){
            int now=newcode(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]++;
    }

getfail就表示不断的跳fail知道发现某一个回文串可以在两端同时加上c变成现在的回文串,返回的是这个回文串在回文树中对应的位置
cur表示的是以第n-1位结尾的,并且两边可以同时加上一个c的字符串在回文树中对应的位置,now就表示以第n位结尾的最长字符串对应的在回文树里面的位置,那么显然有len[now]=len[cur]+2,len表示这个节点所对应的回文串的长度
再看接下来的几句话
我们现在要找到fail[now],那么fail[now]是一个最右端和now相同的最长的回文串,所以我们跳一下fail[cur]的fail链就可以了,注意就算最后的next指向一个空串我们还是要连fail边,因为这会影响到我们接下来的匹配
num表示的是这个回文串的后缀回文串的出现次数,由于fail指向的是最大的,所以是+1
接下来我们把last跳到当前节点结束对应的最大回文串对应的节点那里,并且cnt[last]++表示这个节点对应的回文串的数量变多了一个

贴代码

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] ;  
    int num[MAXN] ;  
    int len[MAXN] ;//len[i]表示节点i表示的回文串的长度  
    int S[MAXN] ;//存放添加的字符  
    int last ;//指向上一个字符所在的节点,方便下一次add  
    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的子回文串!  
    }  
} ;  
  • 0
    点赞
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值