转化补集的思想,首先求出任意两点之间路径数目 然后求两条路径第一次相交在点k(按照拓扑排序的顺序)的数目,显然这里要用到容斥 然后pascal有坑爹的范围检测,所以运算中有些不会影响到答案但会爆int64的地方要判断一下 const inf=1e18; ..,..] of boolean; f:..,..] of int64; g:..] of int64; q,rd:..] of longint; a,b,c,d,n,m,x,y,i,j,k,h,t:longint; ans:int64; be…

最近学容斥的时候又碰到一道类似的题目,所以想分享一个套路,拿这题来举例 [题目描述] 给出一个\(N(N\leq 150)\)个结点的有向无环简单图.给出4个不同的点\(a,b,c,d\),定义不相交路径为两条路径,两条路径的起点分别为\(a\)和\(c\),对应的两条路径的终点为\(b\)和\(d\),要求满足这两条路径不相交,即两条路径上没有公共的点. 现在要求不相交路径的方案数. [输入格式] 第一行为\(N,M\).表示这个有向无环图有\(N\)个节点,\(M\)条边. 接下来\(M\)…

题目描述 在有向无环图上给你两个起点和终点分别为$a,b,c,d$.问有几种路径方案使得能从$a$走到$b$的同时能从$c$走到$d$,且两个路径没有交点. $1\leq n\leq 200,1\leq m\leq 5000$. -------------------------------------------------------------------- 经过了深刻地思考,你会发现,由于这是一个$DAG$图,我们可以将其转化为动态规划来做,同时我们先要将图建立成一个拓扑图. 然后你又经…