/ Vijos / 题库 /

等价命题

等价命题

时间限制:1秒  内存限制:256M


【题目描述】

  在数学中,我们常常需要完成若干命题的等价性证明。
  例如:有 \(4\) 个命题 \(a,b,c,d\),要证明他们是等价的,我们需要证明 \(a\Leftrightarrow b\),然后 \(b\Leftrightarrow c\),最后 \(c\Leftrightarrow d\)。注意每次证明是双向的,因此一共完成了 \(6\) 次推导。另一种证明方法是:证明 \(a\rightarrow b\),然后 \(b\rightarrow c\),接着 \(c\rightarrow d\),最后 \(d\rightarrow a\),只须 \(4\) 次证明。
  现在我有 \(n\) 个命题,并且我已经完成了 \(m\) 条等价关系的证明,请你帮我求出至少还需要证明多少条等价关系才能使所有命题都满足与其他命题等价。

【输入格式】

  有 \(T(T\le 100)\) 组数据,每组数据第一行为两个整数 \(n\) 和 \(m(1\le n\le 20000,0\le m\le 50000)\),即命题数和已完成的推导个数(编号为 \(1\dots n\))。接下来 \(m\) 行每行包含两个整数 \(s1\) 和 \(s2(1\le s1,s2\le n,s1\not =s2)\),表明已经证明了 \(s1\rightarrow s2\)。

【输出格式】

  输出还需要的等价关系的最小数量。

【输入输出样例1】

 Input

2
4 0
3 2
1 2
1 3

 Output

3

【测试点性质】

  对于 \(100\%\) 的数据, \(1 \le n\le 2\times 10^4,0\le m \le 5 \times 10^4,1\le T\le 100\)。

【来源】

  Mr.he
UVA12167

信息

ID
3247
难度
9
分类
图结构 | 强连通分量 点击显示
标签
(无)
递交数
3
已通过
1
通过率
33%
被复制
5
上传者