差分约束系统用于解决N元一次不等式组。 之前感觉学的模模糊糊，现在理得比较清楚后做一个总结。 1.不等式怎么转换 先是a-b ≤ c 对于最短路，有这样的不等式：dis(u) ≤ dis(v) + val(v,u) 变形得：dis(u) - dis(v) ≤ val(v,u)，与a-b ≤ c很相似 ...
分类：
其他好文 时间：
2019-10-10 12:57:42
阅读次数：
114
例题1 interval 最长路 数组下标为 1怎么处理 ”标准输出太巨怎么办“ ...
分类：
其他好文 时间：
2019-10-08 12:07:25
阅读次数：
79
https://www.luogu.org/problem/P3275 说说差分约束的套路吧 关于建图的基本规律 1.如x=y，则add(x,y,0), add(y,x,0) 2.如x y，则add(y,x,1) 3.如x≤y，则add(x,y,0) 4.如x0,即0为超级源点 c++ includ ...
分类：
其他好文 时间：
2019-10-06 17:09:36
阅读次数：
70
差分约束 截取到的一个博客 （只截取了我觉得好的部分）： 1、数形结合 如若一个系统由n个变量和m个不等式组成，并且这m个不等式对应的系数矩阵中每一行有且仅有一个1和 1，其它的都为0，这样的系统称为差分约束( difference constraints )系统。引例中的不等式组可以表示成如图三 ...
分类：
其他好文 时间：
2019-10-06 09:50:02
阅读次数：
101
https://www.luogu.org/problem/P1993 差分约束 没的说（不会的看我之前写的博客） 1.农场a比农场b至少多种植了c个单位的作物， 2.农场a比农场b至多多种植了c个单位的作物， 3.农场a与农场b种植的作物数一样多。 对于1，可以列出A B =c,A =B+c,建边 ...
分类：
其他好文 时间：
2019-10-06 09:15:39
阅读次数：
69
今天%你赛考了差分约束相关，于是发现又有忘了的东西，复习 0x00 差分约束 差分约束是求解N元一次特殊不等式组的一种方法。差分约束系统包含$N$个变量和$M$个约束条件，每个约束条件都是一个关于其中两个变量的一个一次不等式 ，每个不等式形如$x[i]-x[j]≤a[k]$,$x[i],x[j]$为 ...
分类：
其他好文 时间：
2019-10-04 20:40:27
阅读次数：
82
[TOC] 1.从代数到图论 1.1.差分约束方程 差分约束方程就是形如 $x_i x_j \leq w_{ij}$ 或 $x_i x_j \geq w_{ij}$ 的 方程组 比如说： $\begin{cases}x_1 x_3 \leq 5 \\x_1 x_2 \leq 2 \\x_2 x_1 ...
分类：
其他好文 时间：
2019-10-04 19:03:46
阅读次数：
109
听说是裸的板子，所以开始现学 题目给出的5种操作都能转化为差分约束 如果大于正向连$1$的边 如果小于反向连$1$的边 如果等于要双向建边 另：要开$long long$ code 1 #include <bits/stdc++.h> 2 using namespace std; 3 namespa ...
分类：
其他好文 时间：
2019-10-03 17:44:50
阅读次数：
64
题目描述 给定多组限制，限制分成2类，第一类是$ax+1=ay 第二类是ax≤ay$，求这些数最多有多少种不同的取值在使得所给的等式成立的情况下，问最多能有多少不同的数字值。 思路 考虑差分约束。第一类限制：$(x,y,1),(y,x,-1)$，第二类限制：$(y,x,0)$ 那么整张图应该是由若干 ...
分类：
其他好文 时间：
2019-10-02 21:09:05
阅读次数：
115
线性约束 将所有不等式化成 $d[a] d[b] include include include include define ll long long using namespace std; typedef pair pii; const int N = 1e5+10; const int in ...
分类：
其他好文 时间：
2019-10-02 13:00:51
阅读次数：
78
