题目链接: https://www.lydsy.com/JudgeOnline/problem.php?id=4567

题解: 显然答案一定小于\(n\times n\), 字符串倒过来变成前缀建Trie, 题意转化如下:

每次可以在一棵树上标记一个点，要求标记一个点之前所有祖先都标记过，标记一个点的价值等于它父亲被标记的时间，最大化价值和(也可以是求所有父子标记时间之差的和的最小值)

一看到这个脑子里立刻蹦出一个贪心: 按照儿子个数从小到大选(用堆维护)

然而是错的

hack数据:

10
aaa
baa
caa
daa
eaa
aa
a
b
ab
bb

正确的方案是按子树大小从小到大选。这里提供一个不知道对不对的证明(其实是拼凑网上的其他题解):

(1) 最优答案一定是DFS序。这个按照父子时间差之和来理解，挺显然。(抱歉我水平有限也就能说到这个份上了……)

(2) DFS序中的最优答案一定是按子树大小从小到大选。感性理解是: 由于是DFS序我们可以只考虑根对答案产生的贡献，最小化根与其所有儿子的时间差之和。然后就相当于有一堆数给他们排序使得前缀和的和最小，然后就显然了……

教训: 贪心这种东西千万不能想当然，一定要证明！要证明！要证明！

代码

#include<cstdio>
#include<cstdlib>
#include<cstring>
#include<queue>
#define llong long long
using namespace std;const int N = 1e5;
const int L = 5e5+1e4;
const int S = 26;
struct Edge
{int v,nxt;
} e[(N<<1)+3];
int son[L+3][S+1];
char str[L+3];
bool isky[L+3];
int sz[N+3];
int sonn[N+3];
int fe[N+3];
int fa[N+3];
struct Element
{int u;Element() {}Element(int _u) {u = _u;}bool operator <(const Element &arg) const{return sz[u]>sz[arg.u];}
};
priority_queue<Element> que;
int n,siz,nn,en;void insertstr(char str[],int len)
{int u = 1;for(int i=1; i<=len; i++){if(!son[u][str[i]]) {siz++; son[u][str[i]] = siz;}u = son[u][str[i]];}isky[u] = true;
}void addedge(int u,int v)
{printf("addedge %d %d\n",u,v);en++; e[en].v = v;e[en].nxt = fe[u]; fe[u] = en;
}void dfs0(int u,int anc)
{if(isky[u]) {nn++; addedge(nn,anc); addedge(anc,nn); sonn[anc]++; anc = nn;}for(int i=1; i<=S; i++){int v = son[u][i];if(v){dfs0(v,anc);}}
}void dfs(int u)
{sz[u] = 1;for(int i=fe[u]; i; i=e[i].nxt){if(e[i].v==fa[u]) continue;fa[e[i].v] = u;dfs(e[i].v);sz[u] += sz[e[i].v];}
}int main()
{siz = 1;scanf("%d",&n);for(int i=1; i<=n; i++){scanf("%s",str+1); int len = strlen(str+1);for(int j=1; j<=len; j++) str[j] -= 96;for(int j=1; j<=len+1-j; j++) swap(str[j],str[len+1-j]);insertstr(str,len);}nn = 1; dfs0(1,1);dfs(1);que.push(Element(1));llong ans = 0ll;for(int i=1; i<=nn; i++){int u = que.top().u; que.pop();printf("%d\n",u);ans += sonn[u]*(i-1ll);for(int j=fe[u]; j; j=e[j].nxt){if(e[j].v==fa[u]) continue;fa[e[j].v] = u;que.push(e[j].v);}}ans = n*(n+1ll)/2ll-ans;printf("%lld\n",ans);return 0;
}