LGV引理:DAG多源多汇不相交路径乘积计数
正题 证明啥的都不用管,这篇Blog里面的记住就行了. 首先LGV引理只在DAG上有效. 对于一条路径,我们定义它的权值为路径S上边权之积记为 现在有k个起点,k个终点,对于一对起终点,我们定义,S是起终点的任意一条路径. 我们将放进一个k*k的矩阵当中,第i行第j列为. 我们对这个矩阵求行列式,就有: 前面的P枚举的是一个排列,指的是逆序对个数,后面的prod枚举的是每一组从的路径Q,这些路径要满足互不相交,...
原创
2020-09-18 11:53:01 ·
524 阅读 ·
0 评论