2-SAT模版

最新推荐文章于 2024-08-07 13:42:02 发布

自ran而然

最新推荐文章于 2024-08-07 13:42:02 发布

阅读量210

点赞数

CC 4.0 BY-SA版权

分类专栏：模版

本文链接：https://blog.csdn.net/S1766434333/article/details/106614368

模版专栏收录该内容

39 篇文章

订阅专栏

本文详细介绍了2-SAT问题的解决算法，采用Tarjan算法进行强连通分量分析，实现复杂度为O(n+m)，其中n为变量数，m为约束数。通过具体代码实现，展示了如何利用深度优先搜索和强连通分量的概念来求解2-SAT问题。

复杂度 $O (n + m)$

原理证明侵删

爆搜模版在这里侵删

const int maxn = 2e6+1000;

vector<int> g[maxn];
int low[maxn],dfn[maxn];
int scc[maxn];
int sta[maxn];
bool vis[maxn];
int num=0,ind=0;
int cnt=0;

int n,p,M,m;
int tol;

int fid(int x){
	return p+x;
}

int yid(int x){
	return 2*x-1;
}

int nid(int x){
	return 2*x;
}

void tarjan(int u){
	vis[u]=1;
	dfn[u]=low[u]=++num;
	sta[++ind]=u;
	for(auto i:g[u]){
		if(!dfn[i]){
			tarjan(i);
			low[u]=min(low[u],low[i]);
		}else if(vis[i]){
			low[u]=min(low[u],low[i]);
		}
	}
	if(dfn[u]==low[u]){
		++cnt;
		do{
			vis[sta[ind]]=0;
			scc[sta[ind]]=cnt;
			--ind;
		}while(u!=sta[ind+1]);
	}
}

int ans[maxn];
int f;

void _2sat(){
	tol=(p+M)*2;
	for(int i=1;i<=tol;++i){
		if(!dfn[i]){
			tarjan(i);
		}
	}
	int ft=0;
	for(int i=1;i<=p;++i){
		int yx=yid(i),nx=nid(i);
		if(scc[yx]==scc[nx]) {
			cout<<-1<<endl;
			return ;
		}
		if(scc[yx]<scc[nx]){
			ans[ft++]=i;
		}
	}
	for(int i=1;i<=M;++i){
		int yx=yid(fid(i)),nx=nid(fid(i));
		if(scc[yx]==scc[nx]) {
			cout<<-1<<endl;
			return ;
		}
		if(scc[yx]<scc[nx]){
			f=i;
		}
	}
	cout<<ft<<" "<<f<<endl;
	for(int i=0;i<ft;++i){
		cout<<ans[i]<<" ";
	}
	cout<<endl;
}