题目传送门：https://loj.ac/problem/10087
55%的做法：可以用贪心，把区按r排序升序，每次把灯铺在最右边可以满足贪心。 （暴力从右往左过一遍）
100%的做法：
贪心+并查集优化 每个数插入时加入一个并查集，并查集记录l端点，下次再来直接跳掉时间复杂度O(nlog(n))
差分约束系统
这是一种通过 最短路、最长路 来求 N元一次不等式组解集 的算法。
假设 有一个有M条式子的不等式组(1≤x,y≤N ,1≤k≤M)：
（并且这些式子都是两两做差得，其中
d
x
,
d
y
d_{x},d_{y}
dx,dy是未知数）
\text{ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ } d y − d x ≥ c k d_{y}-d_{x}≥ c_{k} dy−dx≥ck
把式子变换一下：
\text{ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ } d y ≥ d x + c k d_{y}≥ d_{x}+c_{k} dy≥dx+ck
这是不是很像单源最短路的更新方式
如何判断用最长路还是最短路：
\text{ \ \ \ \ \ }
我们知道，不等式组中大于大于取大于。
\text{ \ \ \ \ \ }
如 a>1 && a>2 -> a>2
\text{ \ \ \ \ \ }
正好满足了最长路中，对于一个y，dy由所有能连到y的x更新，即在所有儿子中取最大值。(要理解)
原题中，区间总路灯数≥ci，做一个前缀思想：
设S[i]表示0~i共铺设了几盏路灯
则可得N元一次不等式组：
\text{ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ } S [ b i ] – S [ a i − 1 ] ≥ c i S[bi] – S[ai-1] ≥ ci S[bi]–S[ai−1]≥ci
\text{ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ } S [ b i ] ≥ S [ a i − 1 ] + c i S[bi] ≥ S[ai-1] + ci S[bi]≥S[ai−1]+ci
可以 ins(ai-1,bi,ci)跑最长路
但也可以这样变：
\text{ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ } S [ b i ] – S [ a i − 1 ] ≥ c i S[bi] – S[ai-1] ≥ ci S[bi]–S[ai−1]≥ci
\text{ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ } S [ a i − 1 ] ≥ − S [ b i ] + c i S[ai-1] ≥ - S[bi] + ci S[ai−1]≥−S[bi]+ci
\text{ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ } S [ a i − 1 ] ≤ S [ b i ] – c i S[ai-1] ≤ S[bi] – ci S[ai−1]≤S[bi]–ci
也可以 ins(bi，ai-1,-ci)跑最短路
由此我们可知如果给你的既有大于式，也有小于式，那么2这都可以，他们可以互相转换。
但我们知道，方程组若不齐全，就会导致答案错误。那么只要可行，应当有更多的方程才对，
所以要加上
\text{ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ } 0 ≤ S [ i ] – S [ i − 1 ] ≤ 1 0 ≤ S[i] – S[i-1] ≤ 1 0≤S[i]–S[i−1]≤1
转化为
\text{ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ } S [ i ] ≥ S [ i − 1 ] + 0 S[i] ≥ S[i-1] + 0 S[i]≥S[i−1]+0
\text{ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ } S [ i − 1 ] ≥ S [ i ] – 1 S[i-1] ≥ S[i] – 1 S[i−1]≥S[i]–1
对于样例
4
2 7 2
7 11 3
6 8 1
1 2 1 建图大约为：
我们最终的答案就是 S[max] //max指bi的最大值
时间复杂度O(边数) =O(n+2*max)
N元一次不等式组的解集与最短路、最长路很有关系
图片摘自CSDN英雄哪里出来
如上图跑一个最长路，有解、无解、无数个解都出现了
d[s]有唯一解0 , 无数解对应中间的正环 而d[t]仍为-inf即无解
320
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
