7-13 那就别担心了 (30 分)
下图转自“英式没品笑话百科”的新浪微博 —— 所以无论有没有遇到难题,其实都不用担心。
博主将这种逻辑推演称为“逻辑自洽”,即从某个命题出发的所有推理路径都会将结论引导到同一个最终命题(开玩笑的,千万别以为这是真正的逻辑自洽的定义……)。现给定一个更为复杂的逻辑推理图,本题就请你检查从一个给定命题到另一个命题的推理是否是“逻辑自洽”的,以及存在多少种不同的推理路径。例如上图,从“你遇到难题了吗?”到“那就别担心了”就是一种“逻辑自洽”的推理,一共有 3 条不同的推理路径。
输入格式:
输入首先在一行中给出两个正整数 N(1<N≤500)和 M,分别为命题个数和推理个数。这里我们假设命题从 1 到 N 编号。
接下来 M 行,每行给出一对命题之间的推理关系,即两个命题的编号 S1 S2,表示可以从 S1 推出 S2。题目保证任意两命题之间只存在最多一种推理关系,且任一命题不能循环自证(即从该命题出发推出该命题自己)。
最后一行给出待检验的两个命题的编号 A B。
输出格式:
在一行中首先输出从 A 到 B 有多少种不同的推理路径,然后输出 Yes 如果推理是“逻辑自洽”的,或 No 如果不是。
题目保证输出数据不超过 109 。
输入样例 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
思路:
典型的优化DFS问题
坑点:
- 注意!!需要一个优化不然最后一个样例过不了。
- 注意!!!!在优化时最终的sum每次不是加一,加的是这个点有几条可以到达最终节点的个数。
- 注意!!!!!如果开始节点就到不了最终节点,那么就不可能会存在“逻辑自洽”,如果你是倒是第二个样例没的,那么这个就是你需要改正的地方。
- 注意!想要判断“逻辑自洽”的逻辑时,从开始节点出发,你说途径的所有节点都要到最终节点,即使是开始节点的分支节点的分支节点(依此类推)。
- 写的的差不多的人希望看完这些后不要看代码,把自己的代码补全,靠自己AC。如果一点都不会的,按自己的方法来,不要慌,代码有注释,希望你能理解,并最后自己独立完美完成。
代码
#include<bits/stdc++.h>
#define ll long long
#define FAST_IO ios::sync_with_stdio(false);cin.tie(0);cout.tie(0)
using namespace std;
const ll MAXN = 1e12 + 10;
ll n, m, i, j, k, t, w, x, y, z, flag, cou, sum, maxn, minn;
string s, s1, s2;
const ll INF = 1e9 + 7;
vector<ll>v[501];
map<ll, map<ll, ll> >mm;
int dfs ( ll l, ll r )
{
if ( mm[l][r] )return mm[l][r];//将此点能到达最终节点的个数返回给自己的上级节点,再度优化。
for ( int i = 0; i < v[l].size(); i++ )
{
mm[l][r] += dfs ( v[l][i], r );//上级节点接收自己的下属节点能到达最终节点的个数,更新自己
if ( mm[v[l][i]][r] == 0 ) cou = 0;//如果某个下属节点没有能到达最终节点
}
return mm[l][r];//将自己已经更新好的返回给自己的上级节点
}
int main()
{
cin >> n >> m;
for ( i = 0, cou = 1; i < m; i++ )
cin >> x >> y, v[x].push_back ( y );//输入
cin >> x >> y, mm[y][y] = 1;//设置最终节点到自己为1
cout << dfs ( x, y ) << " " << ( cou && mm[x][y] ? "Yes" : "No" ) << endl;
return 0;
}