蓝书（算法竞赛进阶指南）刷题记录——CH4901 & 洛谷1525 关押罪犯（并查集）

题目：CH4901/luogu1525.
题目大意：给定$n$个点$m$条边，现在要求把所有点划分成两组，使得两组组内边的边权最大值最小.
$1\le n\le 2\ast 10^4,1\le m\le 10^5$.

我们考虑把边从大到小排序然后按顺序加边，现在问题就变成了维护这张图什么时候从二分图变成了非二分图，也就是说什么时候出现了奇环.

考虑如何维护一张图是否是二分图，给每个点黑白染色，初始全白.当两个点之间连边分两种情况：
1.原来两点不在一个连通块中.这时候直接连边，若两个点颜色不一样就把其中一个反色即可.
2.在一个连通块中.判断两点颜色若相同说明不是二分图，否则直接跳过这条边.

显然这个问题是可以用并查集来维护的，直接搞就好.

时间复杂度$O(m\log n)$.

代码如下：

#include<bits/stdc++.h>
  using namespace std;

#define Abigail inline void
typedef long long LL;

const int N=20000,M=100000;

int n,m;
struct side{
  int x,y,c;
  bool operator < (const side &p)const{return c<p.c;}
}e[M+9];
int fa[N+9],d[N+9],ans;

int get(int u){
  if (u==fa[u]) return u;
  int rot=get(fa[u]);d[u]^=d[fa[u]];
  return fa[u]=rot;
}

Abigail into(){
  scanf("%d%d",&n,&m);
  for (int i=1;i<=m;++i)
    scanf("%d%d%d",&e[i].x,&e[i].y,&e[i].c);
}

Abigail work(){
  sort(e+1,e+1+m);
  int u,v;
  for (int i=1;i<=n;++i) fa[i]=i;
  for (int i=m;i>=1;--i){
    u=get(e[i].x);v=get(e[i].y);
	if (u==v){
	  if (d[e[i].x]^d[e[i].y]^1) {ans=e[i].c;return;}
    }else fa[v]=u,d[v]^=d[e[i].x]^d[e[i].y]^1;
  }
}

Abigail outo(){
  printf("%d\n",ans);
}

int main(){
  into();
  work();
  outo();
  return 0;
}