• 关于后缀自动机的一些理解


    咕咕咕了好久的东西,以前只是粗糙的背个板子之类的,并未对parent树有什么深刻的理解

    clj姐姐tql,这么神仙的东西是怎么想出来的啊

    个人认为有以下几点是难以理解的:

    一、right集合的定义:

      right集合就是指某一子串在原串当中出现的所有的位置的集合,也在某位大佬博客中叫做endpos集合;

    二、right集合(endpos集合)相同的我们称为endpos等价类(重点理解)

    三、对于任意两个endpos集合中,那么必然为其中一个为另一个的子串,或者两者绝无交集

    四、endpos的等价类的数量为O(n)后缀自动的边数也是O(n)

    五、我们在求parent树的时候其实是在对endpos的所有等价类进行分割操作,分割出的节点便是parent树上的节点

    六、parent树跟后缀自动机节点相同,但是所应用的范围不同:

      parent树主要是来求每个节点的性质(或者说字符子串的性质)而SAM其本身主要用于直接跑字符串

      同时,我们可以感性的认为,parent树上的连边主要是由于在子串前加上某一字符,而后缀自动机是在某一子串后面加上字符

    七、后缀自动机连边的时候,我们认为一个endpos等价类的后面加上一个字符其定然变成了另一个等价类,这样我们就可以来说明后缀自动

      机的连边是存在的;

    至于构造原理和一些图的话推荐这位大佬博客:QAQ

    慢即是快,细则是能,于小处铸迤逦
  • 相关阅读:
    Jsp 4—— 内置对象
    Jsp 3—— 声明语法
    Jsp 2—— 小脚本
    CF1479B1 Painting the Array I
    P5337 [TJOI2019]甲苯先生的字符串
    CF19C Deletion of Repeats
    CF484D Kindergarten
    CF529B Group Photo 2 (online mirror version)
    CF1068B LCM
    CF554A Kyoya and Photobooks
  • 原文地址:https://www.cnblogs.com/Hale522520/p/11268410.html
Copyright © 2020-2023  润新知