并查集：关押罪犯
题目描述Description
S 城现有两座监狱，一共关押着N 名罪犯，编号分别为1~N。他们之间的关系自然也极
不和谐。很多罪犯之间甚至积怨已久，如果客观条件具备则随时可能爆发冲突。我们用“怨
气值”（一个正整数值）来表示某两名罪犯之间的仇恨程度，怨气值越大，则这两名罪犯之
间的积怨越多。如果两名怨气值为c 的罪犯被关押在同一监狱，他们俩之间会发生摩擦，并
造成影响力为c 的冲突事件。
每年年末，警察局会将本年内监狱中的所有冲突事件按影响力从大到小排成一个列表，
然后上报到S 城Z 市长那里。公务繁忙的Z 市长只会去看列表中的第一个事件的影响力，
如果影响很坏，他就会考虑撤换警察局长。
在详细考察了N 名罪犯间的矛盾关系后，警察局长觉得压力巨大。他准备将罪犯们在
两座监狱内重新分配，以求产生的冲突事件影响力都较小，从而保住自己的乌纱帽。假设只
要处于同一监狱内的某两个罪犯间有仇恨，那么他们一定会在每年的某个时候发生摩擦。那
么，应如何分配罪犯，才能使Z 市长看到的那个冲突事件的影响力最小？这个最小值是少？
输入描述 Input Description
第一行为两个正整数N 和M，分别表示罪犯的数目以及存在仇恨的罪犯对数。
接下来的M 行每行为三个正整数aj，bj，cj，表示aj 号和bj 号罪犯之间存在仇恨，其怨气值为cj。数据保证，且每对罪犯组合只出现一次。
输出描述 Output Description
共1 行，为Z 市长看到的那个冲突事件的影响力。如果本年内监狱
中未发生任何冲突事件，请输出0。
样例输入 Sample Input
4 6
1 4 2534
2 3 3512
1 2 28351
1 3 6618
2 4 1805
3 4 12884
样例输出 Sample Output
3512
数据范围及提示Data Size & Hint
罪犯之间的怨气值如下面左图所示，右图所示为罪犯的分配方法，市长看到的冲突事件
影响力是3512（由2 号和3 号罪犯引发）。其他任何分法都不会比这个分法更优。
【数据范围】
对于30%的数据有N≤ 15。
对于70%的数据有N≤ 2000，M≤ 50000。
对于100%的数据有N≤ 20000，M≤ 100000。
由于不会二分图{且noip不考}，很多题解中说可以用并查集做，所以采用并查集。
此题所求的是最大怨气值的最小值。
可以qsort之后，通过二分寻找。
那么如何判断是否满足题意呢？
假设最大怨气值的最小值是第(mid)条关系。
那么从第(mid+1)条关系到第m条关系都不能满足。
可以通过一个数组记录i的敌人h[i]
如果i又有一个敌人j，就将j，h[i]归为一个集合。
在枚举从第mid+1到第m的每一条关系的时候，先判断该关系i，j是否在同一集合中
如果是，直接exit（false）；
code：
var n,m:longint;
map:array[1..100000]of record
x,y,z:longint;
end;
i,j,k:longint;
x,y,z:longint;
head,tail,mid:longint;
father:array[1..20000]of longint;
h:array[1..20000]of longint;
procedure qsort(x,y:longint);
var head, tail,k,temp:longint;
begin head:=x; tail:=y;
k:=map[(head+tail) div 2].z;
while head<tail do
begin while map[head].z<k do inc(head);
while k<map[tail].z do dec(tail);
if head<=tail
then begin temp:=map[head].x;
map[head].x:=map[tail].x;
map[tail].x:=temp;
temp:=map[head].y;
map[head].y:=map[tail].y;
map[tail].y:=temp;
temp:=map[head].z;
map[head].z:=map[tail].z;
map[tail].z:=temp;
inc(head);
dec(tail);
end;
end;
if x<tail then qsort(x,tail);
if head<y then qsort(head,y);
end;
function find(x:longint):longint;
begin while x<>father[x] do
x:=father[x];
exit(x);
end;
procedure union(x,y:longint);
begin father[find(x)]:=find(father[y]);
end;
function can(x:longint):boolean;
var i,j,k:longint;
begin for i:=m downto x+1 do
begin if find(map[i].x)=find(map[i].y)
then exit(false);
if h[map[i].x]=0
then h[map[i].x]:=map[i].y
else begin if find(h[map[i].x])<>find(map[i].y)
then union(h[map[i].x],map[i].y);
end;
if h[map[i].y]=0
then h[map[i].y]:=map[i].x
else begin if find(h[map[i].y])<>find(map[i].x)
then union(h[map[i].y],map[i].x);
end;
end;
exit(true);
end;
begin readln(n,m);
for i:=1 to m do
readln(map[i].x,map[i].y,map[i].z);
qsort(1,m);
head:=0; tail:=m;
if head=tail
then begin write(0);
{close(input);
close(output);
}
halt;
end;
while head<tail do
begin mid:=(head+tail)div 2;
for i:=1 to n do
father[i]:=i;
fillchar(h,sizeof(h),0);
if can(mid)
then tail:=mid
else head:=mid+1;
end;
if head=0
then writeln(0)
else writeln(map[head].z);
end.
