![](https://img-blog.csdnimg.cn/20201014180756930.png?x-oss-process=image/resize,m_fixed,h_64,w_64)
差分约束
文章平均质量分 84
zzqwtc
blog dot zzqwtc dot com
展开
-
Acwing 368.银河(tarjan缩点优化差分约束)
tarjan求scc优化差分约束差分约束的两种模型:求最小值和最大值 分别对应最长路和最短路。对于最长路模型,判断是否无解的依据是图中有没有正环。考虑tarjan算法缩点后的某个scc,如果这个scc中有某条边权值大于0 ,且scc中的任意两个点都可互相到达,所以一定存在正环,即不满足差分约束的条件。最短路模型同理。因为同一scc内部的边权都为0,所以同一个scc中的所有点到超级源点的距离都相同,只需要对tarjan缩点后的拓扑图跑最短/长路,求出每个scc的最短/长路即可。Acwing 368.原创 2021-11-25 21:38:33 · 3195 阅读 · 0 评论 -
Acwing 1170. 布局 (差分约束)
Acwing 1170. 布局题意当排队等候喂食时,奶牛喜欢和它们的朋友站得靠近些。农夫约翰有 NNN 头奶牛,编号从 111 到 NNN,沿一条直线站着等候喂食。奶牛排在队伍中的顺序和它们的编号是相同的。因为奶牛相当苗条,所以可能有两头或者更多奶牛站在同一位置上。如果我们想象奶牛是站在一条数轴上的话,允许有两头或更多奶牛拥有相同的横坐标。一些奶牛相互间存有好感,它们希望两者之间的距离不超过一个给定的数 LLL。另一方面,一些奶牛相互间非常反感,它们希望两者间的距离不小于一个给定的数 DDD原创 2021-10-29 20:25:25 · 3084 阅读 · 0 评论 -
Acwing 362.区间(差分约束)
Acwing 362.区间题意给定 nnn 个区间 [ai,bi]\left[a_{i}, b_{i}\right][ai,bi] 和 nnn 个整数 ci 。 c_{i \text { 。 }}ci 。 你需要构造一个整数集合 ZZZ, 使得 ∀i∈[1,n],Z\forall i \in[1, n], Z∀i∈[1,n],Z 中满足 ai≤x≤bia_{i} \leq x \leq b_{i}ai≤x≤bi 的整数 xxx 不少于 cic_{i}c原创 2021-10-29 20:03:19 · 3143 阅读 · 0 评论 -
Acwing 1169.糖果 (差分约束的最长路模型)
Acwing 1169.糖果题意幼儿园里有 N 个小朋友,老师现在想要给这些小朋友们分配糖果,要求每个小朋友都要分到糖果。但是小朋友们也有嫉妒心,总是会提出一些要求,比如小明不希望小红分到的糖果比他的多,于是在分配糖果的时候, 老师需要满足小朋友们的 K 个要求。幼儿园的糖果总是有限的,老师想知道他至少需要准备多少个糖果,才能使得每个小朋友都能够分到糖果,并且满足小朋友们所有的要求。思路先将所有小朋友获得的糖果设成变量,即我们有 N 个变量,然后根据 K 个要求写出不等式,因为求的是最小值,所以原创 2021-10-28 22:49:47 · 3178 阅读 · 0 评论