#P7417. [USACO21FEB] Minimizing Edges P
[USACO21FEB] Minimizing Edges P
题目描述
Bessie 有一个连通无向图 。 有 个编号为 的结点,以及 条边()。 有可能包含自环(一个结点连到自身的边),但不包含重边(连接同一对结点的多条边)。
令 为一个布尔函数,对于每一个 和 ,如果存在一条从结点 到结点 的路径恰好经过了 条边,则函数值为真,否则为假。如果一条边被经过了多次,则这条边会被计算相应的次数。
Elsie 想要复制 Bessie。具体地说,她想要构造一个无向图 ,使得对于所有的 和 ,均有 。
Elsie 想要进行最少数量的工作,所以她想要构造最小可能的图。所以,你的工作是计算 的边数的最小可能值。
每个输入包含 ()组独立的测试用例。保证所有测试用例中的 之和不超过 ,且所有测试用例中的 之和不超过 。
输入格式
输入的第一行包含 ,为测试用例的数量。
每个测试用例的第一行包含两个整数 和 。
每个测试用例的以下 行每行包含两个整数 和 (),表示 中存在一条连接 与 的边。
为提高可读性,相邻的测试用例之间用一个空行隔开。
输出格式
对每个测试用例,输出一行,为 中的边数的最小可能值。
提示
样例 1 解释
在第一个测试用例中,Elsie 可以通过从 中移除 来构造得到 。或者,她也可以构造一张包含以下边的图,因为她并未被限制只能从 中移除边:
Elsie 显然不能得到比 更优的解,因为 一定也是连通的。
样例 2 解释
在以上这些测试用例中,Elsie 都不能做得比 Bessie 更优。
测试点性质:
- 对于另外 的数据,满足 。
- 对于另外 的数据,满足 。
- 对于另外 的数据,如果并非对于所有的 均有 ,则存在 使得 为真且 为假。
- 对于另外 的数据,满足 。
- 对于另外 的数据,没有额外限制。
供题:Benjamin Qi