제출 #442488

#	제출 시각	아이디	문제	언어	결과	실행 시간	메모리
442488		Ozy	The Xana coup (BOI21_xanadu)	C++17	100 / 100	99 ms	21932 KiB

xanadu

#include <iostream>
#include <bits/stdc++.h>
using namespace std;
#define rep(i,a,b) for (int i = (a); i <= (b); i++)
#define repa(i,a,b) for (int i = (a); i >= (b); i--)
#define lli long long int
#define debug(a) cout << #a << " = " << a << endl
#define debugsl(a) cout << #a << " = " << a << ", "

#define MAX 100000

#define apagado 0
#define prendido 1
#define nousado 0
#define usado 1
#define impar 1
#define par 0

#define IMP 200000ll

lli n,a,b;
lli dp[2][2][MAX+2], inicial[MAX+2];
vector<lli> hijos[MAX+2];

lli obtenminimo(vector<int> &nodos, int estado, int paridadusados){
    lli dif = IMP, usados = 0, res = 0;
    for(auto nodo : nodos){
        // SI ES IMPOSIBLE DEJAR EL NODO EN EL ESTADO QUE QUIERES, ENTONCES ES IMPOSIBLE
        if (dp[estado][usado][nodo] >= IMP && dp[estado][nousado][nodo] >= IMP) return IMP;
        if (dp[estado][usado][nodo] < dp[estado][nousado][nodo]){
            ++usados;
            res += dp[estado][usado][nodo];
            if (dp[estado][nousado][nodo] < IMP) dif = min(dif, dp[estado][nousado][nodo] - dp[estado][usado][nodo]);
        }
        else{
            res += dp[estado][nousado][nodo];
            if (dp[estado][usado][nodo] < IMP) dif = min(dif, dp[estado][usado][nodo] - dp[estado][nousado][nodo]);
        }
    }

    usados &= 1; // SACA LA PARIDAD DE LOS USADOS
    if (paridadusados == usados) return res; // EL MINIMO ERA USANDO LOS QUE QUERIAS.
    else if (dif != IMP) return res + dif;   // TENIAS QUE USAR UNO MENOS O MAS, PERO SI HABIA UNA OPCION PARA CAMBIAR
    else return IMP;                         // NO HABIA OPCION PARA CAMBIAR
}

void DFS(lli pos, lli padre) {
    if (pos != 1 && hijos[pos].size() == 1 && inicial[pos] == apagado){
        // SI ES UNA HOJA APAGADA
        dp[apagado][usado][pos] = dp[prendido][nousado][pos] = IMP;
        dp[apagado][nousado][pos] = 0;
        dp[prendido][usado][pos] = 1;
        return;
    }

    if (pos != 1 && hijos[pos].size() == 1 && inicial[pos] == prendido){
        // SI ES UNA HOJA PRENDIDA
        dp[prendido][usado][pos] = dp[apagado][nousado][pos] = IMP;
        dp[prendido][nousado][pos] = 0;
        dp[apagado][usado][pos] = 1;
        return;
    }

    vector<int> nodos;
    for(auto h : hijos[pos]){
        if (h == padre) continue;
        DFS(h, pos);
        nodos.push_back(h);
    }

    // LLENA CADA UNO DE LOS CUATRO CASOS
    dp[apagado][usado][pos] = obtenminimo(nodos, prendido, (inicial[pos] == apagado) ? impar : par) + 1;
    dp[apagado][nousado][pos] = obtenminimo(nodos, apagado, (inicial[pos] == apagado) ? par : impar);
    dp[prendido][usado][pos] = obtenminimo(nodos, prendido, (inicial[pos] == prendido) ? impar : par) + 1;
    dp[prendido][nousado][pos] = obtenminimo(nodos, apagado, (inicial[pos] == prendido) ? par: impar);

}

int main()
{
    ios_base::sync_with_stdio(false);
    cin.tie(NULL);

    cin >> n;
    rep(i,1,n-1) {
        cin >> a >> b;
        hijos[a].push_back(b);
        hijos[b].push_back(a);
    }
    rep(i,1,n) cin >> inicial[i];

    DFS(1,0);
    a = min(dp[apagado][usado][1], dp[apagado][nousado][1]);

    if (a == IMP) cout << "impossible";
    else cout << a;
}

• Subtask 1: 5 / 5
• Subtask 2: 15 / 15
• Subtask 3: 10 / 10
• Subtask 4: 40 / 40
• Subtask 5: 30 / 30