結果

問題 No.1194 Replace
ユーザー SSRSSSRS
提出日時 2020-08-22 15:19:53
言語 C++14
(gcc 13.3.0 + boost 1.87.0)
結果
AC  
実行時間 821 ms / 2,000 ms
コード長 2,637 bytes
コンパイル時間 2,101 ms
コンパイル使用メモリ 189,416 KB
実行使用メモリ 112,744 KB
最終ジャッジ日時 2024-10-15 09:35:26
合計ジャッジ時間 14,957 ms
ジャッジサーバーID
（参考情報） 		judge4 / judge5
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 3
other AC * 27
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include <bits/stdc++.h>
using namespace std;
struct strongly_connected_components{
  vector<vector<int>> scc;
  vector<int> c;
  void dfs1(vector<vector<int>> &E, vector<bool> &used, vector<int> &t, int v){
    for (int w : E[v]){
      if (!used[w]){
        used[w] = true;
        dfs1(E, used, t, w);
      }
    }
    t.push_back(v);
  }
  void dfs2(vector<vector<int>> &E, vector<bool> &used, int v){
    scc.back().push_back(v);
    for (int w : E[v]){
      if (!used[w]){
        used[w] = true;
        dfs2(E, used, w);
      }
    }
  }
  strongly_connected_components(vector<vector<int>> G){
    int V = G.size();
    vector<vector<int>> E1(V), E2(V);
    for (int i = 0; i < V; i++){
      for (int j : G[i]){
        E1[i].push_back(j);
        E2[j].push_back(i);
      }
    }
    vector<bool> used(V, false);
    vector<int> t;
    for (int i = 0; i < V; i++){
      if (!used[i]){
        used[i] = true;
        dfs1(E1, used, t, i);
      }
    }
    reverse(t.begin(), t.end());
    vector<bool> used2(V, false);
    for (int i = 0; i < V; i++){
      if (!used2[t[i]]){
        used2[t[i]] = true;
        scc.push_back(vector<int>());
        dfs2(E2, used2, t[i]);
      }
    }
    c = vector<int>(V);
    int sz = scc.size();
    for (int i = 0; i < sz; i++){
      for (int j : scc[i]){
        c[j] = i;
      }
    }
  }
  int size(){
    return scc.size();
  }
  int operator [](int k){
    return c[k];
  }
};
int main(){
  int N, M;
  cin >> N >> M;
  vector<int> B(M), C(M);
  for (int i = 0; i < M; i++){
    cin >> B[i] >> C[i];
  }
  vector<int> xval;
  for (int i = 0; i < M; i++){
    xval.push_back(B[i]);
    xval.push_back(C[i]);
  }
  sort(xval.begin(), xval.end());
  xval.erase(unique(xval.begin(), xval.end()), xval.end());
  int cnt = xval.size();
  long long ans = (long long) N * (N + 1) / 2;
  for (int x : xval){
    ans -= x;
  }
  map<int, int> mp;
  for (int i = 0; i < cnt; i++){
    mp[xval[i]] = i;
  }
  for (int i = 0; i < M; i++){
    B[i] = mp[B[i]];
    C[i] = mp[C[i]];
  }
  vector<vector<int>> E(cnt);
  for (int i = 0; i < M; i++){
    E[B[i]].push_back(C[i]);
  }
  strongly_connected_components S(E);
  int cnt2 = S.size();
  vector<int> mx(cnt2);
  for (int i = 0; i < cnt; i++){
    mx[S[i]] = max(mx[S[i]], xval[i]);
  }
  vector<vector<int>> f(cnt2);
  for (int i = 0; i < M; i++){
    int x = S[B[i]];
    int y = S[C[i]];
    if (x != y){
      f[x].push_back(y);
    }
  }
  for (int i = cnt2 - 1; i >= 0; i--){
    for (int j : f[i]){
      mx[i] = max(mx[i], mx[j]);
    }
  }
  for (int i = 0; i < cnt; i++){
    ans += mx[S[i]];
  }
  cout << ans << endl;
}
0