結果

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

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 527 ms
64,096 KB
testcase_01 AC 572 ms
65,724 KB
testcase_02 AC 432 ms
59,536 KB
testcase_03 AC 347 ms
56,676 KB
testcase_04 AC 586 ms
65,748 KB
testcase_05 AC 527 ms
62,868 KB
testcase_06 AC 473 ms
61,816 KB
testcase_07 AC 885 ms
78,996 KB
testcase_08 AC 874 ms
79,000 KB
testcase_09 AC 864 ms
79,020 KB
testcase_10 AC 853 ms
79,088 KB
testcase_11 AC 881 ms
79,144 KB
testcase_12 AC 864 ms
78,996 KB
testcase_13 AC 443 ms
53,028 KB
testcase_14 AC 354 ms
48,916 KB
testcase_15 AC 303 ms
51,380 KB
testcase_16 AC 415 ms
52,380 KB
testcase_17 AC 279 ms
49,548 KB
testcase_18 AC 273 ms
48,004 KB
testcase_19 AC 421 ms
52,632 KB
testcase_20 AC 13 ms
36,116 KB
testcase_21 AC 12 ms
36,356 KB
testcase_22 AC 12 ms
35,680 KB
testcase_23 AC 118 ms
42,528 KB
testcase_24 AC 43 ms
38,612 KB
testcase_25 AC 24 ms
36,904 KB
testcase_26 AC 145 ms
41,740 KB
testcase_27 AC 32 ms
36,500 KB
testcase_28 AC 69 ms
38,812 KB
testcase_29 AC 16 ms
36,364 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