Typesetting math: 100%

P6378-[PA2010]Riddle【2-SAT】

正题

题目链接:https://www.luogu.com.cn/problem/P6378


题目大意

给出n个点m条边的一张无向图,图中有k种颜色的点。

要求每种颜色选择一个点作为关键点,满足每条边两边至少有一个关键点

求是否有满足的方案

1n,m,k106


解题思路

如果想到2SAT的话就挺好解决的了。

然后一个经典的问题是一堆点里面选了一个点就不能选其他点。

可以考虑优化建图,搞一些前缀点和一些后缀点就好了

时间复杂度O(n)


code

#include<cstdio>
#include<cstring>
#include<algorithm>
#include<vector>
#include<stack>
using namespace std;
const int N=5e6+10;
struct node{
	int to,next;
}a[N<<1];
int n,m,k,cnt,tot,dfc,cfc;
int ls[N],dfn[N],low[N],col[N];
bool ins[N];vector<int> v[N];
stack<int> s;
void addl(int x,int y){
	a[++tot].to=y;
	a[tot].next=ls[x];
	ls[x]=tot;return;
}
void tarjan(int x){
	dfn[x]=low[x]=++dfc;
	s.push(x);ins[x]=1;
	for(int i=ls[x];i;i=a[i].next){
		int y=a[i].to;
		if(!dfn[y]){
			tarjan(y);
			low[x]=min(low[x],low[y]);
		}
		else if(ins[y])
			low[x]=min(low[x],dfn[y]);
	}
	if(low[x]==dfn[x]){
		++cfc;
		while(s.top()!=x){
			col[s.top()]=cfc;
			ins[s.top()]=0;
			s.pop();
		}
		col[s.top()]=cfc;
		ins[s.top()]=0;
		s.pop();
	}
	return;
}
int main()
{
	scanf("%d%d%d",&n,&m,&k);
	for(int i=1;i<=m;i++){
		int x,y;scanf("%d%d",&x,&y);
		addl(x*2-1,y*2);addl(y*2-1,x*2);
	}
	cnt=2*n;
	for(int i=1;i<=k;i++){
		int w,x;scanf("%d",&w);
		v[i].push_back(0);
		for(int j=1;j<=w;j++){
			scanf("%d",&x);
			v[i].push_back(x);
		}
		cnt++;addl(cnt,v[i][1]*2-1);
		for(int j=2;j<=w;j++){
			addl(v[i][j]*2,cnt);
			++cnt;addl(cnt,cnt-1);
			addl(cnt,v[i][j]*2-1);
		}
		cnt++;addl(cnt,v[i][w]*2-1);
		for(int j=w-1;j>=1;j--){
			addl(v[i][j]*2,cnt);
			++cnt;addl(cnt,cnt-1);
			addl(cnt,v[i][j]*2-1);
		}
	}
	for(int i=1;i<=cnt;i++)
		if(!dfn[i])tarjan(i);
	for(int i=1;i<=n;i++)
		if(col[2*i]==col[2*i-1])return puts("NIE")&0;
	puts("TAK");return 0;
}
posted @   QuantAsk  阅读(50)  评论(0编辑  收藏  举报
编辑推荐:
· 智能桌面机器人:用.NET IoT库控制舵机并多方法播放表情
· Linux glibc自带哈希表的用例及性能测试
· 深入理解 Mybatis 分库分表执行原理
· 如何打造一个高并发系统?
· .NET Core GC压缩(compact_phase)底层原理浅谈
阅读排行:
· 手把手教你在本地部署DeepSeek R1,搭建web-ui ,建议收藏!
· 新年开篇:在本地部署DeepSeek大模型实现联网增强的AI应用
· 程序员常用高效实用工具推荐,办公效率提升利器!
· Janus Pro:DeepSeek 开源革新,多模态 AI 的未来
· 【译】WinForms:分析一下(我用 Visual Basic 写的)
点击右上角即可分享
微信分享提示