码迷,mamicode.com
首页 >  
搜索关键字:证明    ( 7199个结果
zoj 2778 - Triangular N-Queens Problem
题目:在三角形的棋盘上放n皇后问题。 分析:找规律题目,按照题目的输出,可以看出构造法则;             先填奇数,后填偶数。下面我们只要证明这种构造的存在性即可。             解法:先给出集体构造方法,从(1,n-f(n)+1) 开始填充奇数点;                       填充所有的(1+2k,n-f(n)+1+k){其中f(n)就是最大填充数,1...
分类:其他好文   时间:2014-09-19 11:58:55    阅读次数:230
HDU 3400 Line belt (三分再三分)
HDU 3400 Line belt (三分再三分) ACM 题目地址:  HDU 3400 Line belt 题意:  就是给你两条线段AB , CD ,一个人在AB以速度p跑,在CD上以q跑,在其他地方跑速度是r。问你从A到D最少的时间。 分析:  先三分AB上的点,再三分CD上的点即可。  证明:  设E在AB上,F在CD上。  令人在线段AB上花的时间...
分类:其他好文   时间:2014-09-18 18:57:54    阅读次数:204
我也DIY一个Android遥控器-全部开源
记得宋宝华在「设备驱动开发详解」提出一个这样的理论「软件和硬件互相渗透对方的领地」,这次证明还是确实是这样,使用上层APP软件加上简单的更为简单的硬件设计就可以完成一个遥控器了。...
分类:移动开发   时间:2014-09-18 18:53:54    阅读次数:218
数据结构 《18》----RMQ 与 LCA 的等价性 (一)
前言 RMQ: 数组 a0, a1, a2,..., an-1, 中求随意区间 a[i+1], a[i+2], ..., a[i+k] 的最小值 LCA: 求二叉树中两个节点的最低公共祖先 本文将证明这两个问题能够相互归约为还有一个问题。证明 先通过一个简单的样例来说明问题。见下图: 求 [7...
分类:其他好文   时间:2014-09-18 16:24:44    阅读次数:144
如何证明神存在
基本上,对于不能接触的事物,你不能用证据证明,也不能证伪,例如神这种东西,你不可能去神的世界带来所谓的证据,你也不能用任何证据否定神的存在。但这并不表示我们就不能证明。爱因斯坦发现光速不变现象的时候,也要假设时间变化了,从而提出相对论。后来又假设时空弯曲,提出了广义相对论。这对于当时的人来说的确不可思议,但是只有这种假设才能解释一些现象。像黑洞一样我们不能接触,但我们同样可以证明它的存在。...
分类:其他好文   时间:2014-09-17 20:32:42    阅读次数:833
跟遗留代码打交道:干掉顽固漏洞的简单方式
事实证明,跟遗留代码打交道未必需要花费数天时间去研究晦涩难懂的注释。要想找到并修复漏洞,开发者可采用简单的测试工具来对问题抽丝剥茧。 跟遗留代码打交道会是比较困难的,尤其是如果代码是由某位不知道名字...
分类:其他好文   时间:2014-09-17 19:01:22    阅读次数:245
UVA 10518 How many Calls
题意:求计算fab[n]需要的计算次数MOD B 的结果首先容易知道的是f[n]=f[n-1]+f[n-2]+1;1.有 S(n)=F[n+2]-1; S[n]斐波那契数列前n项和。F[n+2]就第n+2项斐波那契数。证明就直接累加法:因为A=A+An所以An=A-A则A=A-AnA=An-A......
分类:其他好文   时间:2014-09-17 11:58:52    阅读次数:175
移动游戏还能活多久?
近几年的移动游戏虽然风靡全球,但是与传统的主机游戏和PC游戏相比,生命周期往往比较短暂。就算是过去一年成绩优异的《糖果粉碎传奇》也不能幸免。那么,是什么原因导致这些手机游戏不能长存呢? 今天,Xsolla将和一起,探讨手机游戏的兴衰原因。   也许游戏开发就像电影《巨蟒与圣杯》中说的: “大家都说我在沼泽上盖城堡很愚蠢,但我坚持那样做,我要证明给他们看。第一座城堡...
分类:移动开发   时间:2014-09-17 10:21:22    阅读次数:294
usaco-3.4-fence9-passed
这个要知道一个公式;可以算是一道数学题吧。如果知道皮克定理就行了。皮克定理说明了其面积S和内部格点数目a、边上格点数目b的关系:S = a + b/2 - 1。根据三角形面积公式求出S。如果知道了b,那么三角形内部格点数目a也就求出来了。可以证明,一条直线((0,0),(n,m))上的格点数等于n与...
分类:其他好文   时间:2014-09-16 23:19:41    阅读次数:255
BZOJ版切记录
1016: [JSOI2008]最小生成树计数orz,感觉对最小生成树的理解又加进了一步。ps:不得不说对于经典算法的探究是永无止境的,只能通过交流和增长见识来学习和体会,自己研究确实困难。让我们来深入分析一下kruskal算法。算法过程不多说,直接证明:假设算法考虑到第k条边,这时发现边的两端已经...
分类:其他好文   时间:2014-09-16 20:34:41    阅读次数:244
© 2014 mamicode.com 版权所有  联系我们:gaon5@hotmail.com
迷上了代码!