图论--2-SAT--暴力染色法模板（字典序最小解) RQ的板子

//暴力DFS，求字典序最小的解，也是求字典序唯一的方法
#include<cstdio>
#include<cstring>
#include<vector>
using namespace std;
const int maxn=10000+10;
struct TwoSAT
{int n;//原始图的节点数(未翻倍)vector<int> G[maxn*2];//G[i]==j表示如果mark[i]=true,那么mark[j]也要=truebool mark[maxn*2];//标记int S[maxn*2],c;//S和c用来记录一次dfs遍历的所有节点编号void init(int n){this->n=n;for(int i=0;i<2*n;i++) G[i].clear();memset(mark,0,sizeof(mark));}//加入(x,xval)或(y,yval)条件//xval=0表示假，yval=1表示真void add_clause(int x,int xval,int y,int yval){x=x*2+xval;y=y*2+yval;G[x^1].push_back(y);G[y^1].push_back(x);}//从x执行dfs遍历,途径的所有点都标记//如果不能标记,那么返回falsebool dfs(int x){if(mark[x^1]) return false;//这两句的位置不能调换if(mark[x]) return true;mark[x]=true;S[c++]=x;for(int i=0;i<G[x].size();i++)if(!dfs(G[x][i])) return false;return true;}//判断当前2-SAT问题是否有解bool solve(){for(int i=0;i<2*n;i+=2)if(!mark[i] && !mark[i+1]){c=0;if(!dfs(i)){while(c>0) mark[S[--c]]=false;if(!dfs(i+1)) return false;}}return true;}
};

图论--2-SAT--暴力染色法模板（字典序最小解) RQ的板子相关推荐

【算法竞赛模板】二分图（染色法、匈牙利法）
二分图一.定义二.应用三.算法模板 ① 染色法模板 ② 匈牙利模板 - 邻接表 ③ 匈牙利模板 - 邻接矩阵废话不多说,本苟蒻发文,有任何问题欢迎大佬斧正~(>人<:) 一.定 ...
常用代码模板3——搜索与图论（Bellman-Ford算法、spfa 算法、floyd算法、Kruskal算法、染色法、匈牙利算法）
目录一.树与图的存储二.树与图的遍历 (1) 深度优先遍历 -- 模板题 AcWing 846. 树的重心 (2) 宽度优先遍历 -- 模板题 AcWing 847. 图中点的层次拓扑排序 -- ...
二分图(染色法+匈牙利法)学习笔记
一.二分图模板二分图的性质: 集合内部没有边二分图当且仅当图中不含奇数环 1.1. 染色法判断是否为二分图简要介绍采用 dfsdfsdfs 遍历图.尝试把和一个点相连的所有的点涂为不同色(一共 ...
AcWing 860. 染色法判定二分图 (染色法)
题目链接 : 点击查看题目描述 : 给定一个 n 个点 m 条边的无向图,图中可能存在重边和自环. 请你判断这个图是否是二分图. 输入输出格式 : 输入第一行包含两个整数 n 和 m. 接下来 m ...
染色法判断无向图是否为二部图
二分图二分图又称作二部图,是图论中的一种特殊模型. 设G=(V,E)是一个无向图,如果顶点V可分割为两个互不相交的子集(A,B),并且图中的每条边(i,j)所关联的两个顶点i和j分别属于这两个不同的 ...
【染色法判别二分图】
模板题: AcWing 860. 染色法判定二分图解题思路: (1)判断一个图是否是二分图,判断是否存在奇数环即可,用染色法判断即可. (2)二分图: 是指可以将点集分成两半,每个集合内都没有边,但 ...
染色法求解“微信群覆盖”
出处:染色法求解"微信群覆盖" 微信有很多群,现进行如下抽象: (1) 每个微信群由一个唯一的gid标识: (2) 微信群内每个用户由一个唯一的uid标识: (3) 一个用户可以加 ...
图论二分图问题讲解-染色法和匈牙利算法
二分图概述: 二分图又称作二部图,是图论中的一种特殊模型. 设G=(V,E)是一个无向图,如果顶点V可分割为两个互不相交的子集(A,B),并且图中的每条边(i,j)所关联的两个顶点i和j分别属于这两 ...
[日常] 算法-旋转字符串-暴力移位法
题目描述给定一个字符串,要求把字符串前面的若干个字符移动到字符串的尾部,如把字符串"abcdef"前面的2个字符'a'和'b'移动到字符串的尾部,使得原字符串变成字符串" ...

图论--2-SAT--暴力染色法模板（字典序最小解) RQ的板子

图论--2-SAT--暴力染色法模板（字典序最小解) RQ的板子相关推荐

最新文章

热门文章