上白泽慧音

题目描述 Description
在幻想乡，上白泽慧音是以知识渊博闻名的老师。春雪异变导致人间之里的很多道路都被大雪堵塞，使有的学生不能顺利地到达慧音所在的村庄。因此慧音决定换一个能够聚集最多人数的村庄作为新的教学地点。人间之里由N个村庄（编号为1..N）和M条道路组成，道路分为两种一种为单向通行的，一种为双向通行的，分别用1和2来标记。如果存在由村庄A到达村庄B的通路，那么我们认为可以从村庄A到达村庄B，记为(A,B)。当(A,B)和(B,A)同时满足时，我们认为A,B是绝对连通的，记为< A,B>。绝对连通区域是指一个村庄的集合，在这个集合中任意两个村庄X,Y都满足< X,Y>。现在你的任务是，找出最大的绝对连通区域，并将这个绝对连通区域的村庄按编号依次输出。若存在两个最大的，输出字典序最小的，比如当存在1,3,4和2,5,6这两个最大连通区域时，输出的是1,3,4。
输入描述 Input Description
第1行：两个正整数N,M
第2..M+1行：每行三个正整数a,b,t, t = 1表示存在从村庄a到b的单向道路，t = 2表示村庄a,b之间存在双向通行的道路。保证每条道路只出现一次。
输出描述 Output Description
第1行： 1个整数，表示最大的绝对连通区域包含的村庄个数。
第2行：若干个整数，依次输出最大的绝对连通区域所包含的村庄编号。
样例输入 Sample Input
5 5
1 2 1
1 3 2
2 4 2
5 1 2
3 5 1
样例输出 Sample Output
3
1 3 5
数据范围及提示 Data Size & Hint
对于60%的数据：N <= 200且M <= 10,000
对于100%的数据：N <= 5,000且M <= 50,000

---

思路

这个题不多说。。。就是简单tarjan。。然后用min【i】记录下第i个强连通分量中的最小值，比较字典序即比较每个强连通分量里面的最小值，因为每个强连通分量之间元素肯定互异，即一个点在这个环内，就不能在另一个环内。

代码

type
  point=^rec;
  rec=record
  e:longint;
  s:point;
  end;
var dfn,low,belong,stack:array[1..6000]of integer;
    dot:array[1..5000]of point;
    num,min:array[1..6000]of integer;
    v:array[1..6000]of boolean;
    x,max,sum,mm,belongx,a,b,t,n,m,i,j,top,step:longint;
    link:array[1..5000,1..5000]of integer;

procedure insert(a,b:longint);
var p:point;
begin
  new(p);
  p^.e:=b;
  p^.s:=dot[a];
  dot[a]:=p;
end;

procedure tarjan(i:integer);
var j:integer;
    p:point;
begin
  inc(step);
  low[i]:=step;
  dfn[i]:=step;
  inc(top);
  stack[top]:=i;
  v[i]:=true;
  p:=dot[i];
  while p<>nil do
    begin
      j:=p^.e;
      if dfn[j]=0
       then
        begin
          tarjan(j);
          if low[j]<low[i]
           then
            low[i]:=low[j];
        end
       else
        if (v[j])and(low[j]<low[i])then
          low[i]:=low[j];
      p:=p^.s;
    end;
  if dfn[i]=low[i]then
    begin
      inc(belongx);
      mm:=maxlongint;
      while (i<>j) do
        begin
          j:=stack[top];
          v[j]:=false;
          dec(top);
          belong[j]:=belongx;
          inc(num[belongx]);
          link[belongx,num[belongx]]:=j;
          if mm>j then mm:=j;
        end;
      min[belongx]:=mm;
      if max<num[belongx] then max:=num[belongx];
    end;
end;

procedure qsort(b,e:integer);
var t,l,r,m:integer;
begin
  l:=b;r:=e;m:=link[x,(l+r)>>1];
  while l<r do
    begin
      while link[x,l]<m do inc(l);
      while m<link[x,r] do dec(r);
      if l<=r then
        begin
          t:=link[x,l];
          link[x,l]:=link[x,r];
          link[x,r]:=t;
          inc(l);
          dec(r);
        end;

    end;
  if l<e then qsort(l,e);
  if b<r then qsort(b,r);
end;

begin

  readln(n,m);
  for i:=1 to m do
    begin
      readln(a,b,t);
      insert(a,b);
      if t=2 then insert(b,a);
    end;
  max:=0;
  for i:=1 to n do if dfn[i]=0 then tarjan(i);
  sum:=0;
  writeln(max);
  mm:=maxlongint;
  for i:=1 to belongx do
   if num[i]=max then
    begin
      if min[i]<mm then
        begin
          mm:=min[i];
          x:=i;
        end;
    end;
  qsort(1,num[x]);
  for i:=1 to num[x] do write(link[x,i],' ');
  close(input);
end.


测试通过 Accepted

总耗时: 30 ms
0 / 0 数据通过测试.
运行结果
测试点#classroom1.in  结果:AC    内存使用量:  256kB     时间使用量:  0ms     
测试点#classroom10.in  结果:AC    内存使用量:  5104kB     时间使用量:  8ms     
测试点#classroom2.in  结果:AC    内存使用量:  256kB     时间使用量:  0ms     
测试点#classroom3.in  结果:AC    内存使用量:  368kB     时间使用量:  1ms     
测试点#classroom4.in  结果:AC    内存使用量:  364kB     时间使用量:  0ms     
测试点#classroom5.in  结果:AC    内存使用量:  624kB     时间使用量:  0ms     
测试点#classroom6.in  结果:AC    内存使用量:  368kB     时间使用量:  1ms     
测试点#classroom7.in  结果:AC    内存使用量:  3952kB     时间使用量:  5ms     
测试点#classroom8.in  结果:AC    内存使用量:  3052kB     时间使用量:  8ms     
测试点#classroom9.in  结果:AC    内存使用量:  7792kB     时间使用量:  7ms