loj#6036 编码
分析
考虑trie+2sat
每次将?=0和?=1的分别插入
插入串时将这个点的选择状态和前缀的选择状态连关系边
注意串结束时建一个新点表示当前串
最后跑2sat即可
代码
#include<bits/stdc++.h>
using namespace std;
#define a(x) x<<1
#define b(x) x<<1|1
#define pb push_back
stack<int>a;
string s[500100];
vector<int>v[3000100];
int id[500100],siz[500100],n,m;
int trie[3000100][2],cnt,bel[3000100];
int low[3000100],dfn[3000100],is[3000100],T,sum;
inline bool cmp(int a,int b){return siz[a]<siz[b];}
inline void add(int x,int y){v[x].pb(y),v[y^1].pb(x^1);}
inline void tarjan(int x,int fa){
dfn[x]=low[x]=++T;
a.push(x);
is[x]=1;
for(int i=0;i<v[x].size();i++)
if(v[x][i]!=fa){
if(!dfn[v[x][i]]){
tarjan(v[x][i],x);
low[x]=min(low[x],low[v[x][i]]);
}else if(is[v[x][i]]){
low[x]=min(low[x],dfn[v[x][i]]);
}
}
if(low[x]==dfn[x]){
sum++;
while(1){
int u=a.top();
a.pop();
is[u]=0;
bel[u]=sum;
if(u==x)break;
}
}
return;
}
inline void ins(int i,int x){
int p=0,wh,la=0;
for(int j=0;j<siz[i];j++){
wh=(s[i][j]-'0');
if(!trie[p][wh])trie[p][wh]=++cnt;
la=p,p=trie[p][wh],add(x,a(p));
}
trie[la][wh]=++cnt;
add(x,b(cnt)),add(a(cnt),a(p));
return;
}
int main(){
int i,j,k,ok;
scanf("%d",&n);cnt=n;
for(i=1;i<=n;i++){
cin>>s[i];
id[i]=i;
siz[i]=s[i].length();
}
sort(id+1,id+n+1,cmp);
for(int _=1;_<=n;_++){
i=id[_],ok=0;
for(j=0;j<siz[i];j++)
if(s[i][j]=='?'){
s[i][j]='0',ins(i,a(i));
s[i][j]='1',ins(i,b(i));
ok=1;
break;
}
if(!ok){
ins(i,a(i));
add(b(i),a(i));
}
}
for(i=2;i<=(cnt<<1|1);i++)if(!dfn[i])tarjan(i,0);
for(i=1;i<=cnt;i++)
if(bel[a(i)]==bel[b(i)]){
puts("NO");
return 0;
}
puts("YES");
return 0;
}