码迷,mamicode.com
首页 >  
搜索关键字:证明    ( 7199个结果
CodeForces 141E: ...(最小生成树)
[条件转换] 两两之间有且只有一条简单路径树题意:一个图中有两种边,求一棵生成树,使得这棵树中的两种边数量相等。思路:可以证明,当边的权是0或1时,可以生成最小生成树到最大生成树之间的任意值的生成树。那么,方法就是生成最小生成树,然后,尽量替换0边,使得其成为值为(n-1)/2的生成树。代码:写的很...
分类:其他好文   时间:2014-06-29 07:42:58    阅读次数:241
Zend创始人:不急于升级到PHP 6
Zend是众多开源成功故事之一的主角,它遵循了已在MySQL和Subversion中被证明成功的模式,针对那些需要高可靠性、高可扩展性Web应用服务器的企业客户,提供技术支持和商用软件。此前,该公司已经宣布推出了Zend Server软件,这是一个在一台到三台服务器上运行PHP应用的高度集成平台。它...
分类:Web程序   时间:2014-06-13 13:50:36    阅读次数:273
次小生成树的两种算法
一、“换边”算法用Kruskal求最小生成树,标记用过的边。求次小生成树时,依次枚举用过的边,将其去除后再求最小生成树,得出所有情况下的最小的生成树就是次小的生成树。可以证明:最小生成树与次小生成树之间仅有一条边不同。这样相当于运行m次Kruskal算法。复杂度O(m^2)示例代码:int Krus...
分类:其他好文   时间:2014-06-09 22:16:39    阅读次数:348
php的几种排序算话
冒泡算法冒泡算话是简单的算话,基于循环不变式,也就是在下一次排序之前,前边的数是已经排序好,而且每次都是用当前数与前边的数一一比较。循环不变式主要用来证明算法的正确性,即是证明执行步骤的的正确性,循环不变式特性:初始化:在循环的第一轮迭代开始之前,应该是正确保持:如果在循环的某一次迭代开始时正确的,...
分类:Web程序   时间:2014-06-08 22:20:12    阅读次数:305
HDU 4324 Triangle LOVE (拓扑排序)
HDU 4324 Triangle LOVE (拓扑排序) 题目大意: T组测试数据,每组数据一个n表示n个人,接下n*n的矩阵表示这些人之间的关系,输入一定满足若A不喜欢B则B一定喜欢A,且不会出现A和B相互喜欢的情况,问你这些人中是否存在三角恋。 解题思路: 拓扑排序思想很简单,就是找入度为0的点,放入队列,用队列来实现。 拓扑排序后判断是否有环存在,有环必然存在是三角恋。 证明: 假设存在一个n元环 首先,...
分类:其他好文   时间:2014-06-08 18:31:38    阅读次数:241
普林斯顿公开课 算法3-7:排序算法复杂度
算法复杂度用来表示在解决某个问题时,算法的性能表现。 复杂度上限,就是某个具体的已经实现的算法能够保证在一定时间内解决问题 复杂度下限,就是通过数学方法证明,所有的算法都必须花费一定的时间才能解决问题 最优化算法,就是可能达到的最小复杂度的算法,通常介于复杂度上限和下限之间 比如排序问题中: 计算模型为决策树 使用比较次数作为开销...
分类:其他好文   时间:2014-06-08 18:20:02    阅读次数:190
小话HTTP Authentication
Authentication就是要证明你是谁。举个例子,你告诉别人你的名字叫Alice,怎么样让别人确信你就是Alice,这就是Authentication。...
分类:其他好文   时间:2014-06-08 15:44:02    阅读次数:257
2626
$\bf证明$ 由于$m\left( {E\left( {{f_n} \nrightarrow f} \right)} \right) = 0$,则我们不妨设$\left\{ {{f_n}\left( x \right)} \right\}$处处收敛于$f(x)$,此时\[E = \bigcup\l...
分类:其他好文   时间:2014-06-07 07:12:08    阅读次数:206
[再寄小读者之数学篇](2014-06-03 微分、积分中值定理的应用)
设 $f$ 在 $[0,1]$ 上连续, 在 $(0,1)$ 内二阶可导, 且 $$\bex \lim_{x\to 0}\cfrac{f(x)}{x^2}\mbox{ 存在,}\quad \int_0^1 f(x)\rd x=f(1). \eex$$ 证明: 存在 $\xi\in (0,1)$, 使...
分类:其他好文   时间:2014-06-06 20:58:30    阅读次数:314
[canvas]通过动态生成像素点做绚丽效果
本例中的粒子就是实实在在的像素,由js代码在canvas上动态生成的像素点!这些像素点通过一个运动方法有规律地动了起来。透过这个思路,我们可以想到很多很炫的效果,但是这个性能有待考察。实验证明,动态控制太多像素点的话绝对会卡的!在做效果方面有经验的朋友,请提出宝贵意见!这个思路走得通么? 智能...
分类:其他好文   时间:2014-06-05 16:42:23    阅读次数:230
© 2014 mamicode.com 版权所有  联系我们:gaon5@hotmail.com
迷上了代码!