結果

問題 No.1194 Replace
ユーザー square1001square1001
提出日時 2020-08-22 13:56:20
言語 C++14
(gcc 13.2.0 + boost 1.83.0)
結果
AC  
実行時間 479 ms / 2,000 ms
コード長 1,857 bytes
コンパイル時間 1,034 ms
コンパイル使用メモリ 85,512 KB
実行使用メモリ 58,384 KB
最終ジャッジ日時 2024-04-23 08:22:45
合計ジャッジ時間 10,243 ms
ジャッジサーバーID
（参考情報） 		judge4 / judge5
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 341 ms
46,584 KB
testcase_01 AC 376 ms
47,736 KB
testcase_02 AC 281 ms
43,692 KB
testcase_03 AC 236 ms
40,348 KB
testcase_04 AC 363 ms
48,032 KB
testcase_05 AC 339 ms
46,308 KB
testcase_06 AC 303 ms
44,708 KB
testcase_07 AC 472 ms
58,328 KB
testcase_08 AC 469 ms
58,372 KB
testcase_09 AC 470 ms
58,292 KB
testcase_10 AC 478 ms
58,384 KB
testcase_11 AC 469 ms
58,340 KB
testcase_12 AC 479 ms
58,340 KB
testcase_13 AC 318 ms
37,620 KB
testcase_14 AC 271 ms
34,724 KB
testcase_15 AC 223 ms
37,364 KB
testcase_16 AC 312 ms
37,636 KB
testcase_17 AC 200 ms
35,228 KB
testcase_18 AC 201 ms
34,228 KB
testcase_19 AC 302 ms
39,324 KB
testcase_20 AC 9 ms
22,412 KB
testcase_21 AC 9 ms
22,896 KB
testcase_22 AC 10 ms
23,208 KB
testcase_23 AC 86 ms
29,160 KB
testcase_24 AC 33 ms
24,580 KB
testcase_25 AC 21 ms
23,504 KB
testcase_26 AC 113 ms
27,284 KB
testcase_27 AC 29 ms
23,984 KB
testcase_28 AC 56 ms
24,808 KB
testcase_29 AC 13 ms
24,688 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