【题解】CF1228D Complete Tripartite

Link

题目大意:给定一个无向图,将它划分为三个点集,要求在一个点集中的点没有边相连,且颜色相同,不同集合中的点互相有边相连。

( ext{Solution:})

我们发现,与一个点之间没有边相连的一定在同一个集合。

因为如果有边相连就已经违反了一个性质。

那么我们可以轻易确定一个集合。剩下的任务就是在剩下的点中确定另外两个集合。

我们遍历剩下没有确定的所有集合,随意找到一个点,将所有与它相连的、未染色的点划分为一个集合。

这样,剩下的点就是另一个集合。

证明:

对于除去已经确定的集合中的点,随意找到的点,它所相连的边,一种是属于已经确定的集合,就是已经染色的,直接跳过;

否则,其它边所连的点一定与它自己在不同集合中。而且,对于一个合法的划分,这是对所有点都满足的性质。

于是,我们随机找的正确性就有了保障。

并且还能证明出这样划分的集合形态唯一:对于一个点所连的所有点,因为我们选择先确定第一个集合,那么显然一个集合的点是确定的。因为与一个点没有边相连的点是确定的。

进一步地,因为我们已经证明随机选点的正确性,那我们随便选一个点,最终造成的结局一定是合法的(如果这个图有解)。因为对于任意个点都满足那个性质。

所以,我们随机选一个点并染色后,只需要一次判断就行了。

证毕。

首先判断每个集合中的点数是不是(0),无解情况之一。其次,枚举每个点对应的每条边,看看所连的点对应的集合是不是满足连满了对应的所有点。以及判断有没有与它相连的同一集合的点。

这题做完了。复杂度(O( ext{min(n,m)}))的亚子。

#include<bits/stdc++.h>
using namespace std;
const int MAXN=3e5+10;
int n,m,tot,head[MAXN<<1];
int col[MAXN],c[MAXN],cl[MAXN][4];
struct edge {
	int nxt,to;
} e[MAXN<<1];
inline void add(int x,int y) {
	e[++tot].to=y;
	e[tot].nxt=head[x];
	head[x]=tot;
}

int main() {
	scanf("%d%d",&n,&m);
	for(int i=1; i<=m; ++i) {
		int x,y;
		scanf("%d%d",&x,&y);
		add(x,y);
		add(y,x);
	}
	col[1]=1;
	c[1]++;
	for(int i=head[1]; i; i=e[i].nxt) {
		int j=e[i].to;
		col[j]=2;
	}
	for(int i=1; i<=n; ++i)if(!col[i])col[i]=1,c[1]++;
	int s=2;
	for(; s<=n&&col[s]!=2; s++);
	for(int i=head[s]; i; i=e[i].nxt) {
		int j=e[i].to;
		if(col[j]==1)continue;
		col[j]=3;
		c[3]++;
	}
	c[2]=n-c[1]-c[3];
	if(!c[1]||!c[2]||!c[3])return 0&puts("-1");
	for(int x=1; x<=n; ++x) {
		for(int i=head[x]; i; i=e[i].nxt) {
			int j=e[i].to;
			cl[x][col[j]]++;
		}
		for(int i=1; i<=3; ++i) {
			if(col[x]!=i&&cl[x][i]!=c[i]) {
				puts("-1");
				return 0;
			}
			if(col[x]==i&&cl[x][i])return 0&puts("-1");
		}
	}
	for(int i=1; i<=n; ++i)cout<<col[i]<<" ";
	return 0;
}
原文地址:https://www.cnblogs.com/h-lka/p/12887426.html