n<=50000,m<=50000的图,给s和t,问有多少点对$(a,b)$满足 嗯. 不会. 首先最短路DAG造出来,然后两个条件转述一下:条件一,$N_a$表示从s到t经过a的路径,$N_a+N_b=N_t$:条件二,在最短路DAG上A不能到B,B不能到A. 条件一就迪杰斯特拉的时候算一下N,注意不在最短路DAG上的点$N_i=0$:然后对每个$N_t-N_b$的值存一个bitset,用以表示值为这么多的点的状态,枚举a查多少$N_t-N_b=N_a$即可. 条件二就正反拓扑序跑一下,然后…