hdu1814 Peaceful Commission
题目链接:戳我
菜得不行了,直到今天才刚开始学2-SAT。。。。
2-SAT的模板,因为是求最小字典序,所以只能用上限为的最暴力的方法来做。。。
#include<iostream>
#include<cstring>
#include<cstdio>
#include<algorithm>
#include<cmath>
#define MAXN 200010
using namespace std;
int n,m,t,cnt;
int head[MAXN],cur[MAXN],color[MAXN];
struct Edge{int nxt,to,dis;}edge[MAXN<<1];
inline int to(int x)
{
if(x&1) return x+1;
else return x-1;
}
inline void add(int from,int to){edge[++t].nxt=head[from],edge[t].to=to,head[from]=t;}
inline bool check(int x)
{
if(color[x]&&color[x]==2) return false;
else if(color[x]&&color[x]==1) return true;
color[x]=1;color[to(x)]=2;
cur[++cnt]=x;
for(int i=head[x];i;i=edge[i].nxt)
if(check(edge[i].to)==false) return false;
return true;
}
inline bool solve()
{
for(int i=1;i<=2*n;i++)
{
if(color[i]) continue;
cnt=0;
if(check(i)==false)
{
for(int j=1;j<=cnt;j++)
color[cur[j]]=color[to(cur[j])]=0;
if(check(to(i))==false) return false;
}
}
return true;
}
int main()
{
#ifndef ONLINE_JUDGE
freopen("ce.in","r",stdin);
#endif
while(scanf("%d%d",&n,&m)!=EOF)
{
memset(edge,0,sizeof(edge));
memset(head,0,sizeof(head));
memset(color,0,sizeof(color));
t=0;
for(int i=1;i<=m;i++)
{
int u,v;
scanf("%d%d",&u,&v);
add(u,to(v)),add(v,to(u));
}
if(solve()==true)
{
for(int i=1;i<=2*n;i++)
if(color[i]==1)
printf("%d\n",i);
}
else printf("NIE\n");
}
return 0;
}
【推荐】编程新体验,更懂你的AI,立即体验豆包MarsCode编程助手
【推荐】凌霞软件回馈社区,博客园 & 1Panel & Halo 联合会员上线
【推荐】抖音旗下AI助手豆包,你的智能百科全书,全免费不限次数
【推荐】博客园社区专享云产品让利特惠,阿里云新客6.5折上折
【推荐】轻量又高性能的 SSH 工具 IShell:AI 加持,快人一步
· 为什么说在企业级应用开发中,后端往往是效率杀手?
· 用 C# 插值字符串处理器写一个 sscanf
· Java 中堆内存和栈内存上的数据分布和特点
· 开发中对象命名的一点思考
· .NET Core内存结构体系(Windows环境)底层原理浅谈
· 为什么说在企业级应用开发中,后端往往是效率杀手?
· 本地部署DeepSeek后,没有好看的交互界面怎么行!
· DeepSeek 解答了困扰我五年的技术问题。时代确实变了!
· 趁着过年的时候手搓了一个低代码框架
· 推荐一个DeepSeek 大模型的免费 API 项目!兼容OpenAI接口!