题目链接:https://www.nowcoder.com/acm/contest/59/B
flag:字典树+拓扑判环
问题讨论: ① 字符串b是字符串a的前缀子串,a不能成为最小字符串;
② 字符串b为最小字符串,必须满足b与全部字符串进行比较得到的小写字母的新大小关系不会形成环;
例如:ac、ca、aa,ac不能为最小字符串,因为ac<ca满足a<c,ac<aa满足c<a,则会成环,不可能;
*用字典树可以将问题讨论从字符串的个数n转化到字符的总数m,并且可以合并前缀,字典树的节点数情况好会远小于m;
*对于①,字典树中节点带idx字(记录字符串的编号),记录a的idx的节点(也就是a的尾字符)是记录b的idx的节点的子孙,所以遇到idx不为0,
停止向下深搜,就不会搜到a成为最小字符串了;
*对于②,我们仅需要对当前搜索到的节点比较其他兄弟(最多25个),得到字母大小新关系;一直到idx节点,我们就完成了将此字符串与其它字符串的比较,花费时间复杂度为O(26*(字符串的长度)),这时候我们判断:新关系是否成环,用拓扑排序来判断是否成环,一次判断时间为O(26*26);
*时间复杂度为O(n*26^2+26m);
疑惑:将节点写成struct花的空间比单独写成数组花的多,空间会超!
#include <iostream>
#include <algorithm>
#include <stdio.h>
#include <vector>
#include <queue>
#include <stack>
#include <string.h>
#define Size 300100
using namespace std;
int toUsed=1;
int degree[27];
int flag[27][27]={0},son[Size][27]={0},Idx[Size]={0};
string s[30010];
void Insert(int idx){
int loc=0;
for(int i=0;i<s[idx].length();++i){
int sn=s[idx][i]-'a';
if(son[loc][sn]==0) {son[loc][sn]=toUsed++;}
loc=son[loc][sn];
}
Idx[loc]=idx;
}
int ans[Size/10];
int temp=0;
bool topsort(){
memset(degree,0,sizeof(degree));
for(int i=0;i<26;++i)
for(int j=0;j<26;++j)
if(flag[i][j])++degree[i];
queue<int> Q;int cnt=0;
for(int i=0;i<26;++i)
if(!degree[i]){cnt++;Q.push(i);}
while(cnt<26&&!Q.empty()){
int x=Q.front();Q.pop();
for(int i=0;i<26;++i)
if(flag[i][x]){
--degree[i];
if(degree[i]==0){++cnt;Q.push(i);}
}
}
return cnt==26;
}
void dfs(int loc){
if(Idx[loc]){
if(topsort())ans[temp++]=Idx[loc];
return;
}
for(int i=0;i<26;++i){
if(!son[loc][i])continue;
for(int j=0;j<26;++j){
if(!son[loc][j]||i==j)continue;
++flag[i][j];
}
dfs(son[loc][i]);
for(int j=0;j<26;++j){
if(!son[loc][j]||i==j)continue;
--flag[i][j];
}
}
}
int main(){
int n;scanf("%d",&n);
for(int i=1;i<=n;++i){
cin>>s[i];
Insert(i);
}
dfs(0);
sort(ans,ans+temp);
printf("%d\n",temp);
for(int i=0;i<temp;++i)
cout<<s[ans[i]]<<endl;
return 0;
}