結果

問題 No.3769 Even Contraction
コンテスト
ユーザー apricity
提出日時 2026-09-22 07:08:51
言語 PyPy3
(8.0.0 + ACL)
コンパイル:
pypy3 -mpy_compile _filename_
実行:
pypy3 _filename_
結果
AC  
実行時間 1,183 ms / 2,000 ms
+ 903µs
コード長 2,124 bytes
記録
記録タグの例:
初AC ショートコード 純ショートコード 純主流ショートコード 最速実行時間
コンパイル時間 478 ms
コンパイル使用メモリ 64,708 KB
実行使用メモリ 240,752 KB
最終ジャッジ日時 2026-10-16 20:55:50
合計ジャッジ時間 17,941 ms
ジャッジサーバーID
（参考情報） 		judge1_0 / judge5_0
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 3
other AC * 47
権限があれば一括ダウンロードができます

ソースコード

diff #
raw source code 

#!/usr/bin/env pypy3
__import__("sys").setrecursionlimit(10**6)

INF = 10**9

n = int(input())
g = [[] for _ in range(n)]
for i in range(n-1):
    u, v = map(int, input().split())
    u -= 1
    v -= 1
    g[u].append(v)
    g[v].append(u)
a = list(map(int, input().split()))

dp = [[INF for _ in range(4)] for _ in range(n)]

def dfs(u, p):
    global dp
    cur = [INF for _ in range(4)]
    if a[u] == 1:
        cur[3] = 0
    else:
        cur[0] = cur[1] = 0

    for v in g[u]:
        if v == p:
            continue
        dfs(v, u)
        nxt = [INF for _ in range(4)]
        mn = INF
        for i in [0,2,3]:
            mn = min(mn, dp[v][i] + 1)
        for i in range(4):
            nxt[i] = min(nxt[i], cur[i] + mn)

        if a[u] == 1 and a[v] == 1:
            nxt[3] = min(nxt[3], cur[3] + dp[v][3])
        elif a[u] == 1:
            nxt[3] = min(nxt[3], cur[3] + dp[v][3])
            nxt[3] = min(nxt[3], cur[3] + dp[v][2])
        elif a[v] == 1:
            nxt[1] = min(nxt[1], cur[0] + dp[v][3])
            nxt[1] = min(nxt[1], cur[1] + dp[v][3])
            nxt[2] = min(nxt[2], cur[2] + dp[v][3])
            nxt[3] = min(nxt[3], cur[3] + dp[v][3])
        elif a[u] == a[v]:
            nxt[0] = min(nxt[0], cur[0] + dp[v][0])
            for i in [0,1]:
                for j in [0,1]:
                    nxt[1] = min(nxt[1], cur[i] + dp[v][j])
            for i in [0,1]:
                for j in [2,3]:
                    nxt[2] = min(nxt[2], cur[i] + dp[v][j])
            for i in [2,3]:
                for j in [0,1,2,3]:
                    nxt[i] = min(nxt[i], cur[i] + dp[v][j])
        else:
            for i in [0,1,2,3]:
                for j in [2,3]:
                    k = 1 if i == 0 else i
                    nxt[k] = min(nxt[k], cur[i] + dp[v][j])
            for i in [0,1,2]:
                for j in [0,1,2]:
                    nxt[3] = min(nxt[3], cur[i] + dp[v][j])
        for i in range(4):
            cur[i] = nxt[i]

    for i in range(4):
        dp[u][i] = cur[i]

dfs(0, -1)
cuts = n
for i in [0,2,3]:
    cuts = min(cuts, dp[0][i])
print(n-1-cuts)
0