题目链接:http://vjudge.net/contest/141990#overview 题意是告诉你有n个命题,m条递推关系,表示某个命题可以推出另外一个命题. 现在问你至少在增加多少个递推关系可以保证所有命题两两互推. 把命题看成一个结点,推导看成有向边,就是n个结点,m 条有向边,要求添加尽量少的边,使得新图强连通. 首先找出强连通分量,把每个强连通分量缩成一个点,得到DAG.设有 a 个结点入度为 0 ,b 个结点出度为 0 ,max(a,b),就是答案.如下图: 入度为 0 的集合…