7-2 那就别担心了

下图转自“英式没品笑话百科”的新浪微博 —— 所以无论有没有遇到难题，其实都不用担心。

ziqia.jpg

博主将这种逻辑推演称为“逻辑自洽”，即从某个命题出发的所有推理路径都会将结论引导到同一个最终命题（开玩笑的，千万别以为这是真正的逻辑自洽的定义……）。现给定一个更为复杂的逻辑推理图，本题就请你检查从一个给定命题到另一个命题的推理是否是“逻辑自洽”的，以及存在多少种不同的推理路径。例如上图，从“你遇到难题了吗？”到“那就别担心了”就是一种“逻辑自洽”的推理，一共有 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

#include <iostream>
#include <vector>
#define MAX 10005
using namespace std;
bool visted[MAX]; //用来标记已经走过的点
vector<int> to[MAX]; //用来存储有向图
int num[MAX];
int dfs(int now) { //深度优先搜索DFS
    visted[now] = true; //标记已经走过的点
    if(num[now]) { //如果到终点B则返回
        return num[now];
    }
    for(int i = 0; i < to[now].size(); i++) { //遍历每一个可以走到的节点
        int next = to[now][i]; 
        num[now] += dfs(next);
    }
    return num[now];
}
int main()
{
    int N, M;
    cin >> N >> M;
    int A, B;
    while(M--) {
        cin >> A >> B;
        to[A].push_back(B); //有向图的输入
    }
    cin >> A >> B;
    num[B] = 1; //将终点设置为1，走到终点则路径数+1
    dfs(A);
    cout << num[A] << " ";
    for(int i = 1; i <= N; i++) {
        if(visted[i] && !num[i]) { //如果不是每个节点都有到终点B的路径，则不是逻辑自洽
            cout << "NO" << endl;
            break;
        }
        if(i == N) {
            cout << "YES" << endl;
        }
    }
    return 0;
}