結果

問題 No.1718 Random Squirrel
ユーザー zkouzkou
提出日時 2021-08-05 17:54:41
言語 PyPy3
(7.3.15)
結果
AC  
実行時間 539 ms / 2,000 ms
コード長 2,726 bytes
コンパイル時間 290 ms
コンパイル使用メモリ 81,796 KB
実行使用メモリ 121,252 KB
最終ジャッジ日時 2023-10-24 11:28:31
合計ジャッジ時間 8,476 ms
ジャッジサーバーID
（参考情報） 		judge15 / judge12
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 37 ms
53,376 KB
testcase_01 AC 35 ms
53,376 KB
testcase_02 AC 37 ms
53,376 KB
testcase_03 AC 36 ms
53,376 KB
testcase_04 AC 37 ms
53,376 KB
testcase_05 AC 38 ms
53,376 KB
testcase_06 AC 36 ms
53,376 KB
testcase_07 AC 37 ms
53,376 KB
testcase_08 AC 37 ms
53,376 KB
testcase_09 AC 37 ms
53,376 KB
testcase_10 AC 36 ms
53,376 KB
testcase_11 AC 261 ms
93,144 KB
testcase_12 AC 145 ms
79,672 KB
testcase_13 AC 302 ms
87,268 KB
testcase_14 AC 296 ms
94,044 KB
testcase_15 AC 285 ms
96,880 KB
testcase_16 AC 228 ms
84,104 KB
testcase_17 AC 249 ms
92,588 KB
testcase_18 AC 360 ms
112,400 KB
testcase_19 AC 297 ms
94,680 KB
testcase_20 AC 173 ms
82,544 KB
testcase_21 AC 310 ms
100,772 KB
testcase_22 AC 417 ms
121,252 KB
testcase_23 AC 539 ms
101,296 KB
testcase_24 AC 310 ms
100,772 KB
testcase_25 AC 425 ms
121,252 KB
testcase_26 AC 219 ms
116,764 KB
testcase_27 AC 211 ms
120,312 KB
testcase_28 AC 205 ms
110,112 KB
testcase_29 AC 199 ms
101,036 KB
testcase_30 AC 235 ms
99,980 KB
testcase_31 AC 189 ms
100,244 KB
testcase_32 AC 195 ms
101,032 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