标签：限制 int 笔记 学习 算法 取值 号点 SAT

算法&模板

算法

应用的问题

当有一堆的非黑即白的关系，且关系两两间存在一定的限制

此时可以运用2-SAT算法来求出可行解或者判断无解

引入

存在n个点，要求对点进行黑白染色，有m条限制形如：\((u,f_1,v,f_2)\)
表示 [ \(u\) 号点为 \(f_1\) 或 \(v\) 号点为 \(f_2\) ] ,求一组可行解

考虑将"或" 这种比较模糊的条件限制给固定住
即: 对于\((u,f_1,v,f_2)\)
有:

• \(u\) 号点不为 \(f_1\)时, \(v\) 号点为 \(f_2\)
• \(v\) 号点不为 \(f_2\)时, \(u\) 号点为 \(f_1\)

那么我们可以从u和v的部分取值中确切的推出对方的取值了
但此处是部分取值,那么考虑拆点,将每个点 \(u\) 拆成两个点,分别代表 \(u\) 选白和 \(u\)选黑
然后按照上面列出的限制,将每个点的状态向可推出的其他点的相应状态连边即可

连边后发现若发现点u的黑点与白点同处一个环内,则代表限制存在矛盾

否则,对于每个原先的点将它的缩点拓扑序较大的新点作为答案

code

	
for(int i=1;i<=n;++i) id[0][i]=i+n, id[1][i]=i;
for(int i=1;i<=m;++i)
{
     int u=read(), x=read(), v=read(), y=read();
     add(id[1^x][u],id[y][v]);
     add(id[1^y][v],id[x][u]);
}
	

int col[_<<1], st[_<<1], top, dfn[_<<1], low[_<<1], cnt, num, id[2][_];
void tarjan(int u)
{
    low[u]=dfn[u]=++cnt, st[++top]=u;
    for(int i=h[u];i;i=e[i].ne)
    {
        int v=e[i].to;
        if(dfn[v] && !col[v]) low[u]=min(low[u], dfn[v]);
        else if(!dfn[v]) { tarjan(v); low[u]=min(low[u],low[v]);}
    }
    if(dfn[u]!=low[u]) return;
    col[u]=++num; while(st[top]!=u) col[st[top]]=num, top--; top--;
}

for(re int i=1;i<=n;++i) if(col[i]==col[n+i]) {puts("IMPOSSIBLE"); return 0;}
puts("POSSIBLE");
for(re int i=1;i<=n;++i) printf("%d ", (col[i]<col[i+n]));

例题

此坑待填

标签：限制,int,笔记,学习,算法,取值,号点,SAT
来源： https://www.cnblogs.com/yzhx/p/15528929.html

本站声明： 1. iCode9 技术分享网（下文简称本站）提供的所有内容，仅供技术学习、探讨和分享；
2. 关于本站的所有留言、评论、转载及引用，纯属内容发起人的个人观点，与本站观点和立场无关；
3. 关于本站的所有言论和文字，纯属内容发起人的个人观点，与本站观点和立场无关；
4. 本站文章均是网友提供，不完全保证技术分享内容的完整性、准确性、时效性、风险性和版权归属；如您发现该文章侵犯了您的权益，可联系我们第一时间进行删除；
5. 本站为非盈利性的个人网站，所有内容不会用来进行牟利，也不会利用任何形式的广告来间接获益，纯粹是为了广大技术爱好者提供技术内容和技术思想的分享性交流网站。