from collections import defaultdict from typing import List, Tuple from typing import Callable, Generic, List, TypeVar T = TypeVar("T") class Rerooting(Generic[T]): __slots__ = ("adjList", "_n", "_decrement") def __init__(self, n: int, decrement: int = 0): self.adjList = [[] for _ in range(n)] self._n = n self._decrement = decrement def addEdge(self, u: int, v: int) -> None: u -= self._decrement v -= self._decrement self.adjList[u].append(v) self.adjList[v].append(u) def rerooting( self, e: Callable[[int], T], op: Callable[[T, T], T], composition: Callable[[T, int, int, int], T], root=0, ) -> List["T"]: root -= self._decrement assert 0 <= root < self._n parents = [-1] * self._n order = [root] stack = [root] while stack: cur = stack.pop() for next in self.adjList[cur]: if next == parents[cur]: continue parents[next] = cur order.append(next) stack.append(next) dp1 = [e(i) for i in range(self._n)] dp2 = [e(i) for i in range(self._n)] for cur in order[::-1]: res = e(cur) for next in self.adjList[cur]: if parents[cur] == next: continue dp2[next] = res res = op(res, composition(dp1[next], cur, next, 0)) res = e(cur) for next in self.adjList[cur][::-1]: if parents[cur] == next: continue dp2[next] = op(res, dp2[next]) res = op(res, composition(dp1[next], cur, next, 0)) dp1[cur] = res for newRoot in order[1:]: parent = parents[newRoot] dp2[newRoot] = composition(op(dp2[newRoot], dp2[parent]), parent, newRoot, 1) dp1[newRoot] = op(dp1[newRoot], dp2[newRoot]) return dp1 INF = int(1e18) def randomSquirrel(n: int, edges: List[Tuple[int, int]], specials: List[int]) -> List[int]: E = Tuple[int, int] # (maxDist, weightSum) def e(root: int) -> E: return (-INF, 0) def op(childRes1: E, childRes2: E) -> E: dist1, wSum1 = childRes1 dist2, wSum2 = childRes2 return (max(dist1, dist2), wSum1 + wSum2) def composition(fromRes: E, parent: int, cur: int, direction: int) -> E: """direction: 0: cur -> parent, 1: parent -> cur""" dist, wSum = fromRes from_ = cur if direction == 0 else parent to = parent if direction == 0 else cur if dist == -INF: return (1, 0) if isSpecial[from_] else (-INF, 0) w = weights[from_][to] # dist>=0 时这条边才开始算入必须经过的路径 return (dist + w, wSum + w) if dist >= 0 else (dist, wSum) isSpecial = [False] * n for v in specials: isSpecial[v] = True R = Rerooting(n) weights = [defaultdict(int) for _ in range(n)] for u, v in edges: R.addEdge(u, v) weights[u][v] = 1 weights[v][u] = 1 dp = R.rerooting(e=e, op=op, composition=composition, root=0) res = [wSum * 2 - maxDist for maxDist, wSum in dp] # !可以不回到出发点,2*边权-最大距离 return res if __name__ == "__main__": n, k = map(int, input().split()) edges = [] for _ in range(n - 1): u, v = map(int, input().split()) u, v = u - 1, v - 1 edges.append((u, v)) sweets = [int(x) - 1 for x in input().split()] print(*randomSquirrel(n, edges, sweets), sep="\n")