占位
计数定理：对于上边的(a,b),下边(c,d)，设x到y的方案数设为t(x,y)
方案数是：t(a,c)*t(b,d)-t(a,d)*t(b,c)就是每个相交的都对应唯一一种a到d，b到c的方案
合理扩展成k个即可
Matrix-Tree定理有向图：
类似最小树形图，有内外向树之分
删掉根（一行一列必须删根）
外向树：度数保留入
内向树：度数保留出
邻接矩阵认为谁连向谁随意。
矩阵树定理处理边带权：得到所有生成树边权乘积之和
原文：https://www.cnblogs.com/Miracevin/p/10392813.html