~~由于暂时不太想写四边形不等式的题解，于是就暂时写篇斜率优化的题解（反正迟早都得写）~~ 大概意思说给你$n$段连续区间，你可以将这些区间分割成$m$块（不能将原有区间分成两块，只能在交界处分割），使得$m$块区间的长度的方差和最小。题目要求，若设方差为$v$，那么最后请输出$v m^2$。由此可 ...
分类：
其他好文 时间：
2018-07-02 11:03:22
阅读次数：
114
"P1993 小K的农场" 这个题，涉及到的知识点是差分约束。 差分约束，是用来判断不等式是否有解集和求出一组特解的一种方法。 具体是使用最短（长）路算法。 观察最短路算法，有一个类似与三角形三边关系的不等式。 $$dis[a]+weight =dis[b]$$ 其中a与b之间直接连了一条边权为we ...
分类：
其他好文 时间：
2018-07-01 20:26:46
阅读次数：
159
1.设$a,b,c 0$，$abc=1$，求证：$a^2+b^2+c^2\leqslant a^3+b^3+c^3$。 解：不妨设$a\geqslant b\geqslant c$，由切比雪夫不等式，有$a^3+b^3+c^3\geqslant \frac{(a+b+c)(a^2+b^2+c^2)} ...
分类：
其他好文 时间：
2018-07-01 13:36:23
阅读次数：
163
对于一个凸二次规划问题 它的Lagrange函数为 在最优点，有 如果知道最优点的有效约束集，则可以求解等式约束二次规划 求出原问题的KKT点 原始有效集方法从计算可行点开始，要求所有迭代点可行 定义第k次迭代时xk处的有效约束（等式约束和等号成立的不等式约束）指标集为“工作集”，记为Wk，Wk中所 ...
分类：
其他好文 时间：
2018-06-26 20:45:19
阅读次数：
188
B. World Cup 题解：同一个位置的访问时间是 time = i - 1 + k * n（每秒向前移动一步，初始时刻是0），从每个位置的出去时间满足( i - 1 + k * n >= a[ i ] )，然后解出满足不等式的最小的k，代入（ i - 1 + k * n），就是从该位置出去的时 ...
分类：
其他好文 时间：
2018-06-25 15:10:24
阅读次数：
193
决策单调性 单调队列和斜率优化是属于决策单调性的一种。而决策单调性是满足四边形不等式的前提下，满足i+1-n的转移点大于等于i的决策点。而基本实现方式是整体二分或者维护双端队列并且在双端队列上二分查找。 1.基于1D/1D的DP优化 一般来说，1D/1D的DP都能通过优化，在O(nlogn)的时间复 ...
分类：
其他好文 时间：
2018-06-24 23:58:23
阅读次数：
523
题目描述 已知不等式 1！+2！+3！+...+m！?n,请编程对用户指定的n值计算并输出满足该不等式的m的整数解。 已知不等式 1！+2！+3！+...+m！?n,请编程对用户指定的n值计算并输出满足该不等式的m的整数解。 输入 输入一个整数n，n为int范围内的正整型。 输入一个整数n，n为in ...
分类：
其他好文 时间：
2018-06-23 17:13:06
阅读次数：
146
类型：给出一些形如a?b<=k的不等式（或a?b>=k或a?b<k或a?b>k等），问是否有解【是否有负环】或求差的极值【最短/长路径】。例子：b?a<=k1，c?b<=k2，c?a<=k3。将a，b，c转换为节点；k1，k2，k3转换为边权；减数指向被减数，形成一个有向图： 由题可得（b?a） + ...
分类：
其他好文 时间：
2018-06-21 00:08:21
阅读次数：
165
(2018武汉大学自招)设$x,y,z\ge0,xy+yz+zx=1$证明:$\dfrac{1}{x+y}+\dfrac{1}{y+z}+\dfrac{1}{z+x}\ge \dfrac{5}{2}$ ...
分类：
其他好文 时间：
2018-06-18 18:24:30
阅读次数：
196
如果一个系统由n个变量和m个约束条件组成，形成m个形如ai-aj≤k的不等式(i,j∈[1,n],k为常数) 则称其为差分约束系统(system of difference constraints)。 亦即，差分约束系统是求解关于一组变量的特殊不等式组的方法。 边的建立与关系转化 （求a[n] - ...
分类：
其他好文 时间：
2018-06-16 13:31:26
阅读次数：
144
