#pragma GCC target("avx2") #pragma GCC optimize("O3") #pragma GCC optimize("unroll-loops") #include #include using namespace std; using namespace atcoder; using mint = modint998244353; const int N = 5050; int dist[N]; int siz[N]; mint dp[N]; void solve(){ int n; cin >> n; vector> A(n); long long a; for(int i = 0; i < n; i++){ cin >> a; A[i] = {a, i}; } vector> edges(n, vector()); int u, v; for(int i = 0; i < n - 1; i++){ cin >> u >> v; u--; v--; edges[u].push_back(v); edges[v].push_back(u); } sort(A.begin(), A.end()); vector used(n, false); vector pow2(n + 1, 1); for(int i = 1; i <= n; i++) pow2[i] = pow2[i - 1] * 2; mint ans = 0; for(int jj = n - 1; jj >= 0; jj--){ a = A[jj].first; int i = A[jj].second; for(int i = 0; i < n; i++){ dist[i] = -1; siz[i] = 0; } dist[i] = 0; stack st; st.push(~i); st.push(i); while(!st.empty()){ int pos = st.top(); st.pop(); if(pos >= 0){ for(auto npos: edges[pos]){ if(dist[npos] == -1){ dist[npos] = dist[pos] + 1; st.push(~npos); st.push(npos); } } } else{ pos = ~pos; siz[pos]++; for(auto npos: edges[pos]) siz[pos] += siz[npos]; } } for(int i = 0; i < n; i++) dp[i] = 0; auto dfs=[&](auto self, int pos, int bpos) -> void { dp[pos] = 1; for(auto npos: edges[pos]){ if(npos == bpos) continue; if(used[npos]){ dp[pos] *= pow2[siz[npos] - 1]; } else{ self(self, npos, pos); dp[pos] *= dp[npos] + pow2[siz[npos] - 1]; } } }; dfs(dfs, i, -1); mint tot = 0; auto dfs2=[&](auto self, int pos, int bpos) -> void { int le = edges[pos].size(); vector L(le + 1, 1); for(int ii = 0; ii < le; ii++){ int npos = edges[pos][ii]; if(used[npos]) L[ii + 1] = (L[ii] * pow2[siz[npos] - 1]); else if(npos == bpos) L[ii + 1] = (L[ii] * dp[npos]); else L[ii + 1] = (L[ii] * (pow2[siz[npos] - 1] + dp[npos])); } tot += L[le]; vector R(le + 1, 1); for(int ii = edges[pos].size() - 1; ii >= 0; ii--){ int npos = edges[pos][ii]; if(used[npos]) R[ii] = (R[ii + 1] * pow2[siz[npos] - 1]); else if(npos == bpos) R[ii] = (R[ii + 1] * dp[npos]); else R[ii] = (R[ii + 1] * (pow2[siz[npos] - 1] + dp[npos])); } for(int ii = 0; ii < edges[pos].size(); ii++){ int npos = edges[pos][ii]; if((npos == bpos) || used[npos]) continue; dp[pos] = L[ii] * R[ii + 1]; siz[pos] = n - siz[npos]; self(self, npos, pos); } }; dfs2(dfs2, i, -1); ans += tot * a; used[i] = true; } cout << ans.val() << "\n"; } int main(){ cin.tie(0)->sync_with_stdio(0); int t; t = 1; // cin >> t; while(t--) solve(); }