結果

問題 No.1718 Random Squirrel
ユーザー zkouzkou
提出日時 2021-08-05 17:54:41
言語 PyPy3
(7.3.15)
結果
AC  
実行時間 528 ms / 2,000 ms
コード長 2,726 bytes
コンパイル時間 175 ms
コンパイル使用メモリ 82,364 KB
実行使用メモリ 121,840 KB
最終ジャッジ日時 2024-09-23 03:48:31
合計ジャッジ時間 8,259 ms
ジャッジサーバーID
（参考情報） 		judge3 / judge2
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 42 ms
52,608 KB
testcase_01 AC 38 ms
52,608 KB
testcase_02 AC 38 ms
52,352 KB
testcase_03 AC 38 ms
52,608 KB
testcase_04 AC 39 ms
52,608 KB
testcase_05 AC 37 ms
52,480 KB
testcase_06 AC 38 ms
52,864 KB
testcase_07 AC 38 ms
52,480 KB
testcase_08 AC 38 ms
52,608 KB
testcase_09 AC 38 ms
52,608 KB
testcase_10 AC 38 ms
52,608 KB
testcase_11 AC 250 ms
93,640 KB
testcase_12 AC 145 ms
80,428 KB
testcase_13 AC 294 ms
87,452 KB
testcase_14 AC 277 ms
94,344 KB
testcase_15 AC 275 ms
97,416 KB
testcase_16 AC 230 ms
84,756 KB
testcase_17 AC 265 ms
93,184 KB
testcase_18 AC 367 ms
113,024 KB
testcase_19 AC 313 ms
95,308 KB
testcase_20 AC 177 ms
83,208 KB
testcase_21 AC 311 ms
101,248 KB
testcase_22 AC 425 ms
121,740 KB
testcase_23 AC 528 ms
102,212 KB
testcase_24 AC 313 ms
101,032 KB
testcase_25 AC 423 ms
121,840 KB
testcase_26 AC 223 ms
117,196 KB
testcase_27 AC 217 ms
120,816 KB
testcase_28 AC 204 ms
110,668 KB
testcase_29 AC 197 ms
101,632 KB
testcase_30 AC 237 ms
100,468 KB
testcase_31 AC 195 ms
100,800 KB
testcase_32 AC 196 ms
101,376 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

INF = 1001001001

N, K = map(int, input().split())
adj = [[] for _ in range(N)]
for _ in range(N - 1):
    u, v = map(int, input().split())
    u -= 1; v -= 1
    adj[u].append(v)
    adj[v].append(u)
Ds = list(map(int, input().split()))

assert 2 <= N <= 10 ** 5
assert 1 <= K <= N
assert all(adj) # 孤立点があると False
assert Ds == sorted(Ds)
assert len(Ds) == K
assert len(set(Ds)) == K

for i in range(K):
    Ds[i] -= 1

in_D = [False] * N
for D in Ds:
    in_D[D] = True

# 最小シュタイナー木みたいなのを作る。
reserved = [False] * N
root = Ds[0]
parent = [-1] * N
stack = [root]
while stack:
    v = stack.pop()
    if in_D[v]:
        reserved[v] = True
        while parent[v] != -1 and not reserved[parent[v]]:
            v = parent[v]
            reserved[v] = True
    for nv in adj[v]:
        if nv == parent[v]:
            continue
        parent[nv] = v
        stack.append(nv)

# print(reserved)

# 各頂点から、
# 最小シュタイナー木みたいなのにたどりつくための距離と、
# たどりつく先の頂点を求める。
dist_Steiner = [INF] * N
nearest = [-1] * N
for v in range(N):
    if reserved[v]:
        dist_Steiner[v] = 0
        nearest[v] = v
stack = []
for v in range(N):
    if reserved[v]:
        for nv in adj[v]:
            if not reserved[nv]:
                stack.append(v)
                break
while stack:
    v = stack.pop()
    for nv in adj[v]:
        if dist_Steiner[nv] > dist_Steiner[v] + 1:
            dist_Steiner[nv] = dist_Steiner[v] + 1
            nearest[nv] = nearest[v]
            stack.append(nv)

# シュタイナー木を一周するときに、帰りの分をさぼれる。
# そのさぼった分の最大化をする。
def dist_from_root_in_reserved(root):
    dist_diameter = [INF] * N
    dist_diameter[root] = 0
    stack = [root]
    while stack:
        v = stack.pop()
        for nv in adj[v]:
            if reserved[nv] and dist_diameter[nv] > dist_diameter[v] + 1:
                dist_diameter[nv] = dist_diameter[v] + 1
                stack.append(nv)
    for i in range(N):
        if dist_diameter[i] == INF:
            dist_diameter[i] = -1
    return dist_diameter


dist_0 = dist_from_root_in_reserved(Ds[0])
end1 = max(range(N), key = lambda i: dist_0[i])
dist_end1 = dist_from_root_in_reserved(end1)
end2 = max(range(N), key = lambda i: dist_end1[i])
dist_end2 = dist_from_root_in_reserved(end2)

max_dist = [max(e1, e2) for e1, e2 in zip(dist_end1, dist_end2)]

# print(max_dist)
# print(dist_0)
# print(dist_end1)
# print(dist_end2)

loop_len = (sum(reserved) - 1) * 2

for v in range(N):
    s = nearest[v]
    answer = dist_Steiner[v] + loop_len - max_dist[s]
    print(answer)
0