Codeforces Round 601 (Div. 1)
E
Send Tree to Charlie
Codeforces
3300
原题
← D→
翻译中…

Christmas was knocking on the door, and our protagonist, Bob, was preparing a spectacular present for his long-time second best friend Charlie. As chocolate boxes are lame, he decided to decorate a tree instead. Bob's tree can be represented as an undirected connected graph with $n$ nodes (numbered $1$ to $n$) and $n-1$ edges. Initially, Bob placed a decoration with label $i$ on node $i$, for each $1 \le i \le n$. However, as such a simple arrangement is lame, he decided to shuffle the decorations a bit. Formally, Bob did the following steps:

翻译中…
  • First, he listed the $n-1$ edges in some order.
  • Then, he considered the edges one by one in that order. For each edge $(u, v)$, he swapped the decorations of node $u$ with the one of node $v$.
翻译中…

After finishing, Bob seemed satisfied with the arrangement, so he went to sleep.

翻译中…

The next morning, Bob wakes up only to find out that his beautiful arrangement has been ruined! Last night, Bob's younger brother Bobo dropped some of the decorations on the floor while he was playing with the tree. Fortunately, no decorations were lost, so Bob can repair the tree in no time. However, he completely forgets how the tree looked like yesterday. Therefore, given the labels of the decorations still on the tree, Bob wants to know the number of possible configurations of the tree. As the result can be quite large, Bob will be happy if you can output the result modulo $1000000007$ ($10^9+7$). Note that, it is possible that there exists no possible configurations.

翻译中…

Input

翻译中…

The first line contains a single integer $n$ ($2 \leq n \leq 500\,000$) — the number of nodes.

翻译中…

Each of the next $n - 1$ lines contains two integers $u$ and $v$ ($1 \leq u, v \leq n$), denoting that there is an edge connecting two nodes $u$ and $v$. It is guaranteed that the given edges form a tree.

翻译中…

The last line contains $n$ integers $a_1, a_2, \ldots, a_n$ ($0 \le a_i \le n$). For each $i$, $a_i = 0$ means that the decoration of node $i$ has been dropped on the floor. Otherwise, $a_i$ is the label of the decoration of node $i$. It is guaranteed that no label appears more than once.

翻译中…

Output

翻译中…

Output the number of possible configurations modulo $1000000007$ ($10^9+7$).

翻译中…

Note

翻译中…

In the first example, the possible configurations of the tree are $[2, 4, 1, 3]$ and $[3, 4, 2, 1]$.

翻译中…

In the second example, note that while there are $4! = 24$ possible permutations of the edges, each of them results in a possible configuration, there are only $12$ different configurations.

翻译中…

In the third example, it is easy to see that the decoration $1$ cannot stay at node $1$ after the swaps.

翻译中…

样例

Input #1
4
3 4
2 4
4 1
0 4 0 0
Output #1
2
InputCopy OutputCopy
Input #2
5
1 2
2 4
3 4
5 4
0 0 0 0 0
Output #2
12
InputCopy OutputCopy
Input #3
3
1 2
1 3
1 0 0
Output #3
0
InputCopy OutputCopy
题目信息
题号
1254E
时间限制
4 s
内存限制
512 MB
标签
组合数学
DFS 及类似
并查集
树

题面与样例版权归 Codeforces 及出题人所有;中文翻译由 AI 生成(CI 管线),如有出入请以原文为准。