[2020CCCC天梯赛] L3-1 那就别担心了(30分)
[2020CCCC天梯赛] L3-1 那就别担心了(30分)
下图转自“英式没品笑话百科”的新浪微博 —— 所以无论有没有遇到难题,其实都不用担心。
博主将这种逻辑推演称为“逻辑自洽”,即从某个命题出发的所有推理路径都会将结论引导到同一个最终命题(开玩笑的,千万别以为这是真正的逻辑自洽的定义……)。现给定一个更为复杂的逻辑推理图,本题就请你检查从一个给定命题到另一个命题的推理是否是“逻辑自洽”的,以及存在多少种不同的推理路径。例如上图,从“你遇到难题了吗?”到“那就别担心了”就是一种“逻辑自洽”的推理,一共有 3 条不同的推理路径。
输入格式:
输入首先在一行中给出两个正整数 N(1<N≤500)和 M,分别为命题个数和推理个数。这里我们假设命题从 1 到 N 编号。
接下来 M 行,每行给出一对命题之间的推理关系,即两个命题的编号 S1 S2
,表示可以从 S1
推出 S2
。题目保证任意两命题之间只存在最多一种推理关系,且任一命题不能循环自证(即从该命题出发推出该命题自己)。
最后一行给出待检验的两个命题的编号 A B
。
输出格式:
在一行中首先输出从 A
到 B
有多少种不同的推理路径,然后输出 Yes
如果推理是“逻辑自洽”的,或 No
如果不是。
题目保证输出数据不超过 10^9。
输入样例 1:
7 8
7 6
7 4
6 5
4 1
5 2
5 3
2 1
3 1
7 1
输出样例 1:
3 Yes
输入样例 2:
7 8
7 6
7 4
6 5
4 1
5 2
5 3
6 1
3 1
7 1
输出样例 2:
3 No
思路
DAG上DP
给出一张DAG,求A到B的路径条数。直接在DAG上DP,跑记忆化搜索即可。
第二问求的是是否A的所有路径都能到达B,可以在搜索的时候记录。
注意:
A为出发点,B不一定是唯一的汇点。即,B之后可能有其他的点,不能用出度为零来判断。
如1->2->3,A为1,B为2,也是逻辑自洽的。
Code
#include <bits/stdc++.h>
using namespace std;
const int N = 505, M = 1e6 + 5;
int etot, head[N], ver[M], nxt[M];
void add(int u, int v) {
ver[++etot] = v;
nxt[etot] = head[u];
head[u] = etot;
}
bool check = true;
int f[N];
int n, m, A, B;
int dfs(int u) {
int &res = f[u];
if (res != -1) return res;
res = 0;
for (int i = head[u]; i; i = nxt[i]) {
int v = ver[i];
res += dfs(v);
}
if (!res) check = 0;
return res;
}
int main() {
memset(f, -1, sizeof(f));
scanf("%d%d", &n, &m);
for (int i = 1, u, v; i <= m; ++i) {
scanf("%d%d", &u, &v);
add(u, v);
}
scanf("%d%d", &A, &B);
f[B] = 1;
printf("%d", dfs(A));
check ? printf(" Yes") : printf(" No");
return 0;
}