Day3
很多内容待完善。
后缀树
合并一条长链
后缀树上两个串的最长公共前缀是 lca
P6727 [COCI2015-2016#5] OOP
给出一个由 \(n\) 个只有小写字母的字符串 \(S_i\) 构成的序列。
\(m\) 次询问，每次给出一个恰好带通配符的询问串 \(T\)，求这个串能与多少串 \(S_i\) 匹配。通配符可以替换为空串或者某个串。\(\sum len \le 3\times10^6,n\le 10^5\)。
令 \(T=A*B\)，其中 \(*\) 为通配符。
我们就是要找到有多少 \(S_i\) 的前缀为 \(A\)，后缀为 \(B\)，长度 \(\ge \lvert T\rvert-1\)。
需要前后缀都出现，于是对于正反串建立 Trie，前后缀要求就转化为子树 dfs 序范围，然后又要求长度，于是就是三维偏序了。时间复杂度 \(O(n\log^2n)\)。
还有一个解法，我们对于前缀走 Trie，假设走到了节点 \(u\)，对于 \(u\) 的子节点寻找有无后缀哈希值在子节点中出现。这个直接离线 dfn序扫描线，满足可减性直接把区间询问打上两个标记即可。
gym103409H
popcount 的性质: \(s[0,2^{k}-1]=s[0,2^{k-1}-1]+s'[0,2^{k-1}-1]\)。其中 \(s'\) 为 \(s\) 的翻转。
对于询问串建立 AC 自动机
在 AC 自动机上，设 \(f_{u,k,0/1}\) 表示从 ACAM 上出发，走 \(s[0,2^{k}-1]\)，会走到的店
某题
称两个序列本质相同，当且仅当序列内部不含相同数，且内部相对大小关系相同。
给定一个 \(1-n\) 的排列 \(p\)，\(q\) 次查询，每次查询一个 \(1-m_i\) 的排列，问有多少个 \(p\) 的区间和该小排列本质相同。\(n,\sum len,m_i\le 2\times 10^5\)。
考虑如下映射
\(\{a_1,a_2...a_n\} \to \{a_1',a_2'..a_n'\}\)，其中 \(a_i'=\sum\limits_{j=1}^{i-1}[a_j>a_i]\)。
我们对于询问串建立 AC 自动机，更改 \(fail\) 定义（原本是找到一个最长的后缀 \(t\) 也在后缀自动机上），原本跳完 \(fail\) 后是 \(c\) 相等，但是区间改变了，所以我们要看有无一个 \(c'\) ，使得跳上去对应的子区间内 \(c'\) 和 \(u\) 往前一个距离的得到的 \(c\) 相同。
然后跑 \(P\) 的时候，也是根据上述更改后的 \(fail\) 定义来跳。
CF1801G A task for substrings
我们可以用类似前缀和来算，\([1,r]-[1,l-1]\)。但是这样会多算那些跨过 \(l\) 的串。于是就要求有多少 \((A,B)\)，满足 \(A+B \in \{s_1,s_2...s_n\}\)。且 \(A\) 为 \(s[1,l-1]\) 的后缀，\(B\) 为 \(s[l,r]\) 的前缀
任意字符集大小建立AC自动机
如果存在 \(c\)，\(\to ch_{u,c}\)，否则 \(ch_{u,c}=ch_{fail_u,c}\)。我们可以建立一个可持久化线段树直接继承 \(fail_u\) 的信息，然后单点改一下。
QOJ7742. Suffix Structure
我们先对于 Trie 建立出 AC 自动机，然后发现每个 \(d_x\) 就是从 AC 自动机上的 \(s_i\) 节点开始跑串 \(t\)，然后跳 \(fail\) 到哪个节点就是终点了。
QOJ5312. Levenshtein Distance
改题:
对于两个字符串 \(s\)，\(t\) 和常数 \(k\)。求 \(\min(k,s 与 t 编辑距离)\)。\(\lvert S\rvert,\lvert T\rvert \le 10^5，k\le 5000\)。
设 \(dp_{i,j}\) 表示 \(s[1,i]\) 匹配 \(t[1-j]\) 的最小编辑距离。
于是 \(dp_{i,j}=\min(dp_{i-1,j-1}+[s_i\neq t_j],dp_{i-1,j}+1,dp_{i,j-1}+1)\)。
我们只要考虑所有 \(\lvert i-j\rvert \le k\) 的位置即可，复杂度 \(O(nk)\)。
还有一个性质就是 \(dp_{i-1,j-1}\le dp_{i,j}\)。
设 \(f_{v,t}\) 表示 \(\lvert i-j\rvert=v\) 的时候，编辑距离用了 \(t\) 的时候的最大 \(i\)，然后每次转移用 SA 匹配一下找到
P4770 [NOI2018] 你的名字
建立 \(S\) 串的 SAM。我们对于 \(T\) 的 \(r\)，求最小的 \(l\) 使得 \(T[l,r] \in S\)。假设目前在 \(T[l,r]\) 的节点上，我们不断跳 link (l不断变大)，使得存在一个 \(T_{r+1}\) 的出边。这样子可以在 \(O(\lvert T\rvert)\) 的时间内求解。然后我们对于 \(T\) 再建立 SAM，
查一个子串是否在 \(s[l,r]\) 内出现过，可以线段树合并，求 \(l\) 之后的第一次出现的那个串。
P4482 [BJWC2018] Border 的四种求法
P6292 区间本质不同子串个数
可以用扫描线，扫到 \(R\)，用一个数据结构维护所有 \(L\) 的答案。移动 \(R\)，发现只会多了右端点是 \(R\) 的串。
而正好 endpos 集合对应的就是右端点集合相同的串，就可以放在一起处理了。除此之外，当 endpos 集合不同的时候，也有可能本次和上次右端点都相同。于是我们在 SAM 上记录一下 \(lst_u\) 表示 \(u\) 节点上一次出现的右端点。
- 把 \(s[l,r]\) 到根的链划分为若干段 \(lst\) 相等。
- 把 \(s[1,r]\) 到根的链设为 \(r\)。
我们发现这个操作类似于 lct，时间复杂度 \(O(n\log^2n+q\log n)\)。
P9717 [EC Final 2022] Binary String
打表观察一下，发现这其实是一个 \(1\) 分散的过程，最后生成的 \(1\) 尽可能分散。
同时发现，对于一个长度大于 \(1\) 的 \(0\) 段，如果左边不与 \(1\) 段相邻而是单个 \(1\) 相邻，那么每次操作后会整体左移。
对于一个长度大于 \(1\) 的 \(1\) 段，如果左边
QOJ6507. Recover the String
对于串 \(s[l,r]\) 一个点最多有两个度，\(s[l+1,r]\) 和 \(s[l,r-1]\)，一个点 \(u\) 的入点集合为 \(G(u)\),它表示的字符串为 \(S(u)\)。
如果度数为 \(1\)，就代表上述两个串相等，那么 \(s[l,r]\) 就是由单个字符构成。
如果度数为 \(2\) 的时候，
AGC018F Two Trees
区间线性基
区间询问线性基是否包含 \(x\)。每次遇到冲突时候，让下标最大的留下，下标下的继续往后走。
QOJ7905. Ticket to Ride
设 \(dp_{i,j}\) 表示 \(1-i\) 里面选了 \(j\) 个获得的最大收益。
暴力做时间复杂度 \(O(n^3)\)。观察到对于第二个转移每个两个变量减小的是一样的，于是 令 \(t=i-j\)，\(dp_{t,j}=\max\{dp_{t-1,j},dp_{t,j-k}+val(i-k+1,i)\}\)
第一个转移直接继承 \(i-1\) 就行了，第二个转移固定 \(i\) 可以看成 \(dp_j=\max dp_{j-k}+val(i-k+1,i)\)。
令 \(z=j-k\)，\(dp_j=\max dp_z+val(i+j-z+1,i)\)
就是一个前缀加，全局 \(\max\)，末尾加元素的数据结构。
可以用线段树维护，也可以用并查集更快。
对于 \(i<j\)，如果有 \(a_i>a_j\)，那么 \(j\) 无用。所以我们只需要维护一个单调递增的序列，将 \([i,nxt_i)\) 合在一起，其中 \(nxt_i\) 表示 \(i\) 后面第一个满足 \(a_i<a_j\) 的 \(j\)。每次前缀加，找到最后一个加的位置所属的块，整体抬升与后面比较。
P8173 [CEOI2021] Newspapers
考虑用可能存在集合来做。
初始查询 \(n-1\)， \(\{\}\)
P9731 [CEOI2023] Balance
先考虑 \(S=2\) 的做法，我们对于
对于 \(S\) 更大的做法，我们先做 \(S=2\) 然后分治下去。
某题
给定平面上 \(n\) 个点，保证没有三点共线,四点共圆。
询问有多少本质不同的圆。
两个圆本质相同，当且仅当包含的点集相同。
\(n\le 500\)
答案是 \(\begin{pmatrix}n\\1\end{pmatrix}+\begin{pmatrix}n\\2\end{pmatrix}+\begin{pmatrix}n\\3\end{pmatrix}+1\)。\(1\) 是一个空的圆，第一项是只包含一个点的圆。
