#P6556. The Forest

The Forest

题目背景

Deep in the forest, swift in the night.

They come out, with the frightening shouting under the moonlight.

You stare at the horrible figures. They are real, alive.

I promise you've never experienced a worse night.

They come nearer, nearer, till a meter left.

You see their real faces. Scary eyes and hair in a mess.

You think they coming for you, then you are wrong.

They only want your delicious cheese, which is produced in a scary farm.

That's what happens in the forest. Enjoy your time!

题目描述

请注意,本题的时间限制为 5s!

探险家小 A 和小 B 需要用灯泡照亮这个森林。

nn 个灯泡,编号为 1,2,,n1, 2, \cdots, n。小 A 用 n1n - 1 条红色绳子把它们连成了一棵树,小 B 用 n1n - 1 条蓝色绳子把它们连成了另一棵树。

一开始所有灯泡都是熄灭的,现在要点亮若干个灯泡。小 A 喜欢联通块,而小 B 喜欢链。他们想知道:有多少种点亮灯泡的方案,满足点亮的灯泡在小 A 的树上形成一个联通块,在小 B 的树上形成一条链呢?

输入格式

第一行一个数 TT,表示有 TT 组数据,对于每组数据:

第一行一个数 nn

22 行到第 nn 行,第 i+1i + 1 行两个数 ai,bia_i, b_i,表示小 A 的树上的一条边。

n+1n + 1 行到第 2n12n - 1 行,第 i+ni + n 行两个数 ci,dic_i, d_i,表示小 B 的树上的一条边。

输出格式

输出 TT 行,第 ii 行是第 ii 组数据的答案。

3
3
1 2
2 3
1 2
1 3
5
1 2
1 3
2 4
2 5
1 2
2 3
3 4
4 5
5
3 1
3 2
3 4
3 5 
1 2
2 3
3 4
3 5

5
9
14

提示

样例解释:

点击查看三组数据的图解

对于第一组数据,可以点亮的灯泡集合有:

  • {1}\{1\}
  • {2}\{2\}
  • {3}\{3\}
  • {1,2}\{1, 2\}
  • {1,2,3}\{1, 2, 3\}

注意不能点亮集合 {1,3}\{1, 3\},因为编号为 1,31, 3 的灯泡在小 A 的树上不构成联通块;也不能点亮集合 {2,3}\{2, 3\},因为编号为 2,32, 3 的灯泡在小 B 的树上不构成一条链。

对于第二组数据,可以点亮的,至少包含两个灯泡的的灯泡集合有:

  • {1,2}\{1, 2\}
  • {1,2,3}\{1, 2, 3\}
  • {1,2,3,4}\{1, 2, 3, 4\}
  • {1,2,3,4,5}\{1, 2, 3, 4, 5\}

显然大小为 11 的灯泡集合都合法,所以答案为 4+5=94 + 5 = 9

限制与约定:

对于 20%20 \% 的数据,n50n \le 50,满足特殊限制 XX
对于 40%40 \% 的数据,n3000n \le 3000,满足特殊限制 XX
对于 70%70 \% 的数据,满足特殊限制 XX
对于 100%100 \% 的数据,T=3,1n105T = 3, 1 \le n \le 10^5

特殊限制 XXci=i,di=i+1c_i = i, d_i = i + 1,也就是说小 B 的树是一条链,编号相邻的点之间有边。