【算法】【题解】【usaco】 最受欢迎的牛

【例题】
每头牛都有一个梦想：成为一个群体中最受欢迎的名牛！在一个有N(1<=N<=10,000)头牛的牛群中，给你M(1<=M<=50,000)个二元组(A,B),表示A认为B是受欢迎的。既然受欢迎是可传递的，那么如果A认为B受欢迎，B又认为C受欢迎,则A也会认为C是受欢迎的，哪怕这不是十分明确的规定。你的任务是计算被所有其它的牛都喜欢的牛的个数。
Input Format
第一行，两个数，N和M。第2～M+1行，每行两个数，A和B，表示A认为B是受欢迎的。
Output Format
一个数，被其他所有奶牛认为受欢迎的奶牛头数。

---

1.利用强连通分量缩点

在知道强连通分量之后，我们可以对图的连通性有一个新的认识：在每个连通分量构成的点集合中，每两个点之间都是互相联通的。那么在解关于连通性的问题的时候，可以把这一整个集合当做一个点，即“缩点”。
在例题里，我们要求被其他所有奶牛认为受欢迎的奶牛头数，转换到图算法，即求和其他任意一个顶点都是连通的点的个数（注意是有向图）。又因为在一个连通分量的集合里，任意两个点可以互相到达，所以我们就可以把这个集合作为顶点，把上万的数据量缩减到很小。

2.判断与搜索的方法

求解连通分量以后，面临的下一个问题是，对于所有的连通分量集合，哪一个集合是和其他所有集合连通的（集合里的奶牛不仅要两两互相认为是受欢迎的，其他集合里面的奶牛也要认为他们是受欢迎的）。
结论：

当且仅当只有一个集合，集合中的点的出度和为0（没有出边），这个集合中所有的元素才是满足要求的。（前提是没有被孤立的集合，也就是没有出度入度和为0的集合）

下面是证明：

我们假设四个集合分别都是互相连通的。
我们假设图中仅有黑色的实线边&#x