Codevs2822 爱在心中

2822 爱在心中

  时间限制: 1 s

 空间限制: 128000 KB

 题目等级 : 钻石 Diamond 

题目描述 Description

“每个人都拥有一个梦，即使彼此不相同，能够与你分享，无论失败成功都会感动。爱因为在心中，平凡而不平庸，世界就像迷宫，却又让我们此刻相逢Our Home。”

在爱的国度里有N个人，在他们的心中都有着一个爱的名单，上面记载着他所爱的人（不会出现自爱的情况）。爱是具有传递性的，即如果A爱B，B爱C，则A也爱C。
如果有这样一部分人，他们彼此都相爱，则他们就超越了一切的限制，用集体的爱化身成为一个爱心天使。
现在，我们想知道在这个爱的国度里会出现多少爱心天使。而且，如果某个爱心天使被其他所有人或爱心天使所爱则请输出这个爱心天使是由哪些人构成的，否则输出-1。

输入描述 Input Description

第1行，两个数N、M，代表爱的国度里有N个人，爱的关系有M条。
第2到第M+1行，每行两个数A、B，代表A爱B。

输出描述 Output Description

第1行，一个数，代表爱的国度里有多少爱心天使。
第2行，如果某个爱心天使被其他所有人和爱心天使所爱则请输出这个爱心天使是由哪些人构成的（从小到大排序），否则输出-1。

样例输入 Sample Input

样例输入1：

6 7
1 2
2 3
3 2
4 2
4 5
5 6
6 4

样例输入2：

3 3
1 2
2 1
2 3

样例输出 Sample Output

样例输出1：

2
2 3

样例输出2：

1
-1

数据范围及提示 Data Size & Hint

各个测试点1s

分类标签 Tags 点此展开 

 

题解：一道比较明显的tarjan强连通分量，和BZOj1051基本一样，值得注意几点——1.由于有可能存在整个图不连通的情况，同时更有可能从1#点出发不能到达很多点（比如1#的前驱们），所以不要直接来个tarjan(1)就想了事，建议直接每个点跑一下（很明显之前被跑过的点可以在本次无视之，而且实际上也就是经过了M条边而已，所以不必担心时间问题）  2.这题里面的“爱心天使”绝对不完全等价于全部强连通分量——注意分量只有一个点的情况，这时候可不算“爱心天使”  3.看样子codevs上面此题数据有些小（虽然没标明数据规模），我在bzoj上面148ms，在这上就9ms？！？！呵呵呵，而且我的程序后面很明显有比较冗余的语句，完全可以不必那么写的

That's all。。。别的没了。。。（只要会tarjan）

type
        point=^node;
        node=record
                g:longint;
                next:point;
        end;
var
        i,j,k,l,m,n,h,t,ans:longint;
        a:array[-1..20000] of point;
        ss,s:array[0..20000] of boolean;
        low,dfn,f,b,c,d:array[0..20000] of longint;
        p:point;
function max(x,y:longint):longint;inline;
        begin
                if x>y then max:=x else max:=y;
        end;
function min(x,y:longint):longint;inline;
        begin
                if x<y then min:=x else min:=y;
        end;
procedure add(x,y:longint);inline;
        var p:point;
        begin
                new(p);p^.g:=y;
                p^.next:=a[x];a[x]:=p;
        end;
procedure tarjan(x:longint);
        var
                p:point;
        begin
                inc(h);low[x]:=h;dfn[x]:=h;
                inc(t);f[t]:=x;ss[x]:=true;s[x]:=true;
                p:=a[x];
                while p<>nil do
                        begin
                                if s[p^.g]=false then
                                        begin
                                                tarjan(p^.g);
                                                low[x]:=min(low[x],low[p^.g]);
                                        end
                                else if ss[p^.g] then low[x]:=min(low[x],dfn[p^.g]);
                                p:=p^.next;
                        end;
                if low[x]=dfn[x] then
                        begin
                                inc(ans);
                                while f[t+1]<>x do
                                        begin
                                                ss[f[t]]:=false;
                                                b[f[t]]:=ans;
                                                dec(t);
                                        end;
                        end;
        end;
begin
        readln(n,m);
        for i:=1 to n do a[i]:=nil;
        for i:=1 to m do
                begin
                        readln(j,k);
                        add(j,k);
                end;
        fillchar(s,sizeof(s),false);
        fillchar(ss,sizeof(ss),false);
        fillchar(f,sizeof(f),0);
        fillchar(low,sizeof(low),0);
        fillchar(dfn,sizeof(dfn),0);
        fillchar(b,sizeof(b),0);ans:=0;h:=0;t:=0;
        for i:=1 to n do if b[i]=0 then
                tarjan(i);
        fillchar(c,sizeof(c),0);l:=ans;
        for i:=1 to n do inc(c[b[i]]);
        for i:=1 to ans do if c[i]=1 then dec(l);
        writeln(l);
        fillchar(d,sizeof(d),0);
        for i:=1 to n do
                begin
                        p:=a[i];
                        while p<>nil do
                                begin
                                        if b[i]<>b[p^.g] then inc(d[b[i]]);
                                        p:=p^.next;
                                end;
                end;
        l:=-1;
        for i:=1 to ans do
                begin
                        if d[i]=0 then
                                begin
                                        if l=-1 then
                                                l:=i
                                        else
                                                begin
                                                        writeln(-1);
                                                        halt;
                                                end;
                                end;
                end;
        if l=-1 then
                begin
                        writeln(-1);
                        halt;
                end;
        a[0]:=nil;k:=0;
        for i:=1 to n do
                if b[i]=l then
                        begin
                                add(0,i);
                                inc(k);
                        end;
        if k<2 then
                begin
                        writeln(-1);
                        halt;
                end;
        p:=a[0];
        a[-1]:=nil;
        while p<>nil do
                begin
                        add(-1,p^.g);
                        p:=p^.next;
                end;
        p:=a[-1];
        while p<>nil do
                begin
                        write(p^.g);
                        if p^.next<>nil then write(' ');
                        p:=p^.next;
                end;
        writeln;
        writeln;
end.