摘要：一、概念 差分约束系统（system of difference constraints），是求解关于一组变数的特殊不等式组之方法。如果一个系统由n个变量和m个约束条件组成，其中每个约束条件形如xj-xi<=bk(i,j∈[1,n],k∈[1,m]),则称其为差分约束系统(system of dif 阅读全文

摘要：二分图的概念 二分图又称作二部图，是图论中的一种特殊模型。设G=(V,E)是一个无向图，如果顶点V可分割为两个互不相交的子集(A,B)，并且图中的每条边(i,j)所关联的两个顶点i和j分别属于这两个不同的顶点集(i in A,j in B)，则称图G为一个二分图。 就长这个样。 最大匹配与增广路的概 阅读全文

摘要：传送门 很显然，每个点的答案是它所有前驱节点的答案加1，即f[i]=max(f[i],f[j]+1); 考虑空间复杂度用邻接表存图，在拓扑排序同时DP就好了 阅读全文