文章目录
- 题目描述
- 思路
- AC代码
题目描述
输入样例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
思路
记忆化搜索
存储结构
1.用二维数组g存储命题间的关系
2.用dis数组存储从下标为i的点到终点的距离
3.用flag标记是否为逻辑自洽
dfs具体流程,返回值为从x开始,到终点的距离
1.如果当前点在之前已经被搜过了,直接返回其距离即可
2.否则,遍历所有命题,找到可以从当前命题推理过去的,加到本次距离上
3.如果本次dfs结束,本次距离仍未0,表示从x不能推理到终点,即不为逻辑自洽,flag置为false
AC代码
#include <bits/stdc++.h>
using namespace std;
const int N = 510;
int g[N][N];
int dis[N]; //dis[i]表示从下标为i的点到终点的距离
int n, m;
bool flag; //标记是否为逻辑自洽
int dfs(int x)
{if(dis[x]) return dis[x];int res = 0; //记录从x到终点的距离for(int i = 1; i <= n; i ++){if(g[x][i]) res += dfs(i); //判断是否有推理关系}if(!res) flag = false;return dis[x] = res;
}
int main()
{cin >> n >> m;for(int i = 0; i < m; i ++){int a, b;cin >> a >> b;g[a][b] = 1;}int A, B;cin >> A >> B;dis[B] = 1;flag = true;cout << dfs(A) << " ";if(flag) cout << "Yes" << endl;else cout << "No" << endl;return 0;
}
欢迎大家批评指正!!!