洛谷 P5954 [JSOI2013] 侦探 JYY 的题解

突然翻到了这道题，感觉挺不错，就写一篇题解总结一下。

题目大意

共有 $n$ 个事件，已知 $D$ 个事件成立，请你通过给出的 $m$ 条 事件 $x$ 成立，则另一个事件 $y$ 也成立 的这类关系尽可能的推断出成立的事件并输出。

大体思路

$n$ 个事件可以看作 $n$ 个点，而 事件 $x$ 成立，则另一个事件 $y$ 也成立 这种关系其实就是一条 $x\to y$ 的有向边。然后我们可以 bfs。

但是正推似乎很难实现，那么正难则反，考虑建反向边，然后在这个图上 bfs。这就是 逆向思维。

所以大体只有三步：

• 读入，建图，标记已知的必然事件

• 直接运用明显关系（即形如 一个必然事件指向一个未知事件 的关系）推出一些必然事件。

• 在图上 bfs，推出那些并不明显的必然事件。具体可以参照其他人的代码和分析。

代码如下：

#include <bits/stdc++.h>
using namespace std;
//#define int long long
typedef long long ll;
typedef pair<int, int> pr;
#define up(i, l, r) for(int i = (l); i <= (r); i++)
#define down(i, r, l) for(int i = (r); i >= (l); i--)
const int mod = 1000000007;
const int base = 2333;
const double eps = 1e-6;

inline int read() {
	int x = 0, f = 1;
	char ch = getchar();
	while (ch < '0' || ch > '9') {
		if (ch == '-') f = -1;
		ch = getchar();
	}
	while (ch >= '0' && ch <= '9') {
		x = (x << 1) + (x << 3) + (ch ^ 48);
		ch = getchar();
	}
	return x * f;
}

int d, n, m, k, Q, T, _, ans = 0;
int a[1007], in[1007];
bool flag = 0;
vector<int> G[1007];
vector<int> E[1007];
bool vis[1007], tmp[1007];

inline bool check(int x) {
	memset(tmp, 0, sizeof(tmp));
	queue<int> q;
	q.push(x);
	tmp[x] = 1;
	while (!q.empty()) {
		int u = q.front();
		q.pop();
		for (auto v : E[u]) {
			if (vis[v]) return 1; //注意这里
			if (!tmp[v]) q.push(v), tmp[v] = 1;
		}
	}
	//队列现在是空的
	for (int i = 1; i <= d; i++)
		if (!in[i] && !tmp[i])
			tmp[i] = 1, q.push(i);
	while (!q.empty()) {
		int u = q.front();
		q.pop();
		for (auto v : G[u]) if (!tmp[v]) q.push(v), tmp[v] = 1;
	}
	for (int i = 1; i <= n; i++)
		if (!tmp[a[i]]) return 1;
	return 0;
}

signed main() {
	d = read(), m = read(), n = read();
	for (int i = 1; i <= m; i++) {
		int u = read(), v = read();
		G[u].push_back(v);
		E[v].push_back(u);
		in[v]++; //入度即反向图的出度
	}
	for (int i = 1; i <= n; i++) {
		a[i] = read();
		vis[a[i]] = 1;
	}
	for (int i = 1; i <= d; i++) {
		if (vis[i] || check(i)) {
			cout << i << " ";
			a[++n] = i;
			vis[i] = 1;
		}
	}
}