差分 差分就是一种找出不等式然后将不等式转化为解题方法的算法。 差分的关键 差分约束系统中源点到每个点的距离确定 关于Dist[]的初始化 构造不等式 不等条件一般分两种情况： 如何连边 连边一般有两种方法： 第一种是连边后求最长路的方法。 第二种是连边后求最短路的方法。 例：d[x]-d[y]≥z ...
分类：
其他好文 时间：
2018-11-09 20:57:40
阅读次数：
186
一、何为差分约束系统： 差分约束系统（system of difference constraints），是求解关于一组变数的特殊不等式组之方法。如果一个系统由n个变量和m个约束条件组成，其中每个约束条件形如xj xi B A C B C A = k的形式，这样建立j i的边，权值为k的边，如果不等 ...
分类：
其他好文 时间：
2018-11-02 01:54:29
阅读次数：
150
二分答案+取log+差分约束+判正环 题目中A能$k$倍杀B的条件是：$s[A] \geq k \times s[B]$ 第一个flag导致没人女装需要满足：$s[A] \geq k \times s[B]$。意思是A成功地$k$倍杀了B导致A不用女装。 第二个flag导致没人女装需要满足：$s[B ...
分类：
其他好文 时间：
2018-10-31 13:55:51
阅读次数：
149
优化问题： https://www.cnblogs.com/liaohuiqiang/p/7805954.html KKT条件就是把高数里面求不等式约束条件问题的分类方法写成两个条件。 ...
分类：
其他好文 时间：
2018-10-30 12:05:56
阅读次数：
142
差分约束系统应该是一个比较有用的算法。它建立在图的思想上,常与最短（长）路算法一起出现。 ...
分类：
其他好文 时间：
2018-10-29 10:31:00
阅读次数：
154
[POI2015]KUR 不考虑构造原串再匹配 考虑开始位置满足什么条件才能匹配。 显然，开始位置确定，后面的字符都确定了。 而且，a,n互质，所以必然能遍历n的剩余系，从不同位置开始，初始的a*s+b mod n的值互不相同。 设初始点为s，x=a*s+b mod n 由上分析可知，s,x一 一对 ...
分类：
其他好文 时间：
2018-10-28 20:51:13
阅读次数：
181
(Fejer-Jackson-Growall不等式) 1910年Fejer猜想,三角函数级数\[\frac{\pi-x}{2}=\sum_{k=1}^{\infty}\frac{\sin kx}{k},\quad 0<x\leq\pi\]的所有部分和\[S_n(x)=\sum_{k=1}^{n}\f ...
分类：
其他好文 时间：
2018-10-28 00:55:28
阅读次数：
218
差分约束讲解 ——by ysy 1.前置知识 因为差分约束是基于$spfa$的一种解不等式，或等式组的技巧，所以差分约束的前置知识就是$spfa$和对不等式的简单小变换。 2.讲解 ? &nbs ...
分类：
其他好文 时间：
2018-10-24 01:09:23
阅读次数：
140
概述 差分约束系统用于解决：给定一些不等式，不等式$i$形如$x_{u_i}\le x_{v_i}+k_i$，求是否有解。 考虑最短路问题，若最短路问题有解，则最后的dis数组对于所有相邻的u、v满足$dis[v]\le dis[u]+w_{u\rightarrow v}$。这个可以与不等式的条件做 ...
分类：
其他好文 时间：
2018-10-24 01:00:10
阅读次数：
157
设$a,b,c>0,$满足$a+b+c\le abc$证明:$\dfrac{1}{\sqrt{1+a^2}}+\dfrac{1}{\sqrt{1+b^2}}+\dfrac{1}{\sqrt{1+c^2}}\le\dfrac{3}{2}$ ...
分类：
其他好文 时间：
2018-10-18 14:05:19
阅读次数：
126
