差分约束系统：如果一个系统由n个变量和m个约束条件组成，其中每个约束条件形如 xj - xi
例如如下的约束条件：
X1 - X2
X2 - X5
X4 - X1
X5 - X3
全都是两个未知数的差小于等于某个常数（大于等于也可以，因为左右乘以-1就可以化成小于等于）。这样的不等式组就称作差分约束系统。
差分约束系统求解过程：
1.新建一个图，N个变量看作N个顶点，M个约束条件作为...
分类：
其他好文 时间：
2015-05-05 12:37:04
阅读次数：
125
在最新的mathematics软件中使用如下代码，无法产生程序：
在搜索了Mathematics 9.0 -> 帮助 -> 参考资料中心的内容，查到一个更简单好用的函数，正确结果如下：...
分类：
其他好文 时间：
2015-04-28 18:32:15
阅读次数：
180
EM是我一直想深入学习的算法之一，第一次听说是在NLP课中的HMM那一节，为了解决HMM的参数估计问题，使用了EM算法。在之后的MT中的词对齐中也用到了。在Mitchell的书中也提到EM可以用于贝叶斯网络中。下面主要介绍EM的整个推导过程。1. Jensen不等式 回顾优化理论中的一些概念。设f....
分类：
其他好文 时间：
2015-04-26 21:10:52
阅读次数：
213
1.题目描述：点击打开链接
2.解题思路：本题通过求解不等式进而找最小值来解决本题。根据题意描述，我们需要计算出在n步中所有电梯可以达到的最低的楼层，然后求出来他们的最小值就是答案了。设这n步中，有x步向上，那么n-x步向下，假设向上可以走u层，向下可以走v层，那么不难列出如下方程：
u*x-v*(n-x)≥1
解出来x后即可算出最低的楼层了。排序后输出最小值即可解决本题。
3.代...
分类：
其他好文 时间：
2015-04-23 09:42:55
阅读次数：
109
目录： 说说历史 Hoeffding不等式 Connection to Learning 学习可行的两个核心条件 Effective Number of Hypotheses Growth Function Break Point与Shatter VC Bound VC dimension 深度学习与VC维 小结 参考文献 ...
分类：
其他好文 时间：
2015-04-21 13:14:49
阅读次数：
305
差分约束模板题，差分约束是判断联立不等式组是否有解的一种方法,建图是关键。
代码：
//poj 1275
//sep9
#include
#include
using namespace std;
const int maxM=10024;
const int maxN=32;
struct Edge
{
int v,w,nxt;
}edge[maxM];
int t[maxN],c...
分类：
其他好文 时间：
2015-04-18 08:53:47
阅读次数：
113
这道题列出不等式后明显是会溢出的大数，但是没有必要写高精度，直接两边取对数（这是很简明实用的处理技巧）得：log2(n!)=log2(n)+log2(n-1)+...+log2(1)#include#include#include#include#include#include#include#in...
分类：
其他好文 时间：
2015-04-10 21:44:21
阅读次数：
140
DP优化/四边形不等式 这题……跟邮局那题简直一模一样吧……好水的E题…… 设dp[i][j]表示前 i艘“gondola”坐了前 j个人，那么方程即为$dp(i,j)=min\{ dp[i-1][k]+w[k][j] \} (i\leq k\leq j)$ 很明显$w(l,r)=\sum_{...
分类：
其他好文 时间：
2015-04-04 18:03:13
阅读次数：
231
题目大意：
在坐标系中有N只蚂蚁，N棵苹果树，给你蚂蚁和苹果树的坐标。让每只蚂蚁去一棵苹果树，
一棵苹果树对应一只蚂蚁。这样就有N条直线路线，问：怎样分配，才能使总路程和最小，且
N条线不相交。
思路：
用一个图来说明思路。
假设A、B为蚂蚁，C、D为苹果树。则存在两种匹配：第一种是AD、BC，第二种是AC、BD。
根据三角形不等式AD+BC < AC+BD，最后得到很重要的一个性质——满足总路程之和最小
的方案一定不相交。现在来构建二分图，一边为蚂蚁，另一边为苹果树，以距离为边权值，题
目就变为了求带...
分类：
其他好文 时间：
2015-04-02 20:59:39
阅读次数：
136
