判负环 跑$SPFA$时，设$sp\_cnt[x]$表示从$x$入队次数，若更新时， $sp\_cnt[y]\gt n$ ，则说明图中有负环，算法正常结束，则图中无负环 差分约束 差分约束系统即为$n$元一次不等式组，每个约束条件都是由两个变量作差构成的，形如$x_i x_i \leqslant c ...
分类：
其他好文 时间：
2020-01-22 21:48:27
阅读次数：
65
What is Difference Constrains System? 差分约束系统： $V$为系统中的变量集合 $C$为系统中约束集合，即一组不等式，每一条约束的形式如 $x_i x_j \leq b_{i,j}$, $x_i,x_j \in V, b_{i,j} \in R$ 写成矩阵的形式 ...
分类：
其他好文 时间：
2020-01-20 15:06:43
阅读次数：
70
"题目" 有一个$n$的排列。 给你每个位置结尾的最长上升子序列的长度$a_i$，让你构造这个排列使得每个位置开头的最长下降子序列的长度之和最大。 思考历程 贪心一直都不是我的强项…… 我比赛的时候是想着如何用差分约束之类的东西搞的： 对于每个$a_i$，找到前面的$a_j=a_i 1$，它们至少有 ...
分类：
其他好文 时间：
2020-01-07 16:14:03
阅读次数：
67
题解 [51nod1340]地铁环线 "题面" 解析 "本文参考这篇博客" 一开始看到只有120行就打算写一写, 结果一刚就是三个星期~~摆摆摆~~ 本来是当查分约束入门学的. step 1 首先来考虑下如果已知总长度$s$如何判断是否合法. ~~显然差分约束~~ 对于$dis(x,y) =w$ 这 ...
分类：
其他好文 时间：
2019-12-07 22:58:41
阅读次数：
114
"Luogu P1993" 前置知识：最短路径相关算法 如果一个系统由n个变量和m个约束条件组成，形成m个形如ai aj≤k的不等式(i,j∈[1,n],k为常数),则称其为差分约束系统。 显然题目中给出的信息可以构成一个差分约束系统，虽然不等号的方向不统一，但是我们可以利用不等式的性质进行变换，将 ...
分类：
其他好文 时间：
2019-11-28 21:23:02
阅读次数：
72
"题目" 差分约束模板。 注意判负环需要建一个超级源点到每个点连一条$0$的边。因为$1$不一定能到达所有的点。 ...
分类：
其他好文 时间：
2019-11-23 21:41:12
阅读次数：
44
小总结：把条件转换成 “ a - b < c ” 类似的，按 b -> a 的方向权值为 c 建边，求最短路。 练习： P1993 小K的农场 【模板】 题目描述 小K在MC里面建立很多很多的农场，总共n个，以至于他自己都忘记了每个农场中种植作物的具体数量了，他只记得一些含糊的信息（共m个），以下列 ...
分类：
其他好文 时间：
2019-11-12 00:52:27
阅读次数：
74
先考虑如何求出任意两数的最大差值和最小差值，直接差分约束建图跑floyd求最短路和最长路即可然后枚举i和j，考虑dA+dB和di+dj的关系，分两种情况移项，转化成dA-di和dj-dB的关系或dA-dj和di-dB的关系（只要有一个关系确定即确定）即可考虑（由于不等式都是两个变量，因此一定无法形成 ...
分类：
其他好文 时间：
2019-11-05 13:43:01
阅读次数：
95
传送门 "Luogu" 解题思路 首先对于所有不属于任何一条路径上的边，它的权值是任意的。 对于所有在路径上的边 $(u,v)$ 满足 $1\le dis_v dis_u\le2$ 差分约束即可。 细节注意事项 + 用dfs判负环时注意一下时间效率 参考代码 cpp include include ...
分类：
其他好文 时间：
2019-10-26 23:18:08
阅读次数：
108
传送门 听说正常写法是差分约束？ 我怎么看都是贪心啊，所以就用贪心写了（其实是我忘记差分约束怎么写了） 考虑把区间按右端点排序，那么对于每个区间，我们考虑选择的数尽量贴着区间右边，因为这样还可以尽量满足之后区间的要求 （显然填在左边对后面没有任何好处，填右边一定比填左边好） 然后这样搞如果直接暴力复 ...
分类：
其他好文 时间：
2019-10-22 15:34:00
阅读次数：
90
