UvaLive4287 roving Equivalences(Tarjan缩点+DAG)
摘要：
UvaLive4287 roving Equivalences 题意：给n个定理，以及m个关系，即u定理可以推出v定理。问至少还需要加多少个条件，才能是定理两两互推。 思路：Tarjan缩点。然后变成一个DAG。ans1记录入度为0的联通块，ans2记录出度为0的联通块。输出较大值即可。注意如果点数 阅读全文
posted @ 2016-02-27 00:53 onlyAzha 阅读(246) 评论(0) 推荐(0) 编辑
