題目背景
這是憶哀的第多少次重生,已經無法統計。新生的花朵與離別的喪鐘如同流水般流經她的眼簾。她腦中的彷彿不是過去的記憶,而也是無法改變的未來。
與其說這無窮輪迴的折磨是一種「永生」,倒不如賜給她死亡。
但是這一次,她重新感受到了未知的那一絲「可能性」。跨過絕望……
在無數次重啟中沒有被復原的,不只是憶哀的記憶,還有那株由希望與血淚融匯,澆注生長出的來自「彼岸」的薔薇。這便是能夠與「祂」為之一戰的武器。
題目敘述
這株薔薇一共生長出了 $n$ 朵花,它們之間連接形成一個樹形結構。已知有 $m$ 條路徑,一條路徑 $(a, b)$ 的含義是,將這條路徑上的所有花朵放在一起,可以生成一種對抗神明的力量。但是一旦這種力量被生成出來,這朵花也被消耗,不能用於其他方案。也就是說,可以從樹上選取一個點不相交的路徑集合,每條路徑得以生成一份力量。憶哀已經計算出了最多可以用這些花朵收集出多少份力量,但是……就差那麼一點。
只要再多一份力量,就可以對抗神明了。
憶哀拿出劍,在手臂上劃出一道傷口。她要選取一條路徑,將這條路徑上的花朵用鮮血染紅,從而遠古魔法將會得以生效,這些花朵也能夠用於生成一份新的力量。
憶哀想知道,她一共有多少種不同的路徑 $(x, y)$ 可以選擇,也就是說將這條路徑與原始的 $m$ 條路徑一同考慮,能夠選出來的最大的點不相交的路徑集合,所包含的路徑數比原來 $m$ 條路徑中能選出來的路徑數大。
向永恆開戰,追尋我—— 一如此刻,十指緊握。 將太陽射落,獻給我—— 請記得,我即神佛。
輸入格式
第一行兩個整數 $n, m$,表示薔薇花的數量和原始的生成力量的方案數量。
接下來 $n - 1$ 行每行兩個正整數 $u, v$,表示 $u$ 和 $v$ 兩朵花直接相連。
接下來 $m$ 行每行兩個正整數 $a, b$,表示 $a$ 到 $b$ 路徑上的花朵整體可以生成一份力量。
輸出格式
輸出一行一個整數,表示憶哀可行的選擇 $(a, b)$ 的方案數。
範例
範例輸入 1
8 6 1 2 1 3 1 4 1 5 5 6 5 7 7 8 2 3 2 4 3 4 1 6 5 6 5 8
範例輸出 1
8
範例解釋 1
原本可以選出 $2$ 條路徑,例如:$(2, 3), (5, 8)$。
可以加入如下路徑:
- 加入 $(2, 2)$,可以選擇 $3$ 條路徑:$(2, 2), (3, 4), (5, 8)$。
- 加入 $(3, 3)$,可以選擇 $3$ 條路徑:$(3, 3), (2, 4), (5, 8)$。
- 加入 $(4, 4)$,可以選擇 $3$ 條路徑:$(4, 4), (2, 3), (5, 8)$。
- 加入 $(6, 6)$,可以選擇 $3$ 條路徑:$(6, 6), (2, 3), (5, 8)$。
- 加入 $(7, 7)$,可以選擇 $3$ 條路徑:$(7, 7), (2, 3), (5, 6)$。
- 加入 $(7, 8)$,可以選擇 $3$ 條路徑:$(7, 8), (2, 3), (5, 6)$。
- 加入 $(8, 7)$,可以選擇 $3$ 條路徑:$(8, 7), (2, 3), (5, 6)$。
- 加入 $(8, 8)$,可以選擇 $3$ 條路徑:$(8, 8), (2, 3), (5, 6)$。
因此總共有 $8$ 種加入路徑的方案。
資料範圍
對於 $100\%$ 的資料,保證 $2\le n \le 3 \times 10^5, 0\le m \le 3\times 10^5, 1\le u, v, a, b\le n$。
| 測試點 | $n$ | $m$ | 資料類型 |
|---|---|---|---|
| $1, 2$ | $=10$ | $\le10$ | C2 |
| $3, 4$ | $=20$ | $\le20$ | |
| $5, 6$ | $=30$ | $\le30$ | |
| $7, 8$ | $=10^2$ | $\le10^2$ | |
| $9, 10$ | $=300$ | $\le300$ | |
| $11$ | $=500$ | $\le500$ | |
| $12, 13$ | $=10^3$ | $\le10^3$ | |
| $14, 15$ | $=3,000$ | $\le3,000$ | |
| $16$ | $=99,991$ | $\le10^5$ | A1 |
| $17, 18$ | $=99,992$ | A2 | |
| $19, 20$ | $=99,993$ | B2 | |
| $21$ | $=99,994$ | C1 | |
| $22, 23, 24$ | $=10^5$ | C2 | |
| $25$ | $=3\times 10^5$ | $\le 3\times 10^5$ |
資料類型的含義:
A:保證 $v = u + 1$。
B:保證 $u = 1$。
C:在樹的形態上無特殊約束。
1:保證 $a = b$。
2:給出的路徑無特殊約束。