摘要：
差分约束系统是求解不等式组的一种算法，其实就是将不等关系转化为图中的边，然后通过求最短/长路求解不等式组解的边界。 其中不等式应形如y-x<=k，然后利用最短/长路中的三角不等式建边。以最短路为例，假如我们求出了一张图中所有点到源点的最短路，若存在边<x,y>，其边权为k，那么必有dist[x]<= 阅读全文
摘要：
题目链接：https://www.lydsy.com/JudgeOnline/problem.php?id=2330 差分约束系统的模板题吧，一看题目各种不等式。。。 因为是要求最小值，所以我们选择跑最长路好了。根据题目描述建边，这个应该不难，x=1就是建从a到b和从b到a的边权为0的边，x=2就是 阅读全文
摘要：
题目链接：https://www.lydsy.com/JudgeOnline/problem.php?id=4562 好像，一年前，不知道啥叫拓扑图DP的时候做过，记得只有暴力分30。。。 显然和拓扑排序有关，实际上，可以用DP求解。设dp[i]表示以结点i结尾的食物链条数，显然dp[i]=sum{ 阅读全文
摘要：
题目链接：https://www.lydsy.com/JudgeOnline/problem.php?id=4010 一种比较容易想到的做法是把进行拓扑排序的队列换成优先队列，每次取出能访问到的编号最小的点，但这样是不对的，很容易构造数据卡掉。 正确的做法是建反向图，每次取出编号最大的，再将生成的拓 阅读全文
摘要：
题目链接：https://www.lydsy.com/JudgeOnline/problem.php?id=1196 看起来和免费道路那道题是有共同点的，但细细一想，其实二者并不一样。免费道路要求恰好有k条鹅卵石路，而本题要求至少k条一级道路。 本题是想让边权最大的边最小（别去想最小生成树的性质！！ 阅读全文