7 7 1
1 2
1 3
2 4
4 5
5 6
6 7
4 7

4 3

Output:

Yes

第一篇题解输出了 No。

错误原因是没有处理父亲到其他子树的路径好坏。

第一篇题解中 dfs2 看似处理了这种情况，但是 g 数组初值为 0，因此对 g 数组的更新完全是废的。