【2SAT+Trie】Gym101190B [NEERC2016] Binary Code

【题目】
Gym
给定一些二进制编码，每个编码至多有一个位置不知道是什么。问是否存在一种补全编码方式，使得没有任何一个编码是另一个编码的前缀。
$n,\sum |s|\le 5\times 10^5$

【解题思路】
两个之中的选择实际上就是一个$\text{2-SAT}$模型。但是我们暴力建图会凉凉，那么考虑用$\text{Trie}$来辅助建图，将所有串建出一棵$\text{Trie}$树，相当于任意一条根到叶子的路径上至多有一个点，那么我们可以用前缀优化建图。
然后就没了？真简单

【参考代码】

#include<bits/stdc++.h>
using namespace std;

const int N=5e6+10;

namespace Trie
{
	int sz,pos[N],fa[N],ch[N][2];
	void insert(char *s,int len,int p)
	{
		int now=0;
		for(int i=0;i<len;++i)
		{
			int x=s[i]^48;
			if(!ch[now][x]) ch[now][x]=++sz,fa[sz]=now;
			now=ch[now][x];
		}
		pos[p]=now;
	}
}
using namespace Trie;


namespace Graph
{
	int tot,top,scc,ind;
	int head[N],dfn[N],low[N],st[N],ins[N],bl[N];
	struct Tway{int v,nex;}e[N<<1];
	void add(int u,int v)
	{
		//printf("%d %d\n",u,v);
		e[++tot]=(Tway){v,head[u]};head[u]=tot;
	}
	void tarjan(int x)
	{
		//printf("%d\n",x);
		dfn[x]=low[x]=++ind;ins[x]=1;st[++top]=x;
		for(int i=head[x];i;i=e[i].nex)
		{
			int v=e[i].v;
			if(!dfn[v]) tarjan(v),low[x]=min(low[x],low[v]);
			else if(ins[v]) low[x]=min(low[x],dfn[v]);
		}
		if(dfn[x]^low[x]) return;
		//printf("%d\n",top);
		int u=0;++scc;do{u=st[top--];ins[u]=0;bl[u]=scc;}while(top && u!=x);
	}
}
using namespace Graph;

namespace DreamLolita
{
	int n,fg[N];
	char s[N];
	vector<string>S;
	vector<int>vec[N];
	void solution()
	{
		scanf("%d",&n);
		for(int i=1;i<=n;++i)
		{
			scanf("%s",s);fg[i]=-1;
			int len=strlen(s);string now="";
			for(int j=0;j<len;++j) 
			{
				now+=s[j];
				if(s[j]=='?') fg[i]=j;
			}
			S.push_back(now);
			if(!~fg[i])
			{
				add(i<<1,i<<1|1);insert(s,len,i<<1|1);pos[i<<1]=pos[i<<1|1];
			}
			else 
			{
				s[fg[i]]='0';insert(s,len,i<<1);s[fg[i]]='1';insert(s,len,i<<1|1);
			}
		}
		int sum=(n<<1|1)+2;
		for(int i=1;i<=sz;++i) add(sum+(fa[i]<<1),sum+(i<<1)),add(sum+(i<<1|1),sum+(fa[i]<<1|1));
		for(int i=2;i<=(n<<1|1);++i)
		{
			vec[pos[i]].push_back(i);
			if(ch[pos[i]][0]) add(i,sum+(ch[pos[i]][0]<<1));
			if(ch[pos[i]][1]) add(i,sum+(ch[pos[i]][1]<<1));
			add(i,sum+(fa[pos[i]]<<1|1));add(sum+(pos[i]<<1),i^1);add(sum+(pos[i]<<1|1),i^1);
		}
		sum+=(sz<<1|1)+2;
		for(int i=1;i<=sz;++i)
		{
			if(!vec[i].size()) continue;
			add(vec[i][0],sum);add(sum+1,vec[i][0]^1);
			for(int j=1;j<(int)vec[i].size();++j)
			{
				add(sum+(j<<1|1),sum+((j-1)<<1|1));add(sum+((j-1)<<1),sum+(j<<1));
				add(vec[i][j],sum+(j<<1));add(sum+(j<<1|1),vec[i][j]^1);
				add(vec[i][j],sum+((j-1)<<1|1));add(sum+((j-1)<<1),vec[i][j]^1);
			}
			sum+=((int)vec[i].size()<<1|1)+2;
		}
		for(int i=1;i<=sum;++i) if(!dfn[i]) tarjan(i);
		//for(int i=1;i<=sum;++i) printf("%d ",bl[i]); puts("");
		for(int i=1;i<=n;++i) if(bl[i<<1]==bl[i<<1|1]) {puts("NO");return;}
		puts("YES");
		for(int i=1;i<=n;++i) 
		{	
			if(~fg[i]) S[i-1][fg[i]]=bl[i<<1|1]<bl[i<<1]?'1':'0';
			int len=S[i-1].length();
			for(int j=0;j<len;++j) putchar(S[i-1][j]); puts("");
		}
	}
}

int main()
{
	freopen("binary.in","r",stdin);
	freopen("binary.out","w",stdout);
	DreamLolita::solution();
	return 0;
}