码迷,mamicode.com
首页 >  
搜索关键字:证明    ( 7199个结果
给定一颗完全二叉树,给每一层添加上next的指针,从左边指向右边
给你机会发出声音,但是不给你机会证明高层的决定是错的RT: 时间复杂度O(n) 空间复杂度O(1)原理就是有指针指向父节点和当前的节点,左孩子必指向右孩子,右孩子必指向父节点的下一个节点的左孩子void Solution::yahooTree(TreeNode *root){ if (root...
分类:其他好文   时间:2014-09-28 15:36:12    阅读次数:201
UVALive4287-- Proving Equivalences(SCC+Tarjan)
题目链接 题意:证明n个命题全部等价,已经给出m此推导,求至少还要几次推导才能完成整个证明。 思路:可以将命题看作结点,推导看作有向边,则本题就能转化为n个结点m条边的有向图。利用tarjan算法得到所有强连通分量,将这些强连通分量当作一个点,得到一个DAG。之后就可以求次数了。注意当强连通数量为1时,就代表着证明已经完成了。 代码: #include #incl...
分类:其他好文   时间:2014-09-28 10:31:52    阅读次数:166
SICP 习题 (2.5) 解题总结
SICP 习题 2.5 有点像是道数学题,首先要求我们证明可以将a和b的序对表示为2^a * 3^b,然后通过非负整数和算术运算表示序对。最后要求我们实现对应的cons, car 和cdr过程。这道题的根本就是复合数据的构成方式和解析方式。其实,对于所有复合数据来讲,我们都在处理同样一件事情,就是如何把复合数据的组成部分构建在一起,同时可以通过特定的方法将它们拆解出来。就好像我们要存放乒乓球和网球...
分类:其他好文   时间:2014-09-28 02:29:40    阅读次数:176
【HDOJ】P1007 Quoit Design (最近点对)
题目意思很简单,意思就是求一个图上最近点对。具体思想就是二分法,这里就不做介绍,相信大家都会明白的,在这里我说明一下如何进行拼合。具体证明一下为什么只需要检查6个点首先,假设当前左侧和右侧的最小值为d,那么对于一个点,如果有个最小值小于d,那么一定存在于上d下d左d右d的一块区域内,又因为是从左到右...
分类:其他好文   时间:2014-09-27 00:22:18    阅读次数:192
中国大推力矢量发动机WS15 跨入 世界先进水平!
“太行”WS-15让俄闭嘴令美叹服 歼20试飞向世界证明,中国军工世界一流,并有望与美英法争夺新一代航空发动机桂冠。笔者请教解放军专家证实;中国四代机所配套的两台18吨推力的WS-15“太行”发动机(原文如此),其性能基本赶上了俄罗斯和美国欧洲的同类引 擎,晋身世界航空三鼎甲的前景已经明朗化。这不....
分类:其他好文   时间:2014-09-27 00:14:18    阅读次数:208
HDU-1098-Ignatius's puzzle
题目链接http://acm.hdu.edu.cn/showproblem.php?pid=1098题目的关键是函数式f(x)=5*x^13+13*x^5+k*a*x;事实上,由于x取任何值都需要能被65整除.那么用数学归纳法.只需找到f(1)成立的a,并在假设f(x)成立的基础上,证明f(x+1)...
分类:其他好文   时间:2014-09-26 20:40:38    阅读次数:141
Day1_算法分析方法
课堂笔记:程序执行效率影响因子:输入:评估时使用最坏情况输入输入大小:考虑n渐进∞机器执行效率: 忽略两种排序算法比较插入排序n2归并排序nlgn递归技能1:评估多项式的时间级数θ技能2:构建算法的循环不定式,并证明其正确性引申思考归并排序通过哪个关键步骤/方法使效率高于插入排序编程训练归并排(与逆...
分类:其他好文   时间:2014-09-26 20:30:38    阅读次数:132
Poj 1742 Coins
题意: 给定N个面值,a1..an,每种面值都有c1..cn个,问从1..m的面值中,有多少个可以用已经给定的面值组成?分析: 还记得“多重组合数”问题么? DP[K][N]——用前N种数字组成K,第N种可以剩下最多多少个。 证明分析就不给出了,见前面的博文吧。时间复杂度为K*N这道题...
分类:其他好文   时间:2014-09-26 19:41:48    阅读次数:138
高效率三大法则总结
原则一:专注 之前经常听到很多人所谓的牛人,说什么边干活的时候可以开着msn、qq,工作和娱乐两不误,边听下属汇报的同时边写下午会议的发言稿,然而科学事实证明人类的大脑硬件结构决定了根本不可能一脑两用,我们所谓的可以同时处理多个事情,只是一种高频切换而已,我们的大脑只是单核的CPU,不可能多线程,高频的切换任务必定会耗费大量的switch时间,真正的高效率要遵循同一段时间只专心做一件事情。《...
分类:其他好文   时间:2014-09-26 19:39:38    阅读次数:183
© 2014 mamicode.com 版权所有  联系我们:gaon5@hotmail.com
迷上了代码!