Problem:
Escape

頂点に正の値を持つ無向グラフが与えられる。
頂点には 1 から N の番号がついており、i 番目の頂点は w_i の値を持っている。
1 番目の頂点からスタートし、直前に通った辺を通ることができないという制約のもとでグラフ上を移動することができる。
各頂点では，初めて訪れた時に限りその頂点が持つ値の点数を得られる。

取得できる点数の総和の最大値を求めよ。

Constraints

1 ≤ N ≤ 100000

N − 1 ≤ M ≤ 100000

1 ≤ w_i ≤ 1000

1 ≤ u_i, v_i ≤ N

多重辺・自己辺は存在しない

グラフは連結である

Input Format

入力は以下の形式で標準入力から与えられる。

N M
w_1 w_2 ... w_N
u_1 v_1
u_2 v_2
...
u_M v_M

1 行目にはグラフの頂点数 N と辺の数を表す整数 M が入力される。

2 行目には各頂点が持つ値 w_i が入力される。

さらに続けて M 行に、各辺により繋がれる 2 頂点の番号が入力される。

Output Format

答えを1行に出力せよ。

Sample Input 1

6 6
1 2 3 4 5 6
1 2
2 3
3 4
1 4
4 5
5 6

Sample Output 1

21

頂点 1→2→3→4→5→6 と進むことで全ての頂点の点数を集めることができます。

Sample Input 2

7 8
1 3 3 5 2 2 3
1 2
2 3
3 1
1 4
1 7
1 5
1 6
5 6

Sample Output 2

16

頂点 1→2→3→1→5→6→1→4 と進むことで16点を集めることができます。

Solution in C++ (judge verdict: Wrong Answer)

#include <iostream>
#include <vector>
#include <stack>
#define int long long
using namespace std;

void visit(vector< vector<int> > &G, int cur, int prev, vector< pair<int, int> > &brg, vector< vector<int> > &each_bcc, stack<int> &roots, stack<int> &S, vector<bool> &inS, vector<int> &order, int &k){
  order[cur] = ++k;
  //++k;
  S.push(cur);
  inS[cur] = true;
  roots.push(cur);
  for(int i = 0; i < G[cur].size(); ++i){
    int to = G[cur][i];
    if(!order[to]) visit(G, to, cur, brg, each_bcc, roots, S, inS, order, k);
    else if(to != prev && inS[to]){
      while(order[roots.top()] > order[to]) roots.pop();
    }
  }

  if(cur == roots.top()){
    if(prev != -1) brg.push_back(pair<int, int>(prev, cur));
    vector<int> bcc;
    while(1){
      int node = S.top();
      S.pop();
      inS[node] = false;
      bcc.push_back(node);
      if(node == cur) break;
    }
    each_bcc.push_back(bcc);
    roots.pop();
  }
}

void bridge(vector< vector<int> > &G, vector< pair<int, int> > &brg, vector< vector<int> > &each_bcc){
  int V = G.size();
  vector<int> order(V);
  vector<bool> inS(V);
  stack<int> roots, S;
  int k = 0;
  for(int i = 0; i < V; ++i){
    if(!order[i]) visit(G, i, -1, brg, each_bcc, roots, S, inS, order, k);
  }
}

int dfs(vector< vector<int> > &G, vector<int> &W, int v){
  int ret = 0, w = W[v];
  W[v] = 0;
  for(int i = 0; i < G[v].size(); ++i){
    int v_ = G[v][i];
    if(!W[v_]) continue;
    ret = max(ret, dfs(G, W, v_));
  }
  W[v] = w;
  return ret + w;
}

//int main(){
signed main(){
  int N, M;
  cin >> N >> M;
  vector<int> W(N);
  for(int i = 0; i < N; ++i) cin >> W[i];
  vector< vector<int> > G(N);
  for(int i = 0; i < M; ++i){
    int u, v;
    cin >> u >> v;
    --u;--v;
    G[u].push_back(v);
    G[v].push_back(u);
  }
  vector< vector<int> > each_bcc;
  vector< pair<int, int> > brg;
  bridge(G, brg, each_bcc);
  int V = each_bcc.size();
  vector<int> W_(V, 0);
  vector<int> cmp(N);
  for(int i = 0; i < V; ++i){
    for(int j = 0; j < each_bcc[i].size(); ++j){
      cmp[each_bcc[i][j]] = i;
      W_[i] += W[each_bcc[i][j]];
    }
  }
  vector< vector<int> > G_(V);
  for(int i = 0; i < brg.size(); ++i){
    int u = brg[i].first, v = brg[i].second;
    G_[cmp[u]].push_back(cmp[v]);
    G_[cmp[v]].push_back(cmp[u]);
  }
  //for(int i = 0; i < N; ++i) cout << cmp[i] << " ";cout << endl;
  //for(int i = 0; i < V; ++i) cout << W_[i] << " "; cout << endl;
  int s = cmp[0];
  cout << dfs(G_, W_, s) << endl;
  return 0;
}