【[USACO12DEC]第一!First!】

一个串不能成为第一的情况有两种

1. 另外一个单词是它的前缀

2. 在分配字母表大小关系的时候出现了矛盾的情况

第一种很好判断，一旦我们在一个单词没有匹配完之前遇到一个结束标志，那么就说明另外一个单词是它的前缀

至于第二种，看到大小关系和是否矛盾我们很容易就联想到了拓扑排序

于是我们匹配的时候，发现某一层除了当前正在匹配的串以外还有其他字母，那么这些字母在我们构建的字母表中必须大于当前的这个字母，于是我们连一条有向边表示一下大小关系就好了

最后跑一遍拓扑判断一下是否有环就好了

#include<cstring>
#include<cstdio>
#include<iostream>
#include<string>
#define re register
#define maxn 300005
using namespace std;
struct node
{
	int v,nxt;
}e[1005];
int son[maxn][26],flag[maxn];
std::string S[30005];
int len[30005];
int n,num,cnt,tot;
int head[26];
int ans[maxn];
inline void add_edge(int x,int y)
{
	e[++num].v=y;
	e[num].nxt=head[x];
	head[x]=num;
}
inline void ins(int x)
{
	int now=0;
	for(re int i=0;i<len[x];i++)
	{
		if(!son[now][S[x][i]-'a']) son[now][S[x][i]-'a']=++cnt;
		now=son[now][S[x][i]-'a'];
	}
	flag[now]=1;
}
inline int check(int x)
{
	int now=0;
	memset(e,0,sizeof(e));
	int c[26];
	memset(c,0,sizeof(c));
	memset(head,0,sizeof(head));
	num=0;
	for(re int i=0;i<len[x];i++)
	{
		if(flag[now]) return 0;
		for(re int j=0;j<26;j++)
		if(son[now][j]&&S[x][i]-'a'!=j)
			add_edge(S[x][i]-'a',j),c[j]++;
		now=son[now][S[x][i]-'a'];
	}
	int cur=0;
	int q[27];
	memset(q,0,sizeof(q));
	for(re int i=0;i<26;i++)
	if(!c[i]) q[++cur]=i;
	for(re int i=1;i<=cur;i++)
	{
		for(re int j=head[q[i]];j;j=e[j].nxt)
		{
			c[e[j].v]--;
			if(!c[e[j].v]) q[++cur]=e[j].v;
		}
	}
	return cur==26;
}
int main()
{
	ios::sync_with_stdio(false);
    cin>>n;
	for(re int i=1;i<=n;i++)
	{
		cin>>S[i];
		len[i]=S[i].size();
		ins(i);
	}
	tot=0;
	for(re int i=1;i<=n;i++)
		if(check(i)) ans[++tot]=i;
	cout<<tot<<endl;
	for(re int i=1;i<=tot;i++)
	cout<<S[ans[i]]<<endl;
	return 0;
}