随笔分类 - 基础算法—— 差分约束系统
摘要：标算是贪心，我写了个差分约束？？？？？ 设dist[i]表示1-i号土地种的树的总棵数，考虑以下几种约束条件： 1）dist[y]>=dist[x]+z，即x号土地至y号土地间至少种了z棵树 2）dist[i-1]>=dist[i]-1，即i号土地最多比i-1号土地多种1棵树 3）dist[i]>=
阅读全文
摘要：洛谷上的翻译是真的哲学♂♂♂ 非常van的题目传送门♂♂♂ 个人认为这题充其量也就是个蓝（nan）题，首先处理-1的情况，-1的情况是不等式组无解，按照差分约束的规则，无解说明出现了负环，先跑一遍以0为源点的SPFA判断有无负环即可。再来处理-2的情况，结果为-2就说明1号和n号节点不存在直接的或间
阅读全文
摘要：题目传送门 差分约束系统很棒的应用，首先运用前缀和的思想，令s[k]为0~k中被选出来数的个数，则s[b[i]]>=s[a[i]-1]+c,这样会有一个问题，那就是下标可能会出现负数，因此我们可以改变前缀和表示的方法，设s[k]为0~k-1中被选出来的数，则约束条件可以转化为：s[b[i]+1]-s
阅读全文
摘要：题目传送门 对于一个刚接触差分约束系统的OIer来说，这算是一道细节比较多，也比较难的题。首先就是这道题有5种不同的约束条件，对于条件1，3，5直接按照差分条件建边即可，条件2，4要先移项，再建边。之后再求单源最长路，好不容易做出来后你就会发现数据卡SPFA！！！！这里可以加两个小小的优化：1）当a
阅读全文
摘要：差分约束系统解决的是一个N元1次不等式求解的问题，其中每一个不等式都形如Xi-Xj<=Ck，其中Ck为常数。差分约束系统与最短路关系甚密，可以用最短路算法求解，即先对不等式进行移项操作，将不等式转化为Xi<=Xj+Ck，这正是求完单源最短路后应该满足的条件（在没有负环的情况下）。其中每一个变量可以看
阅读全文
