题目链接：uva 11401 - Triangle Counting
题目大意：有多少种方法可以从1，2，3...n中选出3个不同的数组成三角形，给出n，求种数。
解题思路：加法原理，设最大边为x的三角形有c(x)个，那么另外两条边长分别为y和z，根据三角形的形式可以的y+z>x,所以z的范围即为x?yzx
根据这个不等式可以得到每个y值所对应的z值个数，为等差数列，所以
c(...
分类：
其他好文 时间：
2014-05-15 03:03:34
阅读次数：
248
何承天不等式：\[\frac{a}{b} \leq
\frac{ma+nd}{mb+nc}\leq \frac{d}{c}\]其中$a,b,c,d,m,n \in
\mathbb{R}$.Proof:这是一个有重要应用的不等式(变分迭代算法中)先证明一个简单情况$m=n=1$时，设 $H(m,n)=...
分类：
其他好文 时间：
2014-05-09 09:54:33
阅读次数：
288
简介：
1、在之前我们把要寻找最优的分割超平面的问题转化为带有一系列不等式约束的优化问题。这个最优化问题被称作原问题。我们不会直接解它，而是把它转化为对偶问题进行解决。
2、为了使问题变得易于处理，我们的方法是把目标函数和约束全部融入一个新的函数，为了使问题变得易于处理，我们的方法是把目标函数和约束全部融入一个新的函数，即拉格朗日函数，再通过这个函数来寻找最优点。即拉格朗日函数，再通过这个函数...
分类：
其他好文 时间：
2014-05-07 22:40:35
阅读次数：
331
题意就是求满足题目中给出的递归代码的最大递归层数。
由于x[i]只有0和1，所以我们就比较容易想到2-SAT，然后二分递归层数，求出满足要求的最大递归层数。建图的时候，不满足不等式的就是互相矛盾的，然后建边。
#include
#include
#include
#include
#include
#include
#include
#include
#include
#in...
分类：
其他好文 时间：
2014-05-03 16:36:15
阅读次数：
208
题目链接：11401 - Triangle Counting
题意：有1,2,3....n的边，求最多能组成的三角形个数。
思路：利用三角形不等式，设最大边为x,那么y + z > x 得 x - y
然后y取取值，可以从1取到x - 1，y为n时候，有n - 1个解，那么总和为0 + 1 + 2 +...+ (x - 2) = (x - 1) * ( x- 2) / 2;
然后扣除掉重...
分类：
其他好文 时间：
2014-05-01 17:16:56
阅读次数：
284
题目来源：http://poj.org/problem?id=1755分析：设比赛总长度为
1, 其中游泳长度为x， 自行车长度为y， 赛跑长度为 1 - x - y, 则选手 i 打败 选手j （不能并列） 的条件是x / v[i] + y /
u[i] + (1 - x - y) / w[i] ...
分类：
其他好文 时间：
2014-05-01 12:42:27
阅读次数：
297
从计算的本质到编程语言，所谓计算，是构建在一套公理体系上的，并且在此基础上不断向上演化。
两大类型：数值计算-数值计算包括实数和函数的加减乘除、幂运算、开方运算、方程的求解等；符号推导-符号推导包括代数与各种函数的恒等式、不等式的证明，几何命题的证明等；
两种范式：计算理论的研究：侧重于从数学角度证明表达能力和正确性，比较典型的图灵机、lambda演算、pi演算这些都属于这个范畴。计算模型的研究：侧重于对真实系统的建模和刻画；...
分类：
编程语言 时间：
2014-04-30 22:31:39
阅读次数：
571
本文出自：http://blog.csdn.net/svitter
题意：给你n个营地，每个营地最多Cn个人，然后告诉你i～j个营地中，最少有k个人。让你求一共有多少个士兵。
本题目为差分约束，差分约束的关键就在于解线性不等式。
把线性不等式转换为图中的松弛操作思想。
简单的例子：dis[v]
做这个题目的时候其实没有仔细想想为什么，就只是单纯的列出不等式然后导入到边的关系，...
分类：
其他好文 时间：
2014-04-30 22:25:40
阅读次数：
293
如题，列出《随机算法》课程的topic
list，以记录和供有兴趣的朋友研究。Lession1：生日悖论、生日攻击、两个常用数学工具（马尔科夫不等式、切比雪夫不等式）Lession2：radom
quick sort（hw）、矩阵乘法判定、min(max())=max(min())、复杂性类(BPP...
分类：
其他好文 时间：
2014-04-29 16:16:55
阅读次数：
596
