結果

問題 No.2949 Product on Tree
ユーザー sibasyun
提出日時 2024-11-03 22:36:05
言語 C++23
(gcc 13.3.0 + boost 1.87.0)
結果
AC  
実行時間 451 ms / 2,000 ms
コード長 5,148 bytes
コンパイル時間 7,635 ms
コンパイル使用メモリ 338,580 KB
実行使用メモリ 32,924 KB
最終ジャッジ日時 2024-11-03 22:36:38
合計ジャッジ時間 31,587 ms
ジャッジサーバーID
（参考情報） 		judge4 / judge1
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 3
other AC * 46
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include <bits/stdc++.h>
#include <atcoder/all>
#include <algorithm>
#include <iostream>
#include <iomanip>
#include <math.h>
#include <random>
#include <chrono>
#include <cstdint>


using namespace std;
using namespace atcoder;
using mint = modint998244353;
// using mint = modint1000000007;
using vi = vector<int>;
using vvi = vector<vector<int>>;
using vvvi = vector<vector<vector<int>>>;
using vl = vector<long long>;
using vvl = vector<vector<long long>>;
using vvvl = vector<vector<vector<long long>>>;
using vm = vector<mint>;
using vvm = vector<vector<mint>>;
using vvvm = vector<vector<vector<mint>>>;
using ll = long long;
template <class T> using max_heap = priority_queue<T>;
template <class T> using min_heap = priority_queue<T, vector<T>, greater<>>;
#define rep(i, n) for (int i = 0; i < (int)(n); i++)
#define rep2(i, f, n) for (int i = (int) f; i < (int)(n); i++)
#define repd(i, n, l) for (int i = (int) n; i >= (int) l; i--)
#define all(p) p.begin(),p.end()
vector<pair<int, int>> dydx{{-1, 0}, {1, 0}, {0, -1 }, {0, 1}};
const ll inf = 1LL << 60;
void print(){ putchar(' '); }
void print(bool a){ printf("%d", a); }
void print(int a){ printf("%d", a); }
void print(unsigned a){ printf("%u", a); }
void print(long a){ printf("%ld", a); }
void print(long long a){ printf("%lld", a); }
void print(unsigned long long a){ printf("%llu", a); }
void print(char a){ printf("%c", a); }
void print(char a[]){ printf("%s", a); }
void print(const char a[]){ printf("%s", a); }
void print(float a){ printf("%.15f", a); }
void print(double a){ printf("%.15f", a); }
void print(long double a){ printf("%.15Lf", a); }
void print(const string& a){ for(auto&& i : a) print(i); }
template<class T> void print(const complex<T>& a){ if(a.real() >= 0) print('+'); print(a.real()); if(a.imag() >= 0) print('+'); print(a.imag()); print('i'); }
template<class T> void print(const vector<T>&);
template<class T, size_t size> void print(const array<T, size>&);
template<class T, class L> void print(const pair<T, L>& p);
template<class T, size_t size> void print(const T (&)[size]);
template<class T> void print(const vector<T>& a){ if(a.empty()) return; print(a[0]); for(auto i = a.begin(); ++i != a.end(); ){ putchar(' '); print(*i); } }
template<class T> void print(const deque<T>& a){ if(a.empty()) return; print(a[0]); for(auto i = a.begin(); ++i != a.end(); ){ putchar(' '); print(*i); } }
template<class T, size_t size> void print(const array<T, size>& a){ print(a[0]); for(auto i = a.begin(); ++i != a.end(); ){ putchar(' '); print(*i); } }
template<class T, class L> void print(const pair<T, L>& p){ print(p.first); putchar(' '); print(p.second); }
template<class T, size_t size> void print(const T (&a)[size]){ print(a[0]); for(auto i = a; ++i != end(a); ){ putchar(' '); print(*i); } }
template<class T> void print(const T& a){ cout << a; }
constexpr ll ten(int n){
	return n==0?1:ten(n-1)*10;
}

vector<vector<int>> unweighted_graph(int n, int m){
    vector<vector<int>> ret(n);
    while (m--){
        int a, b;
        cin >> a >> b;
        a--; b--;
        ret[a].push_back(b);
        ret[b].push_back(a);
    }
    return ret;
}
vector<vector<pair<int, long long>>> weighted_graph(int n, int m){
    vector<vector<pair<int, long long>>> ret(n);
    while (m--){
        int a, b;
        long long c;
        cin >> a >> b >> c;
        a--, b--;
        ret[a].push_back({b, c});
        ret[b].push_back({a, c});
    }
    return ret;
}

template<typename T>
int argmin(vector<T> &a){
    T mi = *min_element(all(a));
    for (int i = 0; i < a.size(); i++){
        if (a[i] == mi) return i;
    }
}

template<typename T>
int argmax(vector<T> &a){
    T ma = *max_element(all(a));
    for (int i = 0; i < a.size(); i++){
        if (a[i] == ma) return i;
    }
}

mint ans = 0;

void dfs(int n, int p, vvi &G, vm &dp, vm &A){
    dp[n] = A[n];
    // mint sm = 0;
    // int cnt = 0;
    for(int nxt : G[n]){
        if (nxt == p) continue;
        // cnt++;
        dfs(nxt, n, G, dp, A);
        dp[n] += A[n] * dp[nxt];
    }
    // if (cnt) dp[n] = sm * dp[n];
    // else dp[n] = A[n];
    // dp[n] += sm * A[n];
    // cout << n << ' ' << dp[n].val() << endl;
}

void dfs2(int n, int p, vvi &G, vm &dp, vm &A){
    ans += dp[n] - A[n]; 
    // cout << n << ' ' << dp[n].val() << endl;
    for(int nxt : G[n]){
        if (nxt == p) continue;
        mint pre = dp[n];
        mint pre2 = dp[nxt];
        
        dp[n] -= dp[nxt] * A[n];
        dp[nxt] += dp[n] * A[nxt];
        // if (G[n].size() > 1) dp[n] -= dp[nxt] * A[n];
        // else dp[n] = A[n];
        // if (G[nxt].size() > 1) dp[nxt] += dp[n] * A[nxt];
        // else dp[nxt] = A[nxt] * dp[n];
        // dp[nxt] += dp[n] * A[nxt];
        dfs2(nxt, n, G, dp, A);
        dp[nxt] = pre2;
        dp[n] = pre;
    }
}


int main() {
    int N;
    cin >> N;
    vi a(N); rep(i, N) cin >> a[i];
    vm A(N); rep(i, N) A[i] = a[i];
    auto G = unweighted_graph(N, N-1);
    vm dp(N, 0);
    dfs(0, -1, G, dp, A);
    dfs2(0, -1, G, dp, A);
    ans *= mint(2).inv();
    cout << ans.val() << endl;
    // rep(i, N) cout << dp[i].val() << ' ';
    return 0;
}
0