好题 np.
对于20分 显然可以爆搜。
对于50分 可以发现每个字符串上的问号要么是0,要么是1.考虑枚举一个字符串当前是0还是1 这会和其他字符串产生矛盾。
所以容易 发现这是一个2-sat问题。
拆点 把任意两个产生矛盾的字符串进行连边。然后最后判矛盾即可。
n^2枚举 建图 判断矛盾时使用字符串hash 要分类讨论4种情况。
using namespace std;
const int MAXN=1010,maxn=500010,cc1=19260817,cc2=114514;
int n,mark,cnt,top,id,len;
string a[MAXN];
int flag[MAXN],c[MAXN<<1],low[MAXN<<1],dfn[MAXN<<1],s[MAXN<<1];
int lin[MAXN<<1],ver[MAXN*MAXN<<2],nex[MAXN*MAXN<<2],w[MAXN];
vector<int>h0[MAXN];//表示为0时的前缀hash值 或者表示什么都不是的前缀hash值.
vector<int>h1[MAXN];//表示为1时的前缀hash值
struct wy
{
int len,id;
}t[MAXN];
inline int cmp(wy a,wy b){return a.len<b.len;}
inline void dfs(int x)
{
low[x]=dfn[x]=++cnt;
s[++top]=x;
go(x)
{
if(!dfn[tn])
{
dfs(tn);
low[x]=min(low[x],low[tn]);
}
else if(!c[tn])low[x]=min(low[x],dfn[tn]);
}
if(dfn[x]==low[x])
{
int y=0;++id;
while(y!=x)
{
y=s[top--];
c[y]=id;
}
}
}
inline void add(int x,int y)
{
ver[++len]=y;
nex[len]=lin[x];
lin[x]=len;
}
int main()
{
freopen("code.in","r",stdin);
freopen("code.out","w",stdout);
ios::sync_with_stdio(false);
cin>>n;
if(n<=1000)
{
rep(1,n,i)
{
cin>>a[i];
t[i]=(wy){a[i].size(),i};
}
rep(1,n,i)
{
ll w0=0,w1=0;
rep(0,((int)a[i].size())-1,j)
{
w0=w0*P%mod;
w1=w1*P%mod;
if(a[i][j]=='?')
{
flag[i]=j+1;
w0=(w0+cc1)%mod;
w1=(w1+cc2)%mod;
}
else
{
if(a[i][j]=='0')w1=(w1+cc1)%mod,w0=(w0+cc1)%mod;
else w1=(w1+cc2)%mod,w0=(w0+cc2)%mod;
}
h0[i].pb(w0);
h1[i].pb(w1);
}
}
//x表示这个点选择0 x+n表示这个点选择1.
sort(t+1,t+1+n,cmp);
rep(1,n,i)
{
int x=t[i].id;//x.len<=y.len
int xx=t[i].len;
rep(i+1,n,j)
{
int y=t[j].id;
if(!flag[x]&&(!flag[y]||flag[y]>xx))
{
if(h0[x][xx-1]==h0[y][xx-1])
{
puts("NO");
return 0;
}
continue;
}
if(!flag[x]&&flag[y]<=xx)
{
if(h0[x][xx-1]==h0[y][xx-1])add(y,y+n);
if(h0[x][xx-1]==h1[y][xx-1])add(y+n,y);
continue;
}
if(flag[x]&&(!flag[y]||flag[y]>xx))
{
if(h0[x][xx-1]==h0[y][xx-1])add(x,x+n);
if(h1[x][xx-1]==h0[y][xx-1])add(x+n,x);
}
if(flag[x]&&flag[y]<=xx)
{
if(h0[x][xx-1]==h0[y][xx-1])add(x,y+n),add(y,x+n);
if(h0[x][xx-1]==h1[y][xx-1])add(x,y),add(y+n,x+n);
if(h1[x][xx-1]==h0[y][xx-1])add(x+n,y+n),add(y,x);
if(h1[x][xx-1]==h1[y][xx-1])add(x+n,y),add(y+n,x);
}
}
}
rep(1,n+n,i)if(!dfn[i])dfs(i);
rep(1,n,i)if(c[i]==c[i+n]){puts("NO");return 0;}
puts("YES");
}
return 0;
}
考虑100分。
我考试的时候想了一波trie树 但是当时思考没有在这个暴力的基础上思考 所以 建图也很麻烦 所以弃疗了。
可以发现我们拆过点后 把这些串给放到trie树上。
可以发现连边的时候 使用前缀和连边 即可优化建图了。
对于某个节点存放多个节点 这个时候 对这个节点内部再进行一次前缀和优化建图。
对于某个节点不存在? 考虑子树内和链上上的节点都需要自己向自己的对立连边 这个使用懒标记即可。
上传标记和 标记的时候注意判断不合法的情况。
这个优化建图还是很精髓的。充分的利用了trie树的性质。
注意空间不要开小了 计算不了点数可以开到空间上界小一点。
const int MAXN=500010*3;
int n,sum,cnt=1,top,id,len,last=1,mark;
string a[MAXN];
int t[MAXN][2],ne[MAXN],pos[MAXN];
int flag[MAXN],c[MAXN<<3],low[MAXN<<3],dfn[MAXN<<3],s[MAXN<<3],w1[MAXN],w2[MAXN];
int lin[MAXN<<3],ver[MAXN<<3],nex[MAXN<<3],add1[MAXN],add2[MAXN];
vector<int>g[MAXN];
inline void dfs(int x)
{
low[x]=dfn[x]=++cnt;
s[++top]=x;
go(x)
{
if(!dfn[tn])
{
dfs(tn);
low[x]=min(low[x],low[tn]);
}
else if(!c[tn])low[x]=min(low[x],dfn[tn]);
}
if(dfn[x]==low[x])
{
int y=0;++id;
while(y!=x)
{
y=s[top--];
c[y]=id;
}
}
}
inline void add(int x,int y)
{
ver[++len]=y;
nex[len]=lin[x];
lin[x]=len;
}
inline void insert(int x,int op)
{
int p=1,c=min(x,ne[x]);
for(ui i=0;i<a[c].size();++i)
{
int w=a[c][i]-'0';
if(!t[p][w])t[p][w]=++cnt;
p=t[p][w];
}
if(op)g[p].pb(x);
else
{
if(add1[p])mark=1;
add1[p]=1,add2[p]=1;
}
pos[x]=p;
}
inline void dfs(int x,int fa)
{
int s1=++sum,s2=++sum;
if(w1[fa])add(s1,w1[fa]);//w1[x]表示当前点向前缀所有的点的相反点的连边
if(w2[fa])add(w2[fa],s2);//w2[x]表示前缀所有的点向当前点的连边.
int c1=++sum,c2=++sum,cc1,cc2;//c1表示当前这个点对前缀和的相反点的连边.
//c2表示前缀和的所有点对当前点的连边.
for(ui i=0;i<g[x].size();++i)
{
int tn=g[x][i];
//cout<<tn<<endl;
add(tn,c1);
cc1=++sum;
add(cc1,c1);
add(cc1,ne[tn]);
c1=cc1;
add(c2,ne[tn]);
cc2=++sum;
add(c2,cc2);
add(tn,cc2);
c2=cc2;
if(w1[fa])add(tn,w1[fa]);
if(w2[fa])add(w2[fa],ne[tn]);
add(s1,ne[tn]);
add(tn,s2);
}
//puts("ww");
w1[x]=s1;w2[x]=s2;
if(t[x][0])add1[t[x][0]]|=add1[x],dfs(t[x][0],x);//传递子树标记
if(t[x][1])add1[t[x][1]]|=add1[x],dfs(t[x][1],x);
if(add2[x]&&add2[t[x][0]])mark=1;
if(add2[x]&&add2[t[x][1]])mark=1;
add2[x]|=add2[t[x][0]];//传递链上标记.
add2[x]|=add2[t[x][1]];
}
int main()
{
freopen("code.in","r",stdin);
freopen("code.out","w",stdout);
ios::sync_with_stdio(false);
cin>>n;//cout<<1<<endl;
rep(1,n,i)cin>>a[i];
rep(1,n,i)
{
ne[i]=i+n;ne[i+n]=i;
for(ui j=0;j<a[i].size();++j)if(a[i][j]=='?'){flag[i]=j+1;break;}
if(flag[i])
{
a[i][flag[i]-1]='0';
insert(i,1);
a[i][flag[i]-1]='1';
insert(i+n,1);
}
else insert(i,0);
}
sum=2*n;dfs(1,0);
if(mark){puts("NO");return 0;}
rep(1,2*n,i)if(add1[pos[i]]||add2[pos[i]])if(pos[i])add(i,ne[i]);
rep(1,2*n,i)if(!dfn[i])dfs(i);
rep(1,n,i)if(c[i]==c[i+n]){puts("NO");return 0;}
puts("YES");
return 0;
}
