下图转自“英式没品笑话百科”的新浪微博 —— 所以无论有没有遇到难题,其实都不用担心。
博主将这种逻辑推演称为“逻辑自洽”,即从某个命题出发的所有推理路径都会将结论引导到同一个最终命题(开玩笑的,千万别以为这是真正的逻辑自洽的定义……)。现给定一个更为复杂的逻辑推理图,本题就请你检查从一个给定命题到另一个命题的推理是否是“逻辑自洽”的,以及存在多少种不同的推理路径。例如上图,从“你遇到难题了吗?”到“那就别担心了”就是一种“逻辑自洽”的推理,一共有 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
一点碎碎念:
为了考证和比赛练练手,居然发现自己还会写,不过最后一个居然超时,思考了一下估计是重复结点仍遍历搜索了一遍,但是实际上没有必要啦,所以我加了一个did数组存储是否已经遍历过某个点,didR存储该点后到最终点的路经就大大压缩了计算时间~
直接跑代码:
#include <stdio.h>
int flag=0;
int had[501]={0},num[501][501],did[501]={0},didR[501]={0};
int roadCount(int s,int e){
int i;
if(did[s]==1)
return didR[s];
if(s==e){
did[s]=1;
didR[s]=1;
return 1;
}
else if(had[s]==0){
flag=1;
did[s]=1;
didR[s]=0;
return 0;
}
else{
int total=0;
for(i=0;i<had[s];i++){
total+=roadCount(num[s][i],e);
}
//printf("%d %d\n",s,total);
did[s]=1;
didR[s]=total;
return total;
}
}
int main(){
int m,n,len,i,n1,start,end,road;
scanf("%d%d",&n,&m);
for(i=0;i<m;i++){
scanf("%d",&n1);
scanf("%d",&num[n1][had[n1]]);
had[n1]++;
}
scanf("%d%d",&start,&end);
road=roadCount(start,end);
printf("%d ",road);
if(flag)
printf("No");
else
printf("Yes");
return 0;
}
从来没写过这么简单的L3哈哈哈·(嗑最短路径去了,泪目)