码迷,mamicode.com
首页 >  
搜索关键字:证明    ( 7199个结果
找到n个元素中的第二小元素
算法导论中的一道习题: 证明: 在最坏情况下,找到n个元素中的第二小的元素需要n+ceil(lgn)-2次比较。(提示:可以同时找到最小元素,ceil表示向上取整) 思路: 找到最小元素需要n-1次比较。采用两两结合比较的方法。如果n为奇数,则取第一个元素为临时最小元素min,其它两两结合比较,形成一个类似树的比较过程。如果n为偶数,则直接进行两两结合比较,根节点即为最小元素。 接下来查找...
分类:其他好文   时间:2014-09-30 14:23:59    阅读次数:181
cf Learn from Life (简单贪心)
有N个人站在一楼。一个电梯最多承载K个人。每个人都有一个想去的楼层。f[1]....f[N]。 f[i]属于[2,2000]从a层到b层需花费abs(a-b)秒。问电梯送完所有人然后回到一楼至少需要多少秒。思路:把每个人想去的楼层从小到大排序。先把高层的人送完再送低层的人,每次送K个。(证明:送最高...
分类:其他好文   时间:2014-09-30 03:45:01    阅读次数:155
HDU 5047 Sawtooth(有趣的思维题+证明)
Sawtooth Time Limit: 2000/1000 MS (Java/Others)    Memory Limit: 65536/65536 K (Java/Others) Total Submission(s): 979    Accepted Submission(s): 375 Problem Description Think about a plane...
分类:其他好文   时间:2014-09-29 16:11:41    阅读次数:239
福克斯:悲观?乐观?就看你与世界怎么互动
心理学证明了一个朴素的真理:我们对待世界的方式,与世界互动的方式将会改变世界回应我们的方式。这事实引人注目,但却太容易被人遗忘。我们的存在方式、看待事情的角度、对生活的态度、心态决定了我们的世界是什么颜色,影响着我们的健康、财富和总体幸福感。这里的心态是指悲观还是乐观,即偏向光明的一面还是阴暗的一面。心理学家开发过很多方法来测量一个人的悲观度或乐观度,这点也说明心态的差异在目前是可以被量化的。最引...
分类:其他好文   时间:2014-09-29 12:04:20    阅读次数:175
为什么括号不是可正则的语言
记得Long long ago,在找一个Vim的括号匹配问题的时候,看到一个说法,说括号是不可正则的。当时也没去深究,就只是记下了这个说法。最近,Coursera开了一 门Automata的课程,就去听了下,里面也说到括号是不正则的,没有给出证明。因此就引出了我的好奇心了。Coursera上课,选课...
分类:其他好文   时间:2014-09-29 01:53:06    阅读次数:272
希尔排序
希尔排序(Shellsort)的名称源于它的发明者Donald Shell,该算法是冲破二次时间屏障的第一批算法之一。不过,自从它最初被发现,又过了若干年才证明了它的亚二次时间界。它通过比较相距一定间隔的元素来工作;各趟比较所用的距离随着算法的进行而减小,直到只比较相邻元素的最后一趟排序为止。希尔排...
分类:其他好文   时间:2014-09-28 23:13:15    阅读次数:251
Lucas定理及其应用
Lucas定理这里有详细的证明。其实就是针对n, m很大时,要求组合数C(n, m) % p, 一般来说如果p 2 #include 3 #include 4 using namespace std; 5 6 #define N 100010 7 8 long long mod_pow(i...
分类:其他好文   时间:2014-09-28 22:10:55    阅读次数:192
用python阐释工作量证明(proof of work)
了解比特币的都知道挖矿很耗电,这是因为比特币用到了工作量证明. 工作量证明是指系统为达到某目标而设置的工作度量方法.一开始是用在网络攻防上,大大提高攻击者的计算量,攻击成本也就上去了. 工作量证明需要由工作者和验证者两方共同完成.它有两层含义. 1.工作者需要完成的工作必须有一定的量,这个量由验证者给出.2.验证者可以迅速的检验工作量是否达标,注意这里的检验完成过程必须简单. ...
分类:编程语言   时间:2014-09-28 20:58:45    阅读次数:336
debian下使用shell脚本时出现了 declare:not found 解决方法
问题:出现declare:not found的提示解决:原来,UBUNTU用的是dash(后来证明这个其实这个不是错误的原因:从#!/bin/bash到#!/bin/dash,依旧无法运行,在这写出这一点只为引起以后的注意)只需要用sudo dpkg-reconfigure dash指令然后在出现的...
分类:其他好文   时间:2014-09-28 19:48:35    阅读次数:181
[原]关于对求两个排序数组交集的扫描算法正确性的证明
在看《信息检索导论》的时候看到了这个算法的实现,书里是用来演示如何将两个term的倒排列表求交集。伪代码如下:INTERSECT( p1, p2)1 answer ← {}2 while p1 != NIL and p2 != NILdo3 if docID( p1) = docID( p2)th....
分类:其他好文   时间:2014-09-28 18:03:53    阅读次数:156
© 2014 mamicode.com 版权所有  联系我们:gaon5@hotmail.com
迷上了代码!