#1187685 (C++17) No.3720 Balanced Reduction

• 問題: No.3720 Balanced Reduction
• ユーザー: 👑 potato167
• 提出日時: 2026-09-18 22:41:43
• 言語: C++17 (gcc 15.3.0 + boost 1.92.0 + ACL)
• 結果: RE
• 実行時間: -
• コード長: 6,297 bytes
• コンパイル時間: 1,401 ms
• コンパイル使用メモリ: 223,820 KB
• 実行使用メモリ: 22,504 KB
• 最終ジャッジ日時: 2026-09-18 22:41:52
• 合計ジャッジ時間: 5,351 ms
• ジャッジサーバーID （参考情報）: judge3_0 / judge1_0

ファイルパターン	結果
sample	AC * 3 RE * 1
other	AC * 7 WA * 3 RE * 6

ソースコード

#include <bits/stdc++.h>
using namespace std;
using ll=long long;
const ll ILL=2167167167167167167;
const int INF=2100000000;
#define rep(i,a,b) for (int i=(int)(a);i<(int)(b);i++)
#define all(p) p.begin(),p.end()
template<class T> using pq_ = priority_queue<T, vector<T>, greater<T>>;
template<class T> int LB(vector<T> &v,T a){return lower_bound(v.begin(),v.end(),a)-v.begin();}
template<class T> int UB(vector<T> &v,T a){return upper_bound(v.begin(),v.end(),a)-v.begin();}
template<class T> bool chmin(T &a,T b){if(b<a){a=b;return 1;}else return 0;}
template<class T> bool chmax(T &a,T b){if(a<b){a=b;return 1;}else return 0;}
template<class T> void So(vector<T> &v) {sort(v.begin(),v.end());}
template<class T> void Sore(vector<T> &v) {sort(v.begin(),v.end(),[](T x,T y){return x>y;});}
bool yneos(bool a,bool upp=false){if(a){cout<<(upp?"YES\n":"Yes\n");}else{cout<<(upp?"NO\n":"No\n");}return a;}
template<class T> void vec_out(vector<T> &p,int ty=0){
    if(ty==2){cout<<'{';for(int i=0;i<(int)p.size();i++){if(i){cout<<",";}cout<<'"'<<p[i]<<'"';}cout<<"}\n";}
    else{if(ty==1){cout<<p.size()<<"\n";}for(int i=0;i<(int)(p.size());i++){if(i) cout<<" ";cout<<p[i];}cout<<"\n";}}
template<class T> T vec_min(vector<T> &a){assert(!a.empty());T ans=a[0];for(auto &x:a) chmin(ans,x);return ans;}
template<class T> T vec_max(vector<T> &a){assert(!a.empty());T ans=a[0];for(auto &x:a) chmax(ans,x);return ans;}
template<class T> T vec_sum(vector<T> &a){T ans=T(0);for(auto &x:a) ans+=x;return ans;}
int pop_count(long long a){int res=0;while(a){res+=(int)(a&1),a>>=1;}return res;}
template<class T> T square(T a){return a * a;}



void solve();
// DEAR MYSTERIES / TOMOO
int main() {
    ios::sync_with_stdio(false);
    cin.tie(nullptr);

    int t = 1;
    // cin >> t;
    rep(i, 0, t) solve();
}

