码迷,mamicode.com
首页 >  
搜索关键字:证明    ( 7199个结果
白盒测试和黑盒测试
1,一般软件开发人员和测试人员对白盒测试和黑盒测试的感念都有一定的认识,但认为是编代码所做的测试是白盒测试,黑盒测试不用编写代码,这其实是一种误解。2,首先说一下概念,任何工程产品(注意是任何工程产品)都可以使用以下两种方法之一进行测试。黑盒测试:已知产品的功能设计规格,可以进行测试证明每个实现了的...
分类:其他好文   时间:2014-08-11 00:09:41    阅读次数:264
[转]二重积分换元法的一种简单证明
10.3二重积分的换元积分法在一元函数定积分的计算中,我们常常进行换元,以达删繁就简的目的,当然,二重积分也有换元积分的问题。首先让我们回顾一下前面曾讨论的一个事实。设换元函数,视其为一个由定义域到的映射.点的象点为,点x的象点为,记,则由到点的线段长为,到的线段长为,称为映射在点到点的平均伸缩率。...
分类:其他好文   时间:2014-08-10 18:31:30    阅读次数:370
UVALive 4287 SCC-Tarjan 加边变成强连通分量
还是强连通分量的题目,但是这个题目不同的在于,问你最少要添加多少条有向边,使得整个图变成一个强连通分量然后结论是,找到那些入度为0的点的数目 和 出度为0的点的数目,取其最大值即可,怎么证明嘛。。。我也不好怎么证,不过细细一琢磨发现就是这样,改天找聪哥一起探讨下怎么证明#include #inclu...
分类:其他好文   时间:2014-08-10 18:19:40    阅读次数:199
hdu 2987最大权闭合图模板类型题
/* 最大权闭合图模板类型的题,考验对知识概念的理解。 题意:现在要辞退一部分员工,辞退每一个员工可以的到一部分利益(可以是负的),并且辞退员工,必须辞退他的下属,求最大利益和辞退的最小人数。 最大权闭合图模板类型。 求出最大权后沿着源点s,dfs到的点就为最小的人数。 证明/* 转载:利用一个经典的trick:多关键字 > 建图前,对所有b[i],执行变换b[i]=b[i]*10000-1,然后...
分类:其他好文   时间:2014-08-10 15:42:20    阅读次数:237
中国大推力矢量发动机WS15 跨入 世界先进水平!
“太行”WS-15让俄闭嘴令美叹服 歼20试飞向世界证明,中国军工世界一流,并有望与美英法争夺新一代航空发动机桂冠。笔者请教解放军专家证实;中国四代机所配套的两台18吨推力的WS-15“太行”发动机(原文如此),其性能基本赶上了俄罗斯和美国欧洲的同类引 擎,晋身世界航空三鼎甲的前景已经明朗化。这不....
分类:其他好文   时间:2014-08-10 15:28:20    阅读次数:219
证明 poj 1014 取模优化剪枝,部分递归 存在错误
做了这道题目,我才发现一道题即便可行,但是正确性也不一定。多数由于题目数据太弱。 poj 1014 Dividing 题目大意:有6堆石头,权重分别为1 2 3 4 5 6,要求输入 每堆个数 ,求是否可以平分石头使得两堆价值相同。 网上对这道题的做法就两种,其中有错误的版本,却也可以AC。起初这让我等菜鸟感慨代码的简洁,但无法得出正确性的证明 接下来就对两种方法的错误性进行证明。...
分类:其他好文   时间:2014-08-09 11:48:47    阅读次数:245
《算法之道》精华 难解问题部分
《算法之道》精华 难解问题部分 本书作者绉恒明,作者另有一本书《数据结构之弦》,以及《操作系统之哲学原理》都是很好的书这本书可以算得上是深入浅出,文笔很好,作者添加了很多自己的思考本文包括难解问题部分 第十三章 易解与难解 易解指的是多项式问题,难解指的是指数级问题决策问题 需要输出答案是/否若回答为是,通常需要一个证人来证明。对一个潜在证人,证明之后即为真证人优化问题和决策问...
分类:其他好文   时间:2014-08-09 11:36:37    阅读次数:203
POJ3041Asteroids【最小点覆盖】
大意:X.X.X..X. 如左图X代表怪物你可以用激光去消灭它们,一次可以消灭同一行或同一列的所有怪物,问最少多少次才可以把所有怪物消灭完思路:把x,y坐标分别看成左集合与右集合,若两个坐标有联系就建一条边最后求得是最小点覆盖正确性证明:每个怪物的坐标都是由一对x,y确定的,在二分图中每条边就代表....
分类:其他好文   时间:2014-08-09 00:05:16    阅读次数:254
欧几里得算法-----欧几里德算法
欧几里得算法 欧几里得算法又称辗转相除法,主要用于计算两个整数a,b的最大公约数。 原理:gcd(a,b)=gcd(b,a mod b)(这里a>=b)          (gcd(a,b)=gcd(b,a)=gcd(-a,b)=gcd(|a|,|b|) 证明gcd(a,b)=gcd(b,a mod b):a可以表示成a = kb + r,则r= a mod b   假设d是a,b...
分类:其他好文   时间:2014-08-08 18:20:46    阅读次数:278
SCCM 2012 R2 实战系列(六)—配置发现
安装好SCCM之后,我们可以在站点之中验证一下是否有报错,如果没有的话就证明SCCM已经正确安装完成了,SCCM安装完成后我们首先需要做的事情就是配置发现,配置好了发现之后在SCCM管理控制台中能看到客户端计算机和用户才能够进行管理1.在管理->概述->层次结构配置->发..
分类:其他好文   时间:2014-08-08 16:34:08    阅读次数:396
© 2014 mamicode.com 版权所有  联系我们:gaon5@hotmail.com
迷上了代码!