結果
問題 | No.1293 2種類の道路 |
ユーザー | Shun_PI |
提出日時 | 2020-11-20 21:50:44 |
言語 | C++14 (gcc 12.3.0 + boost 1.83.0) |
結果 |
WA
|
実行時間 | - |
コード長 | 3,323 bytes |
コンパイル時間 | 1,746 ms |
コンパイル使用メモリ | 175,664 KB |
実行使用メモリ | 5,760 KB |
最終ジャッジ日時 | 2024-07-23 12:54:07 |
合計ジャッジ時間 | 3,381 ms |
ジャッジサーバーID (参考情報) |
judge3 / judge1 |
(要ログイン)
テストケース
テストケース表示入力 | 結果 | 実行時間 実行使用メモリ |
---|---|---|
testcase_00 | AC | 2 ms
5,248 KB |
testcase_01 | AC | 2 ms
5,248 KB |
testcase_02 | AC | 1 ms
5,376 KB |
testcase_03 | AC | 1 ms
5,376 KB |
testcase_04 | AC | 2 ms
5,376 KB |
testcase_05 | AC | 2 ms
5,376 KB |
testcase_06 | AC | 2 ms
5,376 KB |
testcase_07 | AC | 2 ms
5,376 KB |
testcase_08 | AC | 2 ms
5,376 KB |
testcase_09 | WA | - |
testcase_10 | WA | - |
testcase_11 | WA | - |
testcase_12 | WA | - |
testcase_13 | WA | - |
testcase_14 | AC | 27 ms
5,632 KB |
testcase_15 | AC | 26 ms
5,632 KB |
testcase_16 | AC | 41 ms
5,760 KB |
testcase_17 | AC | 42 ms
5,760 KB |
testcase_18 | AC | 26 ms
5,760 KB |
testcase_19 | AC | 26 ms
5,632 KB |
testcase_20 | AC | 26 ms
5,504 KB |
testcase_21 | AC | 31 ms
5,376 KB |
testcase_22 | AC | 31 ms
5,376 KB |
testcase_23 | AC | 31 ms
5,376 KB |
ソースコード
#include <bits/stdc++.h> using namespace std; using lint = long long int; using P = pair<int, int>; using PL = pair<lint, lint>; #define FOR(i, begin, end) for(int i=(begin),i##_end_=(end);i<i##_end_;i++) #define IFOR(i, begin, end) for(int i=(end)-1,i##_begin_=(begin);i>=i##_begin_;i--) #define REP(i, n) FOR(i,0,n) #define IREP(i, n) IFOR(i,0,n) #define ALL(a) (a).begin(),(a).end() constexpr int MOD = 1000000007; constexpr lint B1 = 1532834020; constexpr lint M1 = 2147482409; constexpr lint B2 = 1388622299; constexpr lint M2 = 2147478017; constexpr int INF = 2147483647; void yes(bool expr) {cout << (expr ? "Yes" : "No") << "\n";} template<class T>void chmax(T &a, const T &b) { if (a<b) a=b; } template<class T>void chmin(T &a, const T &b) { if (b<a) a=b; } #include <algorithm> #include <cassert> #include <vector> namespace atcoder { // Implement (union by size) + (path compression) // Reference: // Zvi Galil and Giuseppe F. Italiano, // Data structures and algorithms for disjoint set union problems struct dsu { public: dsu() : _n(0) {} dsu(int n) : _n(n), parent_or_size(n, -1) {} int merge(int a, int b) { assert(0 <= a && a < _n); assert(0 <= b && b < _n); int x = leader(a), y = leader(b); if (x == y) return x; if (-parent_or_size[x] < -parent_or_size[y]) std::swap(x, y); parent_or_size[x] += parent_or_size[y]; parent_or_size[y] = x; return x; } bool same(int a, int b) { assert(0 <= a && a < _n); assert(0 <= b && b < _n); return leader(a) == leader(b); } int leader(int a) { assert(0 <= a && a < _n); if (parent_or_size[a] < 0) return a; return parent_or_size[a] = leader(parent_or_size[a]); } int size(int a) { assert(0 <= a && a < _n); return -parent_or_size[leader(a)]; } std::vector<std::vector<int>> groups() { std::vector<int> leader_buf(_n), group_size(_n); for (int i = 0; i < _n; i++) { leader_buf[i] = leader(i); group_size[leader_buf[i]]++; } std::vector<std::vector<int>> result(_n); for (int i = 0; i < _n; i++) { result[i].reserve(group_size[i]); } for (int i = 0; i < _n; i++) { result[leader_buf[i]].push_back(i); } result.erase( std::remove_if(result.begin(), result.end(), [&](const std::vector<int>& v) { return v.empty(); }), result.end()); return result; } private: int _n; // root node: -1 * component size // otherwise: parent std::vector<int> parent_or_size; }; } // namespace atcoder using namespace atcoder; int main() { ios::sync_with_stdio(false); cin.tie(0); cout.tie(0); int N, D, W; cin >> N >> D >> W; dsu uf(2*N); REP(i, D) { int a, b; cin >> a >> b; a--; b--; uf.merge(a, b); } REP(i, W) { int a, b; cin >> a >> b; a--; b--; uf.merge(a+N, b+N); } vector<lint> dsize(N); vector<lint> wsize(N); REP(i, N) { dsize[i] = uf.size(i); wsize[i] = uf.size(i+N); } lint ans = 0; REP(i, N) { if(!uf.same(i, i+N)) { ans += dsize[i] * wsize[i]; uf.merge(i, i+N); } } cout << ans - N << endl; }