結果

問題 No.2914 正閉路検出
ユーザー Carpenters-CatCarpenters-Cat
提出日時 2024-10-04 23:16:45
言語 C++17
(gcc 12.3.0 + boost 1.83.0)
結果
WA  
実行時間 -
コード長 1,719 bytes
コンパイル時間 2,074 ms
コンパイル使用メモリ 215,764 KB
実行使用メモリ 814,872 KB
最終ジャッジ日時 2024-10-04 23:16:52
合計ジャッジ時間 5,205 ms
ジャッジサーバーID
(参考情報)
judge4 / judge5
このコードへのチャレンジ
(要ログイン)

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 3 ms
10,788 KB
testcase_01 WA -
testcase_02 AC 4 ms
10,188 KB
testcase_03 AC 4 ms
10,820 KB
testcase_04 MLE -
testcase_05 -- -
testcase_06 -- -
testcase_07 -- -
testcase_08 -- -
testcase_09 -- -
testcase_10 -- -
testcase_11 -- -
testcase_12 -- -
testcase_13 -- -
testcase_14 -- -
testcase_15 -- -
testcase_16 -- -
testcase_17 -- -
testcase_18 -- -
testcase_19 -- -
testcase_20 -- -
testcase_21 -- -
testcase_22 -- -
testcase_23 -- -
testcase_24 -- -
testcase_25 -- -
testcase_26 -- -
testcase_27 -- -
testcase_28 -- -
testcase_29 -- -
testcase_30 -- -
testcase_31 -- -
testcase_32 -- -
testcase_33 -- -
testcase_34 -- -
testcase_35 -- -
testcase_36 -- -
testcase_37 -- -
testcase_38 -- -
testcase_39 -- -
testcase_40 -- -
testcase_41 -- -
testcase_42 -- -
testcase_43 -- -
testcase_44 -- -
testcase_45 -- -
testcase_46 -- -
testcase_47 -- -
testcase_48 -- -
testcase_49 -- -
testcase_50 -- -
testcase_51 -- -
testcase_52 -- -
testcase_53 -- -
testcase_54 -- -
権限があれば一括ダウンロードができます

ソースコード

diff #

#include<bits/stdc++.h>
using namespace std;
int main () {
	int N, M;
	cin >> N >> M;
	using ll = long long;
	using T = tuple<int, int, ll>;
	std::vector<T> gr[200020];
	int E[200020];
	for (int i = 1; i <= M; i ++) {
		int u, v;
		ll w;
		cin >> u >> v >> w;
		gr[u].emplace_back(v, i, w);
		gr[v].emplace_back(u, i, -w);
		E[i] = u ^ v;
	}
	ll D[200020];
	int pre [200020];
	fill(D, D + (N + 1), 0);
	fill(pre, pre + (N + 1), 0);
	for (int i = 1; i <= N; i ++) {
		if (pre[i]) continue;
		pre[i] = -1;
		queue<int>que;
		que.push(i);
		int beg = -1;
		int pr2 = -1;
		ll d2 = -1;
		while (!que.empty()) {
			int u = que.front();
			que.pop();
			for (auto& [v, i, d] : gr[u]) {
				if (!pre[v]) {
					pre[v] = i;
					D[v] = D[u] + d;
					que.push(v);
				} else if (D[v] != D[u] + d) {
					beg = v;
					pr2 = i;
					d2 = D[u] + d;
					break;
				}
			}
			if (beg != -1) break;
		}
		if (beg != -1) {
			ll d1 = D[beg];
			vector<int> a1, a2;
			int fl = beg;
			while (fl != i) {
				a1.push_back(pre[fl]);
				fl = fl ^ E[pre[fl]];
			}
			a2.push_back(pr2);
			fl = fl ^ E[pr2];
			while (fl != i) {
				a2.push_back(pre[fl]);
				fl = fl ^ E[pre[fl]];
			}
			if (d1 > d2) {
				swap(a1, a2);
			}
			reverse(a2.begin(), a2.end());
			for (auto& a : a2) {
				a1.push_back(a);
			}
			bool ex[200020];
			a2.clear();
			for (auto& a : a1) {
				if (ex[a]) {
					while (ex[a]) {
						ex[a2.back()] = false;
						a2.pop_back();
					}
				} else {
					ex[a] = true;
					a2.push_back(a);
				}
			}
			cout << a2.size() << endl;
			cout << beg << endl;
			for (int i = 0; i < a2.size(); i ++) {
				cout << a2[i] << (i + 1 < a2.size() ? " " : "");
			}
			cout << endl;
			return 0;
		}
	}
	puts("-1");
}
0