結果

問題 No.439 チワワのなる木
ユーザー convexineq
提出日時 2021-02-16 18:51:15
言語 PyPy3
(7.3.15)
結果
AC  
実行時間 511 ms / 5,000 ms
コード長 2,069 bytes
コンパイル時間 242 ms
コンパイル使用メモリ 81,944 KB
実行使用メモリ 119,960 KB
最終ジャッジ日時 2024-09-13 08:28:56
合計ジャッジ時間 6,843 ms
ジャッジサーバーID
（参考情報） 		judge1 / judge3
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
other AC * 28
権限があれば一括ダウンロードができます

ソースコード

diff # 

def rerooting(g,e_M):
    """
    以下を書き換える
    """
    def merge(x,y): #値 x に y をマージ
        return (x[0]+y[0], x[1]+y[1], x[2]+y[2]+x[0]*y[1]+x[1]*y[0])
    def h1(x,v): # x = dp[v][p] を親方向にマージする際の補正
        return (x[0]+1,x[1],0) if s[v]=="c" else (x[0],x[1]+1,0)
    #def h2(x,v): # x = dp[p][v] を子方向にマージする際の補正
    h2 = h1

    """
    dfs_bottom_up: 木DP
    dfs_top_down: rerooting
    """
    def get_order(g):
        n = len(g)
        order = []
        st = [0]
        parent = [-1]*n
        while st:
            v = st.pop()
            order.append(v)
            for c in g[v]:
                if c != parent[v]:
                    st.append(c)
                    parent[c] = v
        return order, parent

    def dfs_bottom_up(BU,hBU,parent,order):
        for i in order[::-1]:
            hBU[i] = h1(BU[i], i)
            if i: BU[parent[i]] = merge(BU[parent[i]], hBU[i])

    def dfs_top_down(hBU,hTD,g,parent,order):
        for v in order:
            acc_l = e_M
            for c in g[v]:
                if c==parent[v]:
                    acc_l = merge(acc_l,hTD[v])
                else:
                    hTD[c] = acc_l
                    acc_l = merge(acc_l,hBU[c])
            acc_r = e_M
            for c in g[v][::-1]:
                if c==parent[v]:
                    acc_r = merge(hTD[v],acc_r)
                else:
                    hTD[c] = h2(merge(hTD[c],acc_r),v)
                    acc_r = merge(acc_r,hBU[c])
    
    order, parent = get_order(g)
    BU = [e_M]*n
    hBU = [e_M]*n
    hTD = [e_M]*n
    dfs_bottom_up(BU,hBU,parent,order)
    dfs_top_down(hBU,hTD,g,parent,order)
    
    for i in range(n):
        BU[i] = merge(BU[i],hTD[i])
    return BU

n = int(input())
s = input()
g = [[] for _ in range(n)]
for _ in range(n-1):
    a,b = map(int,input().split())
    g[a-1].append(b-1)
    g[b-1].append(a-1)

BU = rerooting(g,(0,0,0))
ans = 0
for i in range(n):
    if s[i] == "w":
        ans += BU[i][2]
print(ans)
0