Luogu P6269 [COCI2016-2017#1] Vještica 题解
题目描述
Matej 面临着一个难题。在此之前,我们必须熟悉一种称作前缀树(trie
)的数据结构。前缀树以前缀的方式,储存单词:
- 前缀树的每一条边都用英文字母表中的字母表示。
- 前缀树的根节点表示空前缀。
- 前缀树的每个其他节点都表示一个非空前缀。依次连接根节点至该节点路径上所标有的字母,即可得到该前缀。
- 不存在从一个节点出发的、标有相同字母的两条边。
例如,这棵前缀树储存了 A,to,tea,ted,ten,i,in,inn:
现在,Matej 获得了 nn 个单词,并可以将其中的一些单词重组。例如 abc
可以重组为 acb,bac,bca,cab,cba
。请你计算,将一些单词重组后,储存这些单词的前缀树节点数的最小值。
输入格式
第一行一个整数 \(n\) 。
接下来 \(n\) 行,每行一个字符串,表示 Matej 获得的单词。
输出格式
一行,一个整数,表示将一些单词重组后,储存这些单词的前缀树节点数的最小值。
输入输出样例
1 输入
3
a
ab
abc
1 输出
4
2 输入
3
a
ab
c
2 输出
4
3 输入
4
baab
abab
aabb
bbaa
3 输出
5
说明/提示
样例 3 解释
所有单词均可以重组为 aabb。显然,前缀树最少的节点数应为 55(包含了表示空前缀的根节点)。
数据规模与约定
对于 \(100\%\) 的数据,保证 \(1\le n\le 16\)。
所有单词的长度和不超过 \(10^6\) ,且只包含小写字母。
说明
题目译自 COCI2016-2017 CONTEST #1 T6 Vještica。
题目解析
首先,可以贪心,可以搜索,并且不需要输出路径,考虑DP。
\(n\leq 16\) ,这么小肯定是状压DP。
令 \(f_i\) 代表状态为 \(i\) 时的答案,这里把 \(i\) 看做一个集合。
首先考虑的是 \(i\) 只有两项的时候,不难发现, \(f_{\{i,j\}}=f_i+f_j-pre_{i,j}\) ,其中 \(pre_{i,j}\) 表示 \(i,j\) 的最长公共字串。
拓展一下,得出 \(f_i=f_{i-j}+f_j-pre_{x,y} \left( x,y\in i\right)\)
这里需要注意一下循环的范围。
最后注意一下要把结果加上 \(1\) ,因为还有一个空节点。
代码:
#include<cstdio> //luogu P6289
#include<cstring>
#include<iostream>
#define maxn 70039
using namespace std;
inline int read(){
char c=getchar();
int sum=0,flag=0;
while((c<'0'||c>'9')&&c!='-') c=getchar();
if(c=='-')
c=getchar(),flag=1;
while('0'<=c&&c<='9'){
sum=(sum<<1)+(sum<<3)+(c^48);
c=getchar();
}
if(flag) return -sum;
return sum;
}
int f[maxn],pre[maxn][39];
int sum[39][39];
char s[100039];
int n,len;
int main(){
cin>>n;
memset(f,0x3f,sizeof(f));
memset(pre,0x3f,sizeof(pre));
for(int i=1;i<=n;i++){
cin>>s;
len=strlen(s);
for(int j=0;j<len;j++)
sum[i][s[j]-'a'+1]++;
sum[i][0]=strlen(s);
f[1<<i-1]=sum[i][0];
}
for(int i=1;i<(1<<n);i++){
for(int j=1;j<=n;j++){
if((i>>j-1)&1){
for(int k=1;k<=26;k++)
pre[i][k]=min(pre[i][k],sum[j][k]);
}
}
pre[i][0]=0;
for(int k=1;k<=26;k++)
pre[i][0]+=pre[i][k];
for(int j=(i-1)&i;j;j=(j-1)&i)
f[i]=min(f[i],f[i^j]+f[j]-pre[i][0]);
}
printf("%d",f[(1<<n)-1]+1);
return 0;
}