結果

問題 No.1194 Replace
ユーザー pockynypockyny
提出日時 2020-08-23 01:35:32
言語 C++17
(gcc 12.3.0 + boost 1.83.0)
結果
AC  
実行時間 965 ms / 2,000 ms
コード長 1,909 bytes
コンパイル時間 1,129 ms
コンパイル使用メモリ 90,976 KB
実行使用メモリ 78,976 KB
最終ジャッジ日時 2024-10-15 12:31:57
合計ジャッジ時間 15,744 ms
ジャッジサーバーID
（参考情報） 		judge3 / judge4
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 575 ms
62,112 KB
testcase_01 AC 612 ms
63,960 KB
testcase_02 AC 471 ms
57,848 KB
testcase_03 AC 381 ms
54,268 KB
testcase_04 AC 624 ms
64,080 KB
testcase_05 AC 538 ms
61,932 KB
testcase_06 AC 503 ms
59,892 KB
testcase_07 AC 888 ms
78,968 KB
testcase_08 AC 893 ms
78,948 KB
testcase_09 AC 895 ms
78,964 KB
testcase_10 AC 918 ms
78,968 KB
testcase_11 AC 961 ms
78,956 KB
testcase_12 AC 965 ms
78,976 KB
testcase_13 AC 449 ms
50,336 KB
testcase_14 AC 387 ms
46,924 KB
testcase_15 AC 326 ms
48,272 KB
testcase_16 AC 446 ms
50,364 KB
testcase_17 AC 304 ms
46,496 KB
testcase_18 AC 303 ms
44,992 KB
testcase_19 AC 443 ms
51,220 KB
testcase_20 AC 13 ms
31,488 KB
testcase_21 AC 14 ms
31,744 KB
testcase_22 AC 14 ms
31,616 KB
testcase_23 AC 138 ms
39,168 KB
testcase_24 AC 49 ms
34,760 KB
testcase_25 AC 28 ms
32,512 KB
testcase_26 AC 156 ms
38,144 KB
testcase_27 AC 36 ms
32,640 KB
testcase_28 AC 76 ms
35,072 KB
testcase_29 AC 19 ms
32,128 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include <iostream>
#include <vector>
#include <map>
#include <utility>
using namespace std;
vector<int> G[400010],rG[400010],vis;
bool used[400010];
int cmp[400010];
typedef long long ll;
void add_edge(int n){
    for(int i=0;i<n;i++){
        for(int v:G[i]){
            rG[v].push_back(i);
        }
    }
}

void dfs(int s){
    used[s] = true;
    for(int v:G[s]){
        if(!used[v]) dfs(v);
    }
    vis.push_back(s);
}

void rdfs(int s,int k){
    used[s] = true; cmp[s] = k;
    for(int v:rG[s]){
        if(!used[v]) rdfs(v,k);
    }
}

int scc(int n){
    add_edge(n);
    for(int i=0;i<n;i++) used[i] = false;
    vis.clear();
    for(int i=0;i<n;i++){
        if(!used[i]) dfs(i);
    }
    for(int i=0;i<n;i++) used[i] = false;
    int k = 0;
    for(int i=n - 1;i>=0;i--){
        if(!used[vis[i]]){
            rdfs(vis[i],k); k++;
        }
    }
    return k;
}

map<int,int> mp;
pair<int,int> p[200010];
vector<int> z;
vector<int> dag[400010];
int mx[400010] = {},dp[400010];
bool used2[400010];
void solve(int s){
    if(used2[s]) return;
    used2[s] = true;
    for(int v:dag[s]){
        solve(v);
        dp[s] = max(dp[s],dp[v]);
    }
}

int main(){
    ll i,n,m; cin >> n >> m;
    ll ans = n*(n + 1)/2;
    for(i=0;i<m;i++){
        int b,c; cin >> b >> c;
        mp[b] = 1; mp[c] = 1; p[i] = {b,c};
    }
    for(auto x:mp){
        ans -= x.first; z.push_back(x.first);
    }
    for(i=0;i<z.size();i++) mp[z[i]] = i;
    for(i=0;i<m;i++){
        G[mp[p[i].first]].push_back(mp[p[i].second]);
    }
    int sz = scc((int)z.size());
    for(i=0;i<z.size();i++){
        mx[cmp[i]] = max(mx[cmp[i]],z[i]);
    }
    for(i=0;i<z.size();i++){
        used[cmp[i]] = false;
        dp[cmp[i]] = mx[cmp[i]];
        for(int v:G[i]) dag[cmp[i]].push_back(cmp[v]);
    }
    for(i=0;i<z.size();i++) solve(i);
    for(i=0;i<z.size();i++) ans += dp[cmp[i]];
    cout << ans << endl;
}
0