[ZJOI2015]诸神眷顾的幻想乡

嘟嘟嘟




这题除了暴力我就不会了，感觉得用SAM，但是又和普通的SAM不一样。

看了题解才知道，这东西叫广义后缀自动机。

就是解决例如多个串的本质不同的子串的个数这样的问题。

做法就是每插入完一个串，就重新从根节点开始插入另一个字符串。（但一直只有一个SAM）




对于这道题，可以理解为在trie上建SAM。做法就是在trie上dfs，孩子节点从父亲节点在SAM中的位置插入，代码就是这样：

In void dfs(int now, int _f, int p)
{
  p = S.insert(col[now], p);
  for(int i = head[now], v; ~i; i = e[i].nxt)
    if((v = e[i].to) ^ _f) dfs(v, now, p);
}

因为最多只有20个叶节点，所以我们以每一个叶节点为根，跑一边trie，同时往SAM里插入。这样一定包含了任意一条路径。因为一条路径可以看做从某一个根节点出发的路径的子路径。
最后在后缀自动机上求一下本质不同的子串数目就好了。
```c++
#include
#include
#include
#include
#include
#include
#include
#include
#include
#include
using namespace std;
#define enter puts("")
#define space putchar(' ')
#define Mem(a, x) memset(a, x, sizeof(a))
#define In inline
typedef long long ll;
typedef double db;
const int INF = 0x3f3f3f3f;
const db eps = 1e-8;
const int maxn = 1e5 + 5;
inline ll read()
{
ll ans = 0;
char ch = getchar(), last = ' ';
while(!isdigit(ch)) last = ch, ch = getchar();
while(isdigit(ch)) ans = (ans = 10) write(x / 10);
putchar(x % 10 + '0');
}

int n, m, col[maxn], du[maxn];

struct Edge

{

int nxt, to;

}e[maxn << 1];

int head[maxn], ecnt = -1;

In void addEdge(int x, int y)

{

e[++ecnt] = (Edge){head[x], y};

head[x] = ecnt;

}

struct Sam

{

int cnt;

int tra[maxn * 40][11], len[maxn * 40], link[maxn * 40];

In void init() {link[cnt = 0] = -1;}

In int insert(int x, int las)

{

int now = ++cnt, p = las;

len[now] = len[las] + 1;

while(~p && !tra[p][x]) tra[p][x] = now, p = link[p];

if(p == -1) link[now] = 0;

else

{

int q = tra[p][x];

if(len[q] == len[p] + 1) link[now] = q;

else

{

int clo = ++cnt;

memcpy(tra[clo], tra[q], sizeof(tra[q]));

len[clo] = len[p] + 1;

link[clo] = link[q], link[q] = link[now] = clo;

while(~p && tra[p][x] == q) tra[p][x] = clo, p = link[p];

}

}

return now;

}

In ll calc()

{

ll ret = 0;

for(int i = 1; i <= cnt; ++i) ret += len[i] - len[link[i]];

return ret;

}

}S;

In void dfs(int now, int _f, int p)

{

p = S.insert(col[now], p);

for(int i = head[now], v; ~i; i = e[i].nxt)

if((v = e[i].to) ^ _f) dfs(v, now, p);

}

int main()

{

Mem(head, -1);

n = read(), m = read();

for(int i = 1; i <= n; ++i) col[i] = read();

for(int i = 1; i < n; ++i)

{

int x = read(), y = read();

addEdge(x, y), addEdge(y, x);

++du[x], ++du[y];

}

S.init();

for(int i = 1; i <= n; ++i) if(du[i] == 1) dfs(i, 0, 0);

write(S.calc()), enter;

return 0;

}