[POI2001]和平委员会

最新推荐文章于 2022-06-15 21:45:10 发布

Love_xyh

最新推荐文章于 2022-06-15 21:45:10 发布

阅读量242

点赞数 1

分类专栏： 2-SAT 强连通分量

本文链接：https://blog.csdn.net/Dove_xyh/article/details/108560907

版权

本文介绍了如何使用2-SAT算法解决和平委员会问题。通过从状态x到状态y建立有向边，表示若状态x存在，则状态y必须存在，以此来构建问题的逻辑关系图。

摘要由CSDN通过智能技术生成

通过从状态x向状态y连一条有向边表示若状态x存在，那么状态y必须存在。（即2-SAT算法）

建边如下图：

在这里插入图片描述

#include <bits/stdc++.h>
using namespace std;
const int N=8e3+5,M=2e4+5;
int n,m,x,y;
int now,top,col,dfn[N<<1],low[N<<1],sta[N<<1],color[N<<1],fr[N<<1];
int cnt,head[N<<1];
struct edge{
   int next,to;}e[M<<1];

inline void add(int u,int v)
{

最低0.47元/天解锁文章

确定要放弃本次机会？

福利倒计时

: :

立减 ¥

普通VIP年卡可用

立即使用

Love_xyh

关注关注

1
点赞
踩
0

收藏

觉得还不错? 一键收藏
0
评论
[POI2001]和平委员会

建边如下图：#include <bits/stdc++.h>using namespace std;const int N=8e3+5,M=2e4+5;int n,m,x,y;int now,top,col,dfn[N<<1],low[N<<1],sta[N<<1],color[N<<1],fr[N<<1];int cnt,head[N<<1];struct edge{int next,to;}e[M&lt
复制链接

扫一扫