結果

問題 No.2677 Minmax Independent Set
コンテスト
ユーザー detteiuu
提出日時 2026-07-16 23:14:35
言語 PyPy3
(7.3.17)
コンパイル:
pypy3 -mpy_compile _filename_
実行:
pypy3 _filename_
結果
AC  
実行時間 1,382 ms / 2,000 ms
+ 805µs
コード長 2,165 bytes
記録
記録タグの例:
初AC ショートコード 純ショートコード 純主流ショートコード 最速実行時間
コンパイル時間 694 ms
コンパイル使用メモリ 96,032 KB
実行使用メモリ 341,668 KB
最終ジャッジ日時 2026-07-16 23:15:19
合計ジャッジ時間 40,619 ms
ジャッジサーバーID
（参考情報） 		judge3_0 / judge2_1
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 3
other AC * 61
権限があれば一括ダウンロードができます

ソースコード

diff #
raw source code 

from sys import stdin
input = stdin.readline

from types import GeneratorType

def bootstrap(f, stack=[]):
    def wrappedfunc(*args, **kwargs):
        if stack:
            return f(*args, **kwargs)
        to = f(*args, **kwargs)
        while True:
            if type(to) is GeneratorType:
                stack.append(to)
                to = next(to)
            else:
                stack.pop()
                if not stack:
                    break
                to = stack[-1].send(to)
        return to
    return wrappedfunc

INF = 1<<60

N = int(input())
G = [[] for _ in range(N)]
for _ in range(N-1):
    u, v = map(int, input().split())
    u, v = u-1, v-1
    G[u].append(v)
    G[v].append(u)

@bootstrap
def dfs(n, p):
    res1, res2 = 0, 1
    for i, v in enumerate(G[n]):
        if v == p: continue
        a, b = yield dfs(v, n)
        dp[n][0][i] = a
        dp[n][1][i] = b
        res1 += max(a, b)
        res2 += a
    yield res1, res2

dp = [[[-INF]*len(G[i]) for _ in range(2)] for i in range(N)]
dfs(0, -1)

def LRset(n):
    for i in range(1, len(G[n])):
        L[n][0][i] = L[n][0][i-1]+dp[n][0][i-1]
        L[n][1][i] = L[n][1][i-1]+max(dp[n][0][i-1], dp[n][1][i-1])
    for i in reversed(range(len(G[n])-1)):
        R[n][0][i] = R[n][0][i+1]+dp[n][0][i+1]
        R[n][1][i] = R[n][1][i+1]+max(dp[n][0][i+1], dp[n][1][i+1])

L = [[[0]*(len(G[i])) for _ in range(2)] for i in range(N)]
R = [[[0]*(len(G[i])) for _ in range(2)] for i in range(N)]
LRset(0)

@bootstrap
def rerooting(n, pre, no):
    visited[n] = True
    preno = 0
    for i in range(len(G[n])):
        if G[n][i] == pre:
            preno = i
            break
    dp[n][0][preno] = L[pre][1][no]+R[pre][1][no]
    dp[n][1][preno] = L[pre][0][no]+R[pre][0][no]+1
    LRset(n)
    for i in range(len(G[n])):
        if not visited[G[n][i]]:
            yield rerooting(G[n][i], n, i)
    yield

visited = [False]*N
visited[0] = True
for i in range(len(G[0])):
    if not visited[G[0][i]]:
        rerooting(G[0][i], 0, i)

ans = INF
for i in range(N):
    SUM = 1
    for j in range(len(G[i])):
        SUM += dp[i][0][j]
    ans = min(ans, SUM)

print(ans)
0