PTA-那就别担心了

输入格式：
输入首先在一行中给出两个正整数 N（1<N≤500）和 M，分别为命题个数和推理个数。这里我们假设命题从 1 到 N 编号。

接下来 M 行，每行给出一对命题之间的推理关系，即两个命题的编号 S1 S2，表示可以从 S1 推出 S2。题目保证任意两命题之间只存在最多一种推理关系，且任一命题不能循环自证（即从该命题出发推出该命题自己）。

最后一行给出待检验的两个命题的编号 A B。

输出格式：
在一行中首先输出从 A 到 B 有多少种不同的推理路径，然后输出 Yes 如果推理是“逻辑自洽”的，或 No 如果不是。

题目保证输出数据不超过 1e9

输入样例 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会超时，所以要用记忆化搜索，将访问过的点到终点的路径数记录下来，下一次从别的路径访问到该点时就无需继续向后访问了，直接加上路径数即可。
另外这题的判断上有一点需要注意，就是终点命题如果还可以推其他命题，也是算逻辑自洽的（即输出yes），也就是说只要从起点出发的路径中能经过终点命题即正确。
代码中注释的部分就是针对终点命题如果还可以推其他命题的情况，如果取消注释提交就会错误，也算是一个坑吧。

#include <bits/stdc++.h>
using namespace std;

vector<int> g[501];//邻接表
int flag = 1;
int way[501]={0};//记录一个点到终点的路径条数，way[d]=1

int dfs(int s)
{
    if(way[s])//要么是终点，要么是已经访问过的点
    {
        return way[s];
    }
    if(!g[s].size()) flag=0;//在非终点的点停下，不符合自洽条件
                            //只要访问到终点就会因为上一个条件而不再继续访问
                            //所以不会将经过终点而停在其他点的情况算入
    for(int i=0;i<g[s].size();i++)
    {
        way[s]+=dfs(g[s][i]);
    }
    return way[s];
}

int main()
{
    int n, m, s, d;
    scanf("%d%d", &n, &m);
    while (m--)
    {
        int x, y;
        scanf("%d%d", &x, &y);
        g[x].push_back(y);
    }
    scanf("%d%d", &s, &d);
    if(g[d].size()) flag=0;
    way[d]=1;//终点的way置为1
    printf("%d ",dfs(s));
    if (flag)
        printf("Yes");
    else
        printf("No");
    return 0;
}