void solve(){
    int N, K;
    cin >> N >> K;
    vector<ll> A(N);
    rep(i, 0, N) cin >> A[i];
    if (vec_sum(A) & 1) {
        cout << "-1\n";
        return;
    }
    auto f = [&](ll a) -> ll {
        if (a == 0) return 0;
        if (a < K) return ILL;
        return (a - 1) / (2 * K) + 1;
    };
    vector<int> to(N);
    vector<vector<int>> G(N);
    rep(i, 0, N) {
        int a, b;
        cin >> a >> b;
        a--, b--;
        G[a].push_back(b);
        G[b].push_back(a);
        to[a]++, to[b]++;
    }
    ll ans = 0;
    vector<int> order;
    rep(i, 0, N) {
        if (to[i] == 1) order.push_back(i);
    }
    rep(rp, 0, order.size()) {
        int a = order[rp];
        to[a] = 0;
        for (auto x : G[a]) {
            to[x]--;
            if (to[x] >= 1) {
                ans += f(A[a]);
                A[x] -= A[a];
                if (A[x] < 0 || ans >= ILL) {
                    cout << "-1\n";
                    return;
                }
                if (to[x] == 1) order.push_back(x);
            }
        }
    }
    vector<ll> B;
    rep(i, 0, N) if (to[i]) {
        order = {i};
        while (true) {
            B.push_back(A[order.back()]);
            to[order.back()] = 0;
            int nx = -1;
            for (auto x : G[order.back()]) {
                if (to[x]) {
                    nx = x;
                    break;
                }
            }
            if (nx == -1) break;
            order.push_back(nx);
        }
        break;
    }
    int M = B.size();
    vector<ll> X(M), C(M);
    {
        ll tmp = 0;
        rep(i, 0, M) {
            X[i] = (i & 1) * 2 - 1;
            tmp = B[i] - tmp;
            C[i] = tmp;
        }
    }
    ll tree_ans = ans;
    ans = ILL;
    // vec_out(B);
    // vec_out(C);
    // vec_out(X);
    auto g = [&](ll x) -> ll {
        ll tmp = tree_ans;
        rep(i, 0, M) {
            tmp = min(ILL, tmp + f(C[i] + x * X[i]));
        }
        // cout << x << " " << tmp << endl;
        return tmp;
    };
    if (M & 1) {
        ans = g(C[M - 1] / 2);
        if (ans == ILL) ans = -1;
        cout << ans << "\n";
        return;
    }
    else if (C.back()) {
        cout << "-1\n";
        return;
    }
    assert(false);
    // cout << tree_ans << endl;
    // x の値を 0 があり得るものにする
    // x の値を K があり得るものにする？
    rep(i, 0, 2) rep(j, 0, 2){
        ll l = ILL;
        ll r = -ILL;
        rep(k, 0, M) {
            if (k % 2 == i) {
                // X[k] * val + C[k] = j * K
                // val = (j * K - C[k]) / X[k]
                chmin(l, (K * j - C[k]) / X[k]);
                chmax(r, (K * j - C[k]) / X[k]);
            }
        }
        chmin(ans, g(l));
        chmin(ans, g(r));
    }
    // cout << ans << endl;
    // 全てが K より大きいとして良い
    // その上で、適当なあれをする
    {
        ll l = -ILL;
        ll r = ILL;
        rep(i, 0, M) {
            if (X[i] == 1) {
                chmax(l, K + 1 - C[i]);
            }
            else {
                chmin(r, C[i] - K - 1);
            }
        }
        if (r >= l) {
            ll base = tree_ans;
            vector<pair<ll, ll>> p;
            rep(i, 0, M) {
                ll tmp = l * X[i] + C[i];
                base += f(tmp);
                if (X[i] == 1) {
                    // 2 * K であれのときを探す
                    ll nx = 2 * K - (tmp - 1) % (2 * K);
                    if (nx <= r - l) {
                        p.push_back({nx, -1});
                    }
                }
                else {
                    ll nx = (tmp - 1) % (2 * K) + 1;
                    if (nx <= r - l) {
                        p.push_back({nx, 1});
                    }
                }
            }
            chmin(ans, base);
            So(p);
            for (auto a : p) {
                base -= a.second;
                chmin(ans, base);
            }
        }
    }
    cout << ans << '\n';
}
/*
 * [K, 2K] : 1
 * (2K, 4K] : 2
 * 基本的に、
 * (2a, 2(a + 1)K]
 * 減らすのに a + 1 かかると思っていい
 * ただし、a = 1 の時だけへんで、
 * [K, 2K] だし、0 にもできる
 * 0 がある時は分離していい
 * [1, K) があるならそれは -1
 * 数 a は c 回で 0 にできるとき、
 * a / 2K <= c <= a/ K である(当たり前)
 * というかなもりだから、最後の輪っか以外は自明じゃん
 */