下图转自“英式没品笑话百科”的新浪微博 —— 所以无论有没有遇到难题,其实都不用担心。
博主将这种逻辑推演称为“逻辑自洽”,即从某个命题出发的所有推理路径都会将结论引导到同一个最终命题(开玩笑的,千万别以为这是真正的逻辑自洽的定义……)。现给定一个更为复杂的逻辑推理图,本题就请你检查从一个给定命题到另一个命题的推理是否是“逻辑自洽”的,以及存在多少种不同的推理路径。例如上图,从“你遇到难题了吗?”到“那就别担心了”就是一种“逻辑自洽”的推理,一共有 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
思路
一开始自己做运行超时,百度了一下又学到了
重点在于dfs函数中for(int i=1;i<=n;i++){
if(edge[start][i])
dp[start]+=dfs(i);
}
前一个点路径条数,等于后面的点的路径条数累加
感觉是做过类似的用法的2020第12-14周练习——7-5 部落 (20分)
超时代码
#include<bits/stdc++.h>
using namespace std;
int n,m;
int xx[501][501],ma=0,way=0,flag1=1;
int fun(int start,int end){
int flag=0;
for(int i=1;i<=n;i++){
if(xx[start][i]){
flag=1;
if(i==end) {
way++;
}
else{
fun(i,end);
}
}
}
if(flag==0){
flag1=0;
return 0;
}
else return 1;
}
int main(){
cin>>n>>m;
//最终命题没有出度
memset(xx,0,sizeof(xx));
int a,b;
for(int i=1;i<=m;i++){
cin>>a>>b;
xx[a][b]=1;
}
int start,end;
cin>>start>>end;
fun(start,end);
cout<<way<<" ";
if(flag1) cout<<"Yes"<<endl;
else cout<<"No"<<endl;
return 0;
}
AC代码
#include<bits/stdc++.h>
using namespace std;
int n,m;
int edge[501][501],dp[501],visit[501];//dp记载相应节点上有几条路径到end
int dfs(int start){
visit[start]=1;
if(dp[start]) return dp[start];
for(int i=1;i<=n;i++){
if(edge[start][i])
dp[start]+=dfs(i);
}
return dp[start];
}
int main(){
cin>>n>>m;
memset(edge,0,sizeof(edge));
memset(dp,0,sizeof(dp));
memset(visit,0,sizeof(visit));
int a,b;
for(int i=1;i<=m;i++){
cin>>a>>b;
edge[a][b]=1;
}
int start,end;
cin>>start>>end;
dp[end]=1;
dfs(start);
cout<<dp[start]<<" ";
int flag=1;
for(int i=1;i<=n;i++){
if(visit[i]&&!dp[i]){//经历过该节点,但该节点到end路径数0
flag=0;
break;
}
}
if(flag) cout<<"Yes"<<endl;
else cout<<"No"<<endl;
return 0;
}