結果
問題 | No.2914 正閉路検出 |
ユーザー | n0ma_ru |
提出日時 | 2024-10-05 19:00:35 |
言語 | C++17 (gcc 12.3.0 + boost 1.83.0) |
結果 |
WA
|
実行時間 | - |
コード長 | 2,736 bytes |
コンパイル時間 | 2,624 ms |
コンパイル使用メモリ | 220,132 KB |
実行使用メモリ | 14,336 KB |
最終ジャッジ日時 | 2024-10-05 19:00:53 |
合計ジャッジ時間 | 16,432 ms |
ジャッジサーバーID (参考情報) |
judge1 / judge5 |
(要ログイン)
テストケース
テストケース表示入力 | 結果 | 実行時間 実行使用メモリ |
---|---|---|
testcase_00 | AC | 2 ms
6,816 KB |
testcase_01 | WA | - |
testcase_02 | AC | 2 ms
6,820 KB |
testcase_03 | WA | - |
testcase_04 | WA | - |
testcase_05 | AC | 2 ms
6,820 KB |
testcase_06 | WA | - |
testcase_07 | WA | - |
testcase_08 | WA | - |
testcase_09 | WA | - |
testcase_10 | WA | - |
testcase_11 | WA | - |
testcase_12 | AC | 2 ms
6,820 KB |
testcase_13 | WA | - |
testcase_14 | WA | - |
testcase_15 | WA | - |
testcase_16 | WA | - |
testcase_17 | WA | - |
testcase_18 | WA | - |
testcase_19 | WA | - |
testcase_20 | WA | - |
testcase_21 | WA | - |
testcase_22 | WA | - |
testcase_23 | WA | - |
testcase_24 | WA | - |
testcase_25 | WA | - |
testcase_26 | WA | - |
testcase_27 | WA | - |
testcase_28 | WA | - |
testcase_29 | WA | - |
testcase_30 | AC | 16 ms
7,808 KB |
testcase_31 | WA | - |
testcase_32 | WA | - |
testcase_33 | WA | - |
testcase_34 | WA | - |
testcase_35 | WA | - |
testcase_36 | WA | - |
testcase_37 | WA | - |
testcase_38 | WA | - |
testcase_39 | WA | - |
testcase_40 | WA | - |
testcase_41 | WA | - |
testcase_42 | WA | - |
testcase_43 | WA | - |
testcase_44 | WA | - |
testcase_45 | WA | - |
testcase_46 | WA | - |
testcase_47 | WA | - |
testcase_48 | WA | - |
testcase_49 | WA | - |
testcase_50 | WA | - |
testcase_51 | WA | - |
testcase_52 | WA | - |
testcase_53 | WA | - |
testcase_54 | WA | - |
ソースコード
#include <bits/stdc++.h> using namespace std; using ll = long long; #define ALL(v) v.begin(),v.end() #define dbg(x) cerr << #x << ": " << (x) << endl; int n,m; vector<array<int,4>> e; struct WUF { vector<int> par, rank; vector<ll> w; int n; WUF(int n) : n(n), par(n), rank(n), w(n) { iota(ALL(par),0); } int root(int x) { if (x == par[x]) return x; return par[x] = root(par[x]); } bool same(int x, int y) { return (root(x) == root(y)); } bool unite(int x, int y, ll dw) { x = root(x); y = root(y); dw += w[x]; dw -= w[y]; if (x == y) return false; if (rank[x] > rank[y]) swap(x,y), dw = -dw; if (rank[x] == rank[y]) ++rank[x]; par[x] = y; w[y] = dw; return true; } ll weight(int x) { return w[x]; } ll diff(int x, int y) { return weight(y) - weight(x); } }; int main() { cin >> n >> m; e.resize(m); for (int i = 0; i < m; ++i) { auto& [u,v,w,id] = e[i]; cin >> u >> v >> w; --u; --v; id = i; } vector<vector<pair<int,int>>> g(n); WUF uf(n); for (auto&& [u,v,w,i] : e) { // check; // for (int j = 0; j < n; ++j) { // cerr << uf.weight(j) << " \n"[j==n-1]; // } if (uf.same(u,v)) { if (uf.diff(u,v) == w) { /// ok } else { // bfs queue<int> q; vector<pair<int,int>> pre(n, {-1,-1}); q.push(u); pre[u] = {-2, -2}; while (q.size()) { int pos = q.front(); q.pop(); for (auto [to,id] : g[pos]) { if (pre[to].first == -1) { pre[to].first = pos; pre[to].second = id; q.push(to); } } } vector<int> path; int now = v; while (pre[now].second != -2) { path.push_back(pre[now].second); now = pre[now].first; } path.push_back(i); // out cout << v+1 << '\n'; cout << path.size() << '\n'; for (int j = 0; j < path.size(); ++j) { cout << path[j]+1 << " \n"[j==path.size()-1]; } return 0; } } else { uf.unite(u, v, w); g[u].emplace_back(v, i); g[v].emplace_back(u, i); } } cout << "-1\n"; }