Technocup 2017 - Elimination Round 3
F
Santa Clauses and a Soccer Championship
Codeforces
2300
原题
← E→
翻译中…

The country Treeland consists of $*n*$ cities connected with $*n* - 1$ bidirectional roads in such a way that it's possible to reach every city starting from any other city using these roads. There will be a soccer championship next year, and all participants are Santa Clauses. There are exactly $2*k*$ teams from $2*k*$ different cities.

翻译中…

During the first stage all teams are divided into $*k*$ pairs. Teams of each pair play two games against each other: one in the hometown of the first team, and the other in the hometown of the other team. Thus, each of the $2*k*$ cities holds exactly one soccer game. However, it's not decided yet how to divide teams into pairs.

翻译中…

It's also necessary to choose several cities to settle players in. Organizers tend to use as few cities as possible to settle the teams.

翻译中…

Nobody wants to travel too much during the championship, so if a team plays in cities $*u*$ and $*v*$, it wants to live in one of the cities on the shortest path between $*u*$ and $*v*$ (maybe, in $*u*$ or in $*v*$). There is another constraint also: the teams from one pair must live in the same city.

翻译中…

Summarizing, the organizers want to divide $2*k*$ teams into pairs and settle them in the minimum possible number of cities $*m*$ in such a way that teams from each pair live in the same city which lies between their hometowns.

翻译中…

Input

翻译中…

The first line of input contains two integers $*n*$ and $*k*$ ($2 ≤ *n* ≤ 2·10^{5}, 2 ≤ 2*k* ≤ *n*$) — the number of cities in Treeland and the number of pairs of teams, respectively.

翻译中…

The following $*n* - 1$ lines describe roads in Treeland: each of these lines contains two integers $*a*$ and $*b*$ ($1 ≤ *a*, *b* ≤ *n*, *a* ≠ *b*$) which mean that there is a road between cities $*a*$ and $*b*$. It's guaranteed that there is a path between any two cities.

翻译中…

The last line contains $2*k*$ distinct integers $*c*_{1}, *c*_{2}, ..., *c*_{2*k*}$ ($1 ≤ *c*_{*i*} ≤ *n*$), where $*c*_{*i*}$ is the hometown of the $*i*$-th team. All these numbers are distinct.

翻译中…

Output

翻译中…

The first line of output must contain the only positive integer $*m*$ which should be equal to the minimum possible number of cities the teams can be settled in.

翻译中…

The second line should contain $*m*$ distinct numbers $*d*_{1}, *d*_{2}, ..., *d*_{*m*}$ ($1 ≤ *d*_{*i*} ≤ *n*$) denoting the indices of the cities where the teams should be settled.

翻译中…

The $*k*$ lines should follow, the $*j*$-th of them should contain $3$ integers $*u*_{*j*}$, $*v*_{*j*}$ and $*x*_{*j*}$, where $*u*_{*j*}$ and $*v*_{*j*}$ are the hometowns of the $*j*$-th pair's teams, and $*x*_{*j*}$ is the city they should live in during the tournament. Each of the numbers $*c*_{1}, *c*_{2}, ..., *c*_{2*k*}$ should occur in all $*u*_{*j*}$'s and $*v*_{*j*}$'s exactly once. Each of the numbers $*x*_{*j*}$ should belong to ${*d*_{1}, *d*_{2}, ..., *d*_{*m*}}$.

翻译中…

If there are several possible answers, print any of them.

翻译中…

Note

翻译中…

In the first test the orginizers can settle all the teams in the city number $2$. The way to divide all teams into pairs is not important, since all requirements are satisfied anyway, because the city $2$ lies on the shortest path between every two cities from ${2, 4, 5, 6}$.

翻译中…

样例

Input #1
6 2
1 2
1 3
2 4
2 5
3 6
2 5 4 6
Output #1
1
2
5 4 2
6 2 2
InputCopy OutputCopy
题目信息
题号
748F
时间限制
2 s
内存限制
256 MB
标签
构造
DFS 及类似
图论
树

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