DARK的锁链

Description

无向图中有N个节点和两类边，一类边被称为主要边，而另一类被称为附加边。Dark有N – 1条主要边，并且Dark的任意两个节点之间都存在一条只由主要边构成的路径。另外，Dark还有M条附加边。
你的任务是把Dark斩为不连通的两部分。一开始Dark的附加边都处于无敌状态，你只能选择一条主要边切断。一旦你切断了一条主要边，Dark就会进入防御模式，主要边会变为无敌的而附加边可以被切断。但是你的能力只能再切断Dark的一条附加边。现在你想要知道，一共有多少种方案可以击败Dark。注意，就算你第一步切断主要边之后就已经把Dark斩为两截，你也需要切断一条附加边才算击败了Dark。

Input

第一行包含两个整数N和M。
之后N – 1行，每行包括两个整数A和B，表示A和B之间有一条主要边。
之后M行以同样的格式给出附加边。

Output

输出一个整数表示答案。

Sample Input

4 1
1 2
2 3
1 4
3 4

Sample Output

3

Hint

对于20% 的数据，N≤100，M≤100。
对于100% 的数据，N≤100 000，M≤200 000。数据保证答案不超过2^31– 1。

题解：

对于每一条主要边，讨论被几条附加边覆盖

若没有附加边覆盖则去掉这条主要边后，DARK已经成了不连通的两部分，则只需切掉任意一条附加边，对答案贡献m

若被一条附加边覆盖，则去掉条主要边后必须去掉这条附加边，对答案贡献1

若被大于一条附加变覆盖，这不能被切成不连通的两部分

可以用每一个点代表与这个点的dad相连的边

做法一：树链剖分+线段树

每加入一条附加边时把两点之间的路径上的所有点在线段树中加上一，最后做n遍单点查询。

代码：

#include

#include

#include

#include

#include

#include

#include

#include

#include

#include

#include

做法二：树链剖分+树上差分

注意到只有区间修改和单点查询，这很容易想到差分，只要将树剖成链，然后就和链上的差分一样的了。

代码：

#include

#include

#include

#include

#include

#include

#include

#include

#include

#include

#include