BZOJ 3998 TJOI2015 弦论 后缀自动机

本文介绍了一种使用后缀自动机(SAM)解决求字符串中严格/非严格K小子串问题的方法。首先构建SAM,接着通过BFS计算各状态出现次数,并用DFS计算节点后继状态数。

题目大意:求严格/非严格K小子串 
首先建立Sam 
然后BFS一遍求出每个点代表状态的出现次数 
此时如果是严格的那么每个点代表状态的出现次数都应该是1 
然后DFS一遍求出每个节点的后继状态个数 
然后就随便搞了啊= = 
妈了个鸡卡常数。。。

<code class="language-c++ hljs perl has-numbering" style="display: block; padding: 0px; color: inherit; box-sizing: border-box; font-family: 'Source Code Pro', monospace;font-size:undefined; white-space: pre; border-top-left-radius: 0px; border-top-right-radius: 0px; border-bottom-right-radius: 0px; border-bottom-left-radius: 0px; word-wrap: normal; background: transparent;"><span class="hljs-comment" style="color: rgb(136, 0, 0); box-sizing: border-box;">#include <cstdio></span>
<span class="hljs-comment" style="color: rgb(136, 0, 0); box-sizing: border-box;">#include <cstring></span>
<span class="hljs-comment" style="color: rgb(136, 0, 0); box-sizing: border-box;">#include <iostream></span>
<span class="hljs-comment" style="color: rgb(136, 0, 0); box-sizing: border-box;">#include <algorithm></span>
<span class="hljs-comment" style="color: rgb(136, 0, 0); box-sizing: border-box;">#define M 500500</span>
using namespace std;
<span class="hljs-keyword" style="color: rgb(0, 0, 136); box-sizing: border-box;">int</span> type,k;
char <span class="hljs-keyword" style="color: rgb(0, 0, 136); box-sizing: border-box;">s</span>[M],ans[M];<span class="hljs-keyword" style="color: rgb(0, 0, 136); box-sizing: border-box;">int</span> tot;
namespace Suffix_Automaton{
    struct Sam{
        Sam <span class="hljs-variable" style="color: rgb(102, 0, 102); box-sizing: border-box;">*son</span>[<span class="hljs-number" style="color: rgb(0, 102, 102); box-sizing: border-box;">26</span>],<span class="hljs-variable" style="color: rgb(102, 0, 102); box-sizing: border-box;">*parent</span>;
        <span class="hljs-keyword" style="color: rgb(0, 0, 136); box-sizing: border-box;">int</span> max_dpt,cnt;
        long long size;
        <span class="hljs-keyword" style="color: rgb(0, 0, 136); box-sizing: border-box;">int</span> v;
        void* operator new (size_t,<span class="hljs-keyword" style="color: rgb(0, 0, 136); box-sizing: border-box;">int</span> <span class="hljs-number" style="color: rgb(0, 102, 102); box-sizing: border-box;">_</span>)
        {
            static Sam mempool[M<<<span class="hljs-number" style="color: rgb(0, 102, 102); box-sizing: border-box;">1</span>],<span class="hljs-variable" style="color: rgb(102, 0, 102); box-sizing: border-box;">*C</span>=mempool;
            C->max_dpt=<span class="hljs-number" style="color: rgb(0, 102, 102); box-sizing: border-box;">_</span>;
            <span class="hljs-keyword" style="color: rgb(0, 0, 136); box-sizing: border-box;">return</span> C++;
        }
    }<span class="hljs-variable" style="color: rgb(102, 0, 102); box-sizing: border-box;">*root</span>=new (<span class="hljs-number" style="color: rgb(0, 102, 102); box-sizing: border-box;">0</span>)Sam,<span class="hljs-variable" style="color: rgb(102, 0, 102); box-sizing: border-box;">*last</span>=root;
    void Extend(<span class="hljs-keyword" style="color: rgb(0, 0, 136); box-sizing: border-box;">int</span> <span class="hljs-keyword" style="color: rgb(0, 0, 136); box-sizing: border-box;">x</span>)
    {
        Sam <span class="hljs-variable" style="color: rgb(102, 0, 102); box-sizing: border-box;">*p</span>=<span class="hljs-keyword" style="color: rgb(0, 0, 136); box-sizing: border-box;">last</span>;
        Sam <span class="hljs-variable" style="color: rgb(102, 0, 102); box-sizing: border-box;">*np</span>=new (p->max_dpt+<span class="hljs-number" style="color: rgb(0, 102, 102); box-sizing: border-box;">1</span>)Sam;
        <span class="hljs-keyword" style="color: rgb(0, 0, 136); box-sizing: border-box;">for</span>(;p&&!p->son[<span class="hljs-keyword" style="color: rgb(0, 0, 136); box-sizing: border-box;">x</span>];p=p->parent)
            p->son[<span class="hljs-keyword" style="color: rgb(0, 0, 136); box-sizing: border-box;">x</span>]=np;
        <span class="hljs-keyword" style="color: rgb(0, 0, 136); box-sizing: border-box;">if</span>(!p)
            np->parent=root;
        <span class="hljs-keyword" style="color: rgb(0, 0, 136); box-sizing: border-box;">else</span>
        {
            Sam <span class="hljs-variable" style="color: rgb(102, 0, 102); box-sizing: border-box;">*q</span>=p->son[<span class="hljs-keyword" style="color: rgb(0, 0, 136); box-sizing: border-box;">x</span>];
            <span class="hljs-keyword" style="color: rgb(0, 0, 136); box-sizing: border-box;">if</span>(p->max_dpt+<span class="hljs-number" style="color: rgb(0, 102, 102); box-sizing: border-box;">1</span>==<span class="hljs-keyword" style="color: rgb(0, 0, 136); box-sizing: border-box;">q</span>->max_dpt)
                np->parent=<span class="hljs-keyword" style="color: rgb(0, 0, 136); box-sizing: border-box;">q</span>;
            <span class="hljs-keyword" style="color: rgb(0, 0, 136); box-sizing: border-box;">else</span>
            {
                Sam <span class="hljs-variable" style="color: rgb(102, 0, 102); box-sizing: border-box;">*nq</span>=new (p->max_dpt+<span class="hljs-number" style="color: rgb(0, 102, 102); box-sizing: border-box;">1</span>)Sam;
                memcpy(nq->son,<span class="hljs-keyword" style="color: rgb(0, 0, 136); box-sizing: border-box;">q</span>->son,sizeof nq->son);
                nq->parent=<span class="hljs-keyword" style="color: rgb(0, 0, 136); box-sizing: border-box;">q</span>->parent;
                <span class="hljs-keyword" style="color: rgb(0, 0, 136); box-sizing: border-box;">q</span>->parent=nq;np->parent=nq;
                <span class="hljs-keyword" style="color: rgb(0, 0, 136); box-sizing: border-box;">for</span>(;p&&p->son[<span class="hljs-keyword" style="color: rgb(0, 0, 136); box-sizing: border-box;">x</span>]==<span class="hljs-keyword" style="color: rgb(0, 0, 136); box-sizing: border-box;">q</span>;p=p->parent)
                    p->son[<span class="hljs-keyword" style="color: rgb(0, 0, 136); box-sizing: border-box;">x</span>]=nq;
            }
        }
        <span class="hljs-keyword" style="color: rgb(0, 0, 136); box-sizing: border-box;">last</span>=np;
    }
    void BFS()
    {
        static Sam <span class="hljs-variable" style="color: rgb(102, 0, 102); box-sizing: border-box;">*q</span>[M<<<span class="hljs-number" style="color: rgb(0, 102, 102); box-sizing: border-box;">1</span>];
        <span class="hljs-keyword" style="color: rgb(0, 0, 136); box-sizing: border-box;">int</span> i,r=<span class="hljs-number" style="color: rgb(0, 102, 102); box-sizing: border-box;">0</span>,h=<span class="hljs-number" style="color: rgb(0, 102, 102); box-sizing: border-box;">0</span>;
        <span class="hljs-string" style="color: rgb(0, 136, 0); box-sizing: border-box;">q[++r]</span>=root;
        <span class="hljs-keyword" style="color: rgb(0, 0, 136); box-sizing: border-box;">while</span>(r!=h)
        {
            Sam <span class="hljs-variable" style="color: rgb(102, 0, 102); box-sizing: border-box;">*p</span>=<span class="hljs-string" style="color: rgb(0, 136, 0); box-sizing: border-box;">q[++h]</span>;
            <span class="hljs-keyword" style="color: rgb(0, 0, 136); box-sizing: border-box;">for</span>(i=<span class="hljs-number" style="color: rgb(0, 102, 102); box-sizing: border-box;">0</span>;i<<span class="hljs-number" style="color: rgb(0, 102, 102); box-sizing: border-box;">26</span>;i++)
                <span class="hljs-keyword" style="color: rgb(0, 0, 136); box-sizing: border-box;">if</span>(p->son[i]&&p->son[i]->v!=<span class="hljs-number" style="color: rgb(0, 102, 102); box-sizing: border-box;">1</span>)
                    p->son[i]->v=<span class="hljs-number" style="color: rgb(0, 102, 102); box-sizing: border-box;">1</span>,<span class="hljs-string" style="color: rgb(0, 136, 0); box-sizing: border-box;">q[++r]</span>=p->son[i];
        }
        <span class="hljs-keyword" style="color: rgb(0, 0, 136); box-sizing: border-box;">for</span>(i=r;i>=<span class="hljs-number" style="color: rgb(0, 102, 102); box-sizing: border-box;">2</span>;i--)
        {
            Sam <span class="hljs-variable" style="color: rgb(102, 0, 102); box-sizing: border-box;">*p</span>=<span class="hljs-string" style="color: rgb(0, 136, 0); box-sizing: border-box;">q[i]</span>;
            <span class="hljs-keyword" style="color: rgb(0, 0, 136); box-sizing: border-box;">if</span>(type==<span class="hljs-number" style="color: rgb(0, 102, 102); box-sizing: border-box;">0</span>)
                p->cnt=(bool)p->cnt;
            p->parent->cnt+=p->cnt;
        }
    }
    void DFS(Sam <span class="hljs-variable" style="color: rgb(102, 0, 102); box-sizing: border-box;">*p</span>)
    {
        <span class="hljs-keyword" style="color: rgb(0, 0, 136); box-sizing: border-box;">int</span> i;
        p->v=<span class="hljs-number" style="color: rgb(0, 102, 102); box-sizing: border-box;">2</span>;
        p->size=p->cnt;
        <span class="hljs-keyword" style="color: rgb(0, 0, 136); box-sizing: border-box;">for</span>(i=<span class="hljs-number" style="color: rgb(0, 102, 102); box-sizing: border-box;">0</span>;i<<span class="hljs-number" style="color: rgb(0, 102, 102); box-sizing: border-box;">26</span>;i++)
            <span class="hljs-keyword" style="color: rgb(0, 0, 136); box-sizing: border-box;">if</span>(p->son[i])
            {
                <span class="hljs-keyword" style="color: rgb(0, 0, 136); box-sizing: border-box;">if</span>(p->son[i]->v!=<span class="hljs-number" style="color: rgb(0, 102, 102); box-sizing: border-box;">2</span>)
                    DFS(p->son[i]);
                p->size+=p->son[i]->size;
            }
    }
    void Get_Kth(Sam <span class="hljs-variable" style="color: rgb(102, 0, 102); box-sizing: border-box;">*p</span>,<span class="hljs-keyword" style="color: rgb(0, 0, 136); box-sizing: border-box;">int</span> k)
    {
        <span class="hljs-keyword" style="color: rgb(0, 0, 136); box-sizing: border-box;">int</span> i;
        <span class="hljs-keyword" style="color: rgb(0, 0, 136); box-sizing: border-box;">if</span>(k<=p->cnt)
            <span class="hljs-keyword" style="color: rgb(0, 0, 136); box-sizing: border-box;">return</span> ;
        k-=p->cnt;
        <span class="hljs-keyword" style="color: rgb(0, 0, 136); box-sizing: border-box;">for</span>(i=<span class="hljs-number" style="color: rgb(0, 102, 102); box-sizing: border-box;">0</span>;i<<span class="hljs-number" style="color: rgb(0, 102, 102); box-sizing: border-box;">26</span>;i++)
            <span class="hljs-keyword" style="color: rgb(0, 0, 136); box-sizing: border-box;">if</span>(p->son[i])
            {
                <span class="hljs-keyword" style="color: rgb(0, 0, 136); box-sizing: border-box;">if</span>(k<=p->son[i]->size)
                {
                    ans[++tot]=i+<span class="hljs-string" style="color: rgb(0, 136, 0); box-sizing: border-box;">'a'</span>;
                    Get_Kth(p->son[i],k);
                    <span class="hljs-keyword" style="color: rgb(0, 0, 136); box-sizing: border-box;">return</span> ;
                }
                k-=p->son[i]->size;
            }
    }
}
<span class="hljs-keyword" style="color: rgb(0, 0, 136); box-sizing: border-box;">int</span> main()
{
    using namespace Suffix_Automaton;
    <span class="hljs-keyword" style="color: rgb(0, 0, 136); box-sizing: border-box;">int</span> i;
    scanf(<span class="hljs-string" style="color: rgb(0, 136, 0); box-sizing: border-box;">"<span class="hljs-variable" style="color: rgb(102, 0, 102); box-sizing: border-box;">%s</span><span class="hljs-variable" style="color: rgb(102, 0, 102); box-sizing: border-box;">%d</span><span class="hljs-variable" style="color: rgb(102, 0, 102); box-sizing: border-box;">%d</span>"</span>,<span class="hljs-keyword" style="color: rgb(0, 0, 136); box-sizing: border-box;">s</span>+<span class="hljs-number" style="color: rgb(0, 102, 102); box-sizing: border-box;">1</span>,&type,&k);
    <span class="hljs-keyword" style="color: rgb(0, 0, 136); box-sizing: border-box;">for</span>(i=<span class="hljs-number" style="color: rgb(0, 102, 102); box-sizing: border-box;">1</span>;<span class="hljs-keyword" style="color: rgb(0, 0, 136); box-sizing: border-box;">s</span>[i];i++) 
    {
        Extend(<span class="hljs-keyword" style="color: rgb(0, 0, 136); box-sizing: border-box;">s</span>[i]-<span class="hljs-string" style="color: rgb(0, 136, 0); box-sizing: border-box;">'a'</span>);
        <span class="hljs-keyword" style="color: rgb(0, 0, 136); box-sizing: border-box;">last</span>->cnt++;
    }
    BFS();root->cnt=<span class="hljs-number" style="color: rgb(0, 102, 102); box-sizing: border-box;">0</span>;
    DFS(root);
    <span class="hljs-keyword" style="color: rgb(0, 0, 136); box-sizing: border-box;">if</span>(root->size<k)
        <span class="hljs-keyword" style="color: rgb(0, 0, 136); box-sizing: border-box;">return</span> cout<<-<span class="hljs-number" style="color: rgb(0, 102, 102); box-sizing: border-box;">1</span><<endl,<span class="hljs-number" style="color: rgb(0, 102, 102); box-sizing: border-box;">0</span>;
    Get_Kth(root,k);
    <span class="hljs-keyword" style="color: rgb(0, 0, 136); box-sizing: border-box;">printf</span>(<span class="hljs-string" style="color: rgb(0, 136, 0); box-sizing: border-box;">"<span class="hljs-variable" style="color: rgb(102, 0, 102); box-sizing: border-box;">%s</span>\n"</span>,ans+<span class="hljs-number" style="color: rgb(0, 102, 102); box-sizing: border-box;">1</span>);
    <span class="hljs-keyword" style="color: rgb(0, 0, 136); box-sizing: border-box;">return</span> <span class="hljs-number" style="color: rgb(0, 102, 102); box-sizing: border-box;">0</span>;
}</code>
**项目名称:** 基于Vue.js与Spring Cloud架构的博客系统设计与开发——微服务分布式应用实践 **项目概述:** 本项目为计算机科学与技术专业本科毕业设计成果,旨在设计并实现一个采用前后端分离架构的现代化博客平台。系统前端基于Vue.js框架构建,提供响应式用户界面;后端采用Spring Cloud微服务架构,通过服务拆分、注册发现、配置中心及网关路由等技术,构建高可用、易扩展的分布式应用体系。项目重点探讨微服务模式下的系统设计、服务治理、数据一致性及部署运维等关键问题,体现了分布式系统在Web应用中的实践价值。 **技术架构:** 1. **前端技术栈:** Vue.js 2.x、Vue Router、Vuex、Element UI、Axios 2. **后端技术栈:** Spring Boot 2.x、Spring Cloud (Eureka/Nacos、Feign/OpenFeign、Ribbon、Hystrix、Zuul/Gateway、Config) 3. **数据存储:** MySQL 8.0(主数据存储)、Redis(缓存与会话管理) 4. **服务通信:** RESTful API、消息队列(可选RabbitMQ/Kafka) 5. **部署与运维:** Docker容器化、Jenkins持续集成、Nginx负载均衡 **核心功能模块:** - 用户管理:注册登录、权限控制、个人中心 - 文章管理:富文本编辑、分类标签、发布审核、评论互动 - 内容展示:首页推荐、分类检索、全文搜索、热门排行 - 系统管理:后台仪表盘、用户与内容监控、日志审计 - 微服务治理:服务健康检测、动态配置更新、熔断降级策略 **设计特点:** 1. **架构解耦:** 前后端完全分离,通过API网关统一接入,支持独立开发与部署。 2. **服务拆分:** 按业务域划分为用户服务、文章服务、评论服务、文件服务等独立微服务。 3. **高可用设计:** 采用服务注册发现机制,配合负载均衡与熔断器,提升系统容错能力。 4. **可扩展性:** 模块化设计支持横向扩展,配置中心实现运行时动态调整。 **项目成果:** 完成了一个具备完整博客功能、具备微服务典型特征的分布式系统原型,通过容器化部署验证了多服务协同运行的可行性,为云原生应用开发提供了实践参考。 资源来源于网络分享,仅用于学习交流使用,请勿用于商业,如有侵权请联系我删除!
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值