結果

問題 No.1194 Replace
ユーザー square1001square1001
提出日時 2020-08-22 13:56:20
言語 C++14
(gcc 12.3.0 + boost 1.83.0)
結果
AC  
実行時間 469 ms / 2,000 ms
コード長 1,857 bytes
コンパイル時間 927 ms
コンパイル使用メモリ 84,472 KB
実行使用メモリ 58,436 KB
最終ジャッジ日時 2024-10-15 08:13:41
合計ジャッジ時間 9,895 ms
ジャッジサーバーID
（参考情報） 		judge5 / judge3
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 332 ms
46,620 KB
testcase_01 AC 357 ms
47,520 KB
testcase_02 AC 277 ms
42,796 KB
testcase_03 AC 231 ms
39,908 KB
testcase_04 AC 359 ms
47,412 KB
testcase_05 AC 329 ms
45,784 KB
testcase_06 AC 301 ms
45,016 KB
testcase_07 AC 469 ms
58,284 KB
testcase_08 AC 467 ms
58,356 KB
testcase_09 AC 466 ms
58,280 KB
testcase_10 AC 463 ms
58,436 KB
testcase_11 AC 469 ms
58,292 KB
testcase_12 AC 469 ms
58,296 KB
testcase_13 AC 310 ms
37,496 KB
testcase_14 AC 266 ms
35,700 KB
testcase_15 AC 214 ms
36,840 KB
testcase_16 AC 299 ms
38,408 KB
testcase_17 AC 199 ms
34,768 KB
testcase_18 AC 208 ms
33,464 KB
testcase_19 AC 295 ms
38,844 KB
testcase_20 AC 10 ms
22,456 KB
testcase_21 AC 9 ms
22,816 KB
testcase_22 AC 9 ms
22,772 KB
testcase_23 AC 88 ms
29,580 KB
testcase_24 AC 32 ms
25,704 KB
testcase_25 AC 21 ms
23,008 KB
testcase_26 AC 115 ms
28,520 KB
testcase_27 AC 28 ms
23,408 KB
testcase_28 AC 56 ms
25,212 KB
testcase_29 AC 13 ms
24,016 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include <vector>
#include <iostream>
#include <algorithm>
#include <functional>
using namespace std;
int V, E; vector<int> G[400009], rG[400009], vs; bool used[400009]; int cmp[400009];
void add_edge(int from, int to) {
	G[from].push_back(to);
	rG[to].push_back(from);
}
void dfs(int v) {
	used[v] = true;
	for (int i = 0; i < G[v].size(); i++) {
		if (!used[G[v][i]]) dfs(G[v][i]);
	}
	vs.push_back(v);
}
void rdfs(int v, int k) {
	used[v] = true;
	cmp[v] = k;
	for (int i = 0; i < rG[v].size(); i++) {
		if (!used[rG[v][i]]) rdfs(rG[v][i], k);
	}
}
int scc() {
	fill(used, used + V, false);
	vs.clear();
	for (int v = 0; v < V; v++) {
		if (!used[v]) dfs(v);
	}
	fill(used, used + V, false);
	int k = 0;
	for (int i = vs.size() - 1; i >= 0; i--) {
		if (!used[vs[i]]) rdfs(vs[i], k++);
	}
	return 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> comp;
	for (int i = 0; i < M; ++i) {
		comp.push_back(B[i]);
		comp.push_back(C[i]);
	}
	sort(comp.begin(), comp.end());
	comp.erase(unique(comp.begin(), comp.end()), comp.end());
	int S = comp.size();
	for (int i = 0; i < M; ++i) {
		int bp = lower_bound(comp.begin(), comp.end(), B[i]) - comp.begin();
		int cp = lower_bound(comp.begin(), comp.end(), C[i]) - comp.begin();
		add_edge(bp, cp);
	}
	V = S; E = M;
	int sz = scc();
	vector<int> dp(sz);
	for (int i = 0; i < S; ++i) {
		dp[cmp[i]] = max(dp[cmp[i]], comp[i]);
	}
	vector<vector<int> > T(sz);
	for (int i = 0; i < S; ++i) {
		for (int j : G[i]) {
			if (cmp[i] != cmp[j]) {
				T[cmp[i]].push_back(cmp[j]);
			}
		}
	}
	for (int i = sz - 1; i >= 0; --i) {
		for (int j : T[i]) {
			dp[i] = max(dp[i], dp[j]);
		}
	}
	long long ans = 1LL * N * (N + 1) / 2;
	for (int i = 0; i < S; ++i) {
		ans += dp[cmp[i]] - comp[i];
	}
	cout << ans << endl;
	return 0;
}
0