[（可持久化）字典树优化建图][2-SAT] LOJ#6036. 雅礼集训 2017 Day4. 编码

老早以前的坑了
貌似好多地方都有这个题
因为每个串都只有一个问号，问号可取0可取1，这就是一个经典的2-SAT模型
但是直接做的话，边数是n2n^2级别的，不过因为是01串，可以用可持久化字典树优化建图（可能也可以不可持久化，但是我觉得可持久化比较方便）

UPD:代码可能是假的，看http://blog.csdn.net/coldef/article/details/78303359

#include <cstdio>
#include <iostream>
#include <algorithm>
#include <string>
#include <cstring>
#include <map>
#include <ctime>
#include <vector>
#include <stack>
#define N 2000010using namespace std;int n,cnt,g,flg;
int B[N],L[N],R[N],dfn[N],low[N],vis[N],wh[N],len[N],G[N];
char *A[N];
char M[N];
stack<int> S;
struct edge{int t,nx;
}E[N];inline void Insert(int x,int y){E[++cnt].t=y; E[cnt].nx=G[x]; G[x]=cnt;
}
map<string,int> Mp;struct trie{int node[N][3],cnt,enin[N];trie(){ cnt=1; }void insert(char *a,int x,int len){int k=1,i=0;while(i<len){if(node[k][a[i]-'0']) k=node[k][a[i]-'0'];else k=node[k][a[i]-'0']=++cnt;i++;}enin[k]=1;}bool check(char *a,int len){int k=1,i=0;while(i<len){if(node[k][a[i]-'0']) k=node[k][a[i]-'0']; else return false;if(enin[k]) return true;i++;}return true;}
}C;struct itrie{int node[N][3],cnt,enin[N],G[N],g;itrie(){ cnt=1;}void insert(char *a,int x,int len){int k=1,i=0;while(i<len){if(node[k][a[i]-'0']) Insert(node[k][a[i]-'0']+g,cnt+1+g);k=node[k][a[i]-'0']=++cnt;i++;}Insert(k+g,x);enin[k]=1;}void explore(char *a,int x,int len){int k=1,i=0,w=0;while(i<len){k=node[k][a[i]-'0'];if(enin[k]) w=k;i++;}if(w) Insert(x,w+g);}
}D,F;void tarjan(int x){low[x]=dfn[x]=++g; vis[x]=1;S.push(x);for(int i=G[x];i;i=E[i].nx){if(!vis[E[i].t]){tarjan(E[i].t);low[x]=min(low[E[i].t],low[x]);}else if(vis[E[i].t]==1) low[x]=min(low[x],dfn[E[i].t]);}if(low[x]==dfn[x]){++flg;while(1){int w=S.top(); S.pop();vis[w]=2;wh[w]=flg;if(w==x||S.empty()) break;}}
}int main(){scanf("%d",&n);for(int i=1,j;i<=n;i++){scanf("%s",M); len[i]=strlen(M);int tot=++Mp[M];if(tot>3) return puts("NO"),0;A[i]=new char[strlen(M)+5];for(j=0;j<len[i];j++) A[i][j]=M[j];for(j=0;j<len[i];j++) if(A[i][j]=='?') break;if(j==len[i]) B[i]=-1;else B[i]=j;}for(int i=1;i<=n;i++)if(B[i]==-1) if(C.check(A[i],len[i])) return puts("NO"),0;else C.insert(A[i],i,len[i]);for(int i=1;i<=n;i++)if(B[i]!=-1){int k=0;A[i][B[i]]='0';if(C.check(A[i],len[i])) k+=1;A[i][B[i]]='1';if(C.check(A[i],len[i])) k+=2;if(k==3) return puts("NO"),0;if(!k) continue;if(k==1)A[i][B[i]]='1',C.insert(A[i],i,len[i]);elseA[i][B[i]]='0',C.insert(A[i],i,len[i]);B[i]=-1;}D.g=500000; F.g=1000000;for(int i=1;i<=n;i++)if(B[i]!=-1){A[i][B[i]]='0';D.explore(A[i],i<<1|1,len[i]);A[i][B[i]]='1';D.explore(A[i],i<<1,len[i]);A[i][B[i]]='0';D.insert(A[i],i<<1,len[i]);A[i][B[i]]='1';D.insert(A[i],i<<1|1,len[i]);}for(int i=n;i;i--)if(B[i]!=-1){A[i][B[i]]='0';F.explore(A[i],i<<1|1,len[i]);A[i][B[i]]='1';F.explore(A[i],i<<1,len[i]);A[i][B[i]]='0';F.insert(A[i],i<<1,len[i]);A[i][B[i]]='1';F.insert(A[i],i<<1|1,len[i]);}for(int i=2;i<=(n<<1|1);i++)if(!vis[i]) tarjan(i);for(int i=1;i<=n;i++)if(wh[i<<1]==wh[i<<1|1]) return puts("NO"),0;puts("YES");return 0;
}

