#927851 (C++17) No.2536 同値性と充足可能性

• 問題: No.2536 同値性と充足可能性
• ユーザー: Today03
• 提出日時: 2023-11-10 22:30:41
• 言語: C++17 (gcc 12.3.0 + boost 1.83.0)
• 結果: WA
• 実行時間: -
• コード長: 1,458 bytes
• コンパイル時間: 2,237 ms
• コンパイル使用メモリ: 210,200 KB
• 実行使用メモリ: 11,900 KB
• 最終ジャッジ日時: 2024-09-26 01:53:36
• 合計ジャッジ時間: 6,566 ms
• ジャッジサーバーID （参考情報）: judge1 / judge5

入力	結果	実行時間; 実行使用メモリ
testcase_00	AC	2 ms; 5,248 KB
testcase_01	AC	2 ms; 5,376 KB
testcase_02	AC	2 ms; 5,376 KB
testcase_03	AC	2 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	WA	-
testcase_15	WA	-
testcase_16	WA	-
testcase_17	WA	-
testcase_18	WA	-
testcase_19	AC	2 ms; 6,944 KB
testcase_20	AC	8 ms; 6,940 KB
testcase_21	AC	9 ms; 6,940 KB
testcase_22	AC	9 ms; 6,940 KB
testcase_23	AC	79 ms; 6,940 KB
testcase_24	AC	78 ms; 6,944 KB
testcase_25	WA	-
testcase_26	WA	-
testcase_27	AC	118 ms; 11,900 KB
testcase_28	WA	-
testcase_29	WA	-
testcase_30	AC	109 ms; 11,776 KB

ソースコード

#include <bits/stdc++.h>
using namespace std;

int main() {
	int N, M;
	cin >> N >> M;
	vector<vector<int>> G1(N), G2(N);
	for (int i = 0; i < M; i++) {
		int a, b;
		string s;
		cin >> a >> s >> b;
		a--;
		b--;
		if (s == "<==>") {
			G1[a].push_back(b);
			G1[b].push_back(a);
		} else {
			G2[min(a, b)].push_back(max(a, b));
		}
	}
	vector<int> root(N, -1);
	for (int i = 0; i < N; i++) {
		if (root[i] == -1) {
			root[i] = i;
			queue<int> Q;
			Q.push(i);
			while (!Q.empty()) {
				int now = Q.front();
				Q.pop();
				for (int nxt : G1[now]) {
					if (root[nxt] == -1) {
						root[nxt] = i;
						Q.push(nxt);
					}
				}
			}
		}
	}
	bool ans = true;
	for (int i = 0; i < N; i++) {
		for (int j : G2[i]) {
			if (root[i] == root[j]) {
				ans = false;
			}
		}
	}
	if (!ans) {
		cout << "No" << endl;
	} else {
		cout << "Yes" << endl;
		vector<int> state(N, -1);
		for (int i = 0; i < N; i++) {
			if (root[i] == i) {
				if (state[i] == -1) {
					if (G2[i].size() > 0 && state[G2[i].front()] == 1) {
						state[i] = 0;
					} else {
						state[i] = 1;
					}
				}
				for (int j : G2[i]) {
					state[root[j]] = 1 - state[i];
				}
			} else {
				state[i] = state[root[i]];
			}
		}
		vector<int> out;
		for (int i = 0; i < N; i++) {
			if (state[i] == 1) {
				out.push_back(i + 1);
			}
		}
		cout << out.size() << endl;
		for (int i = 0; i < (int)out.size(); i++) {
			cout << out[i] << (i + 1 == out.size() ? '\n' : ' ');
		}
	}
}