码迷,mamicode.com
首页 >  
搜索关键字:证明    ( 7199个结果
关于map容器的元素被无参初始化
使用C++中的map容器定义一个mp,当你执行if语句判断mp[3]是否为1时,那么如果mp[3]以前不存在,此时mp[3]就会被无参初始化,second赋值为0。以下的程序可以证明这一点。执行了第8行的判断后,12行的输出可以看到size已经由0变1,而13行也显示出了mp[3]的内容,即0. 1...
分类:其他好文   时间:2014-09-22 18:36:53    阅读次数:250
hdu 1421 - 搬寝室
题目:搬寝室,每次最多拿两个物品,代价是量物品重量之差的平方,求最小代价。 分析:dp,贪心。如果取两个物品,重物相邻时,差的平方最小。              证明:设 a                         (d-a)^2 + (c-b)^2 > (d-c)^2 + (b-a)^2;                         (d-b)^2 + (c-a)^2 > ...
分类:其他好文   时间:2014-09-22 10:11:52    阅读次数:210
《编程之美》3.6判断链表是否相交之扩展:链表找环方法证明
先看看原题:《编程之美》3.6编程判断两个链表是否相交,原题假设两个链表不带环。 为了防止剧透使得没看过原题目的读者丧失思考的乐趣,我把最好的解法隐藏起来。由于这个问题本身的解答并不是本文的重点,扩展问题也采用这种形式呈现。注:位于(*)符号之间的文字出自于:http://blog.csdn.ne....
分类:其他好文   时间:2014-09-22 01:03:31    阅读次数:387
HDU 5037 FROG 贪心 2014北京网络赛F
题目链接;点击打开链接 题意:有一条小河长为M的小河,可以看作一维轴,小河里存在N个石头,有一个每次能跳L米的小青蛙,随意添加石头保证青蛙能从头跳到尾的,问青蛙使用最优策略跳到对岸最多需要多少次。 思路:不妨假设青蛙每个石头都要经过一次,用step表示青蛙上一次跳的步长,每跳一次对目前点到下一点的距离和step的和与L做比较,如果小与,证明青蛙可以一次跳到这,更新step和青蛙位置,cnt保持...
分类:其他好文   时间:2014-09-22 00:13:34    阅读次数:217
zoj 1025 - Wooden Sticks
题目:求一个序列中最大不上升子序列的个数。 分析:dp,LIS。一个序列中的不上升子序列的最小个数,是他的最大上升子序列长度。              证明:首先求串的最大上升子序列,那么每个元素一定属于一个不同的不下降串;                         如果,取第一个最大上升子序列,那么每个元素一定是集合中的最大值;                        这些...
分类:其他好文   时间:2014-09-21 23:41:21    阅读次数:321
HDU 1005 Number Sequence (循环节)
首先暴力打表就很容易发现有循环节,于是一开始的写法是直接暴力找循环节,结果一直WA, 原因是有的循环并不是从1,1开始的,详细有证明戳这里:http://acm.hdu.edu.cn/discuss/problem/post/reply.php?postid=19818&messageid=1&deep=0 于是借鉴了大神的思路,因为%7,故可用v[7][7]来记录 f(n) = (A * f...
分类:其他好文   时间:2014-09-21 11:56:10    阅读次数:222
阿里上市了呢
昨晚阿里上市了,市值已经超过2300亿美元,三百多人成为千万富翁,百万富翁一万多人。 我从小刚开始上网那一阵子淘宝还没出来,当时还是阿里B2B,小学三四年级的时候。后来04年淘宝网出来,身边的大人都在说网购质量不能保证啊云云,但是事实证明他们都是鼠目寸光。初中那会网购已经开始慢慢普及了,那时还有ebay和卓越,后来不知道消失到哪里去了,淘宝事实也正符合中国大多数人的小商品模式,能最大程度的去占有...
分类:其他好文   时间:2014-09-20 17:27:19    阅读次数:174
荐 android 如何打包自定义控件(转)
荐 android 如何打包自定义控件(转)目录[-]方式一:将项目打包成jar包方式二:项目作为一个library 设计自定义的控件对android开发人员来说,是家常便饭了,但是多次做项目的经验证明了一个道理,自定义的控件,可以在其他项目中,多次使用,所以接下来我们来介绍2种常用的打包方式,并....
分类:移动开发   时间:2014-09-20 01:03:06    阅读次数:308
Floyd-Warshall算法的理解
Floyd算法可以求图内任意两点之间的最短路径,三重循环搞定,虽然暴力,但是属于算法当中最难的动态规划的一种,很有必要理解。花了一晚上和半个下午专门看这个,才看个一知半解,智商被碾压没办法。我一直怀疑这种办法会不会漏情况,是不是一定正确,脑子里想特殊用例,却把脑子想乱了。收藏这么几个网址,从数学证明...
分类:其他好文   时间:2014-09-19 17:23:05    阅读次数:328
【Excel&VBA】VBA解析本地文件目录 读取文本数据
偶尔用到Excel中VBA处理一些事情,毕竟鄙人比较懒,总是喜欢把那些重复性的工作想方设法交给计算机来处理,那样才能证明自己的大脑还在运转着,总结一些VBA中读取解析本地文件目录的方法。 1 ' 该函数是获取指定目录下所有的 文件夹 名 2 Sub readFile() 3 Path = "...
分类:其他好文   时间:2014-09-19 17:18:45    阅读次数:397
© 2014 mamicode.com 版权所有  联系我们:gaon5@hotmail.com
迷上了代码!