[（可持久化）字典树优化建图][2-SAT] LOJ#6036. 雅礼集训 2017 Day4. 编码相关推荐

BZOJ.3218.a + b Problem(最小割ISAP 可持久化线段树优化建图)
BZOJ UOJ 首先不考虑奇怪方格的限制,就是类似最大权闭合子图一样建图. 对于奇怪方格的影响,显然可以建一条边\((i\to x,p_i)\),然后由\(x\)向\(1\sim i-1\)中权值在 ...
UOJ#77. A+B Problem [可持久化线段树优化建边最小割]
UOJ#77. A+B Problem 题意:自己看接触过线段树优化建图后思路不难想,细节要处理好乱建图无果后想到最小割白色和黑色只能选一个,割掉一个就行了之前选白色必须额外割掉一个p[i], ...
【CF1045A】A Last chance【贪心】【线段树优化建图】【网络流构造方案】
题意:有nnn个武器和mmm个飞船,武器有下面三种从给定的集合SSS中击破一个. 在给定的区间[L,R][L,R][L,R]中击破一个. 对于给定的a,b,ca,b,ca,b,c,选择000个或22 ...
Codeforces 786B Legacy (线段树优化建图)
Codeforces 786B Legacy (线段树优化建图) 题意:\(n\)个点,有\(3\)种连边操作:1.将\(u\)指向\(v\):2.将\(v\)指向编号在区间\([l,r]\)的点:3 ...
线段树优化建图详解——区间连边之技巧，吊打紫题之利器
我们从一道例题开始. CF786B Description Solution 朴素解法: 暴力连边+最短路对于每次连边操作,我们逐一连边,最后在图上跑一遍单源最短路径算法即可. 时间复杂度 O ( ...
Gym - 102174G 神圣的 F2 连接着我们 (线段树优化建图 + 多源最短路)
Description 小白非常喜欢玩 "县际争霸" 这款游戏,虽然他的技术并不容乐观."县际争霸" 的地图共有两个县,每个县里各有 n n n 个据点.同一个 ...
[LOJ 6042]「雅礼集训 2017 Day7」跳蚤王国的宰相（树的重心+贪心）
[LOJ 6042]「雅礼集训 2017 Day7」跳蚤王国的宰相 description solution 一个到所有节点距离和最小的节点 ⇔\Leftrightarrow⇔ 树的重心(满足最重的儿 ...
数据结构二之线段树Ⅱ——KiKi‘s K-Number，ball，The Child and Sequence，「雅礼集训 2017 Day1」市场，Atlantis
值域线段树+势能线段树+扫描线 KiKi's K-Number ball The Child and Sequence 「雅礼集训 2017 Day1」市场 Atlantis KiKi's K-Num ...
#6034. 「雅礼集训 2017 Day2」线段游戏李超树
#6034. 「雅礼集训 2017 Day2」线段游戏内存限制:256 MiB时间限制:1000 ms标准输入输出题目类型:传统评测方式:Special Judge 上传者: 匿名提交提交记录统 ...

[（可持久化）字典树优化建图][2-SAT] LOJ#6036. 雅礼集训 2017 Day4. 编码

[（可持久化）字典树优化建图][2-SAT] LOJ#6036. 雅礼集训 2017 Day4. 编码相关推荐

最新文章

热门文章

[（可持久化）字典树 优化建图][2-SAT] LOJ#6036. 雅礼集训 2017 Day4. 编码

[（可持久化）字典树 优化建图][2-SAT] LOJ#6036. 雅礼集训 2017 Day4. 编码相关推荐

最新文章

热门文章

[（可持久化）字典树优化建图][2-SAT] LOJ#6036. 雅礼集训 2017 Day4. 编码

[（可持久化）字典树优化建图][2-SAT] LOJ#6036. 雅礼集训 2017 Day4. 编码相关推荐