結果

問題 No.3348 Tree Balance
コンテスト
ユーザー えりす
提出日時 2026-06-04 21:11:40
言語 PyPy3
(7.3.17)
コンパイル:
pypy3 -mpy_compile _filename_
実行:
pypy3 _filename_
結果
AC  
実行時間 1,446 ms / 5,000 ms
コード長 2,116 bytes
記録
記録タグの例:
初AC ショートコード 純ショートコード 純主流ショートコード 最速実行時間
コンパイル時間 411 ms
コンパイル使用メモリ 85,376 KB
実行使用メモリ 160,008 KB
最終ジャッジ日時 2026-06-04 21:11:59
合計ジャッジ時間 13,899 ms
ジャッジサーバーID
（参考情報） 		judge1_0 / judge2_1
純コード判定待ち
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
other AC * 25
権限があれば一括ダウンロードができます

ソースコード

diff #
raw source code 

import sys
import bisect
sys.setrecursionlimit(10 ** 6)
def solve():
    it = iter(sys.stdin.buffer.read().split())
    n = int(next(it))
    w = [0] * (n + 1)
    for i in range(1, n + 1):
        w[i] = int(next(it))
    g = [[] for _ in range(n + 1)]
    for _ in range(n - 1):
        u = int(next(it))
        v = int(next(it))
        g[u].append(v)
        g[v].append(u)
    sub = [0] * (n + 1)
    tin = [0] * (n + 1)
    tout = [0] * (n + 1)
    tmr = 0
    stk = [(1, 0, 0)]
    par = [0] * (n + 1)
    while stk:
        v, p, state = stk.pop()
        if state == 0:
            par[v] = p
            tin[v] = tmr
            tmr += 1
            stk.append((v, p, 1))
            for u in reversed(g[v]):
                if u != p:
                    stk.append((u, v, 0))
        else:
            sub[v] = w[v]
            for u in g[v]:
                if u != p:
                    sub[v] += sub[u]
            tout[v] = tmr - 1
    total = sub[1]
    ans = 10 ** 30
    a = [(sub[i], i) for i in range(2, n + 1)]
    a.sort()
    vs = [x[0] for x in a]
    def inside(u, v):
        return tin[v] <= tin[u] <= tout[v]
    for v in range(2, n + 1):
        s = sub[v]
        rest = total - s
        tgt = s // 2
        idx = bisect.bisect_left(vs, tgt)
        for j in range(max(0, idx - 5), min(len(vs), idx + 6)):
            y = vs[j]
            u = a[j][1]
            if u == v:
                continue
            if not inside(u, v):
                continue
            b = [y, s - y, rest]
            b.sort()
            cur = b[2] - b[0]
            if cur < ans:
                ans = cur
        tgt = rest // 2
        idx = bisect.bisect_left(vs, tgt)
        for j in range(max(0, idx - 5), min(len(vs), idx + 6)):
            y = vs[j]
            u = a[j][1]
            if inside(u, v) or inside(v, u):
                continue
            if y > rest:
                continue
            b = [s, y, rest - y]
            b.sort()
            cur = b[2] - b[0]
            if cur < ans:
                ans = cur
    print(ans)

if __name__ == '__main__':
    solve()
0