码迷,mamicode.com
首页 >  
搜索关键字:证明    ( 7199个结果
[再寄小读者之数学篇](2014-06-20 Beta 函数)
令 $\dps{B(m,n)=\sum_{k=0}^n C_n^k \cfrac{(-1)^k}{m+k+1}}$, $m,n\in\bbN^+$. (1) 证明 $B(m,n)=B(n,m)$; (2) 计算 $B(m,n)$. 证明: (1) $$\beex \bea B(m,n)&=\sum_...
分类:其他好文   时间:2014-06-28 12:55:39    阅读次数:182
二鸟在林不如一鸟在手
看一篇论文,总能引出一大堆相关的书籍 相关的领域,令人目不暇接,尤其是数学是需要证明和计算的,对初进入领域的研究人员是必要的 熟练之后才不必拘泥于细节,看这些文献、书感觉好像总没有尽头,看着看着就沉沦到里面了。所谓 ...
分类:其他好文   时间:2014-06-28 12:38:06    阅读次数:164
BZOJ 1563 诗人小G(四边形优化)
题目链接:http://61.187.179.132/JudgeOnline/problem.php?id=1563题意:思路:设s[i]表示前i个句子的长度和,那么有转移方程:有大牛证明这个满足四边形不等式,证明应该比较复杂。在《1D/1D动态规划优化初步》这篇文章中,作者说实战中可以直接打表看看...
分类:其他好文   时间:2014-06-23 07:45:48    阅读次数:335
《Algorithms 4th Edition》读书笔记——2.4 优先队列(priority queue)-Ⅴ
命题Q。对于一个含有N个元素的基于堆叠优先队列,插入元素操作只需要不超过(lgN + 1)次比较,删除最大元素的操作需要不超过2lgN次比较。证明。由命题P可知,两种操作都需要在根节点和堆底之间移动元素,而路径的长度不超过lgN。对于路径上的每个节点,删除最大元素需要两次比比较(除了堆底元素),一次...
分类:其他好文   时间:2014-06-22 23:50:00    阅读次数:510
[再寄小读者之数学篇](2014-06-20 求极限-L'Hospital 法则的应用)
设 $f\in C[0,+\infty)$, $a$ 为实数, 且存在有限极限 $$\bex \vlm{x}\sez{f(x)+a\int_0^x f(t)\rd t}. \eex$$ 证明; $f(+\infty)=0$.证明: 记 $$\bex F(x)=e^{ax}\int_0^x f(t)\...
分类:其他好文   时间:2014-06-22 23:28:28    阅读次数:160
为何左撇子更聪明
人的精神源是交叉的,经常性锻炼会使大脑发达。左侧肢体刺激右脑,右侧肢体刺激左脑,经常锻炼右脑可使右脑的记忆达到左脑的100万倍。美国脑科学家哈维证明,1955年爱因斯坦病故时,在哈弗医学院将其脑解刨,切成240片,发现右脑大,比普通人的平均厚度多出一厘米,这造成爱因斯坦大脑宽度超过普通人 15% 左右。报告指出,位于大脑后上部的顶下叶区在视觉空间认知、数学思维和运动想象力方面发挥着重要作用,该区域的异常发达在一定程度上可解释为什么爱因斯坦会形成自己独特的思维方式。并得出爱因斯坦右脑比左脑大10万倍的结论。加...
分类:其他好文   时间:2014-06-22 19:18:23    阅读次数:233
【我所认知的BIOS】—> uEFI AHCI Driver(8) — Pci.Read()
社会一直在变,不晓得是不是社会变的太苦开,而我没变所以我反而显得单纯了。办一个居住证,几年前办的以为终于可以一劳永逸的,后来续办的是发现确实不难了。尼玛,上个月去续办还说好,你这快要到期了,下个月来开证明吧。结果我昨天去开证明,一堆的文件甩给我说,不好意思现在流程变了。一切都是按照新办的流程来。好吧,我单纯了。其实在软件和硬件的这个行当里,相对而言还是硬件比较单纯点。软件把硬件封装的比较花里胡哨。那么今天讲的这片文章就是。大家可以好好感受一下。当然在这里的花里胡哨是一种很好的软件架构表现,不才并不是像前面的...
分类:移动开发   时间:2014-06-22 19:10:16    阅读次数:299
那些走过的时间-大学毕业感叹
今天早上等了两个小时来了一个集体的大合照,这是否就证明自己已经算毕业了...
分类:其他好文   时间:2014-06-22 18:50:55    阅读次数:153
第二十二篇:再写Windows驱动,再玩Windbg---NET
2011年到现在,就没再怎么搞过Windows驱动了. 最近, 由于项目需要, 试着改一改一个显卡驱动(KMDOD), 从实践上证明, 我在理论上对一个驱动的架构的正确与否.(USB Display = KMDOD + AVStream). 其中, KMDOD是完成显示的部分功能, 完成其中的VidPN(Video present network), 将驱动中原来的POST物理设备转变为USB...
分类:数据库   时间:2014-06-21 18:33:42    阅读次数:517
[开源]起步,这只是一个开始。开源Qoss Flow Engine项目pre-alpha版本
迈开的第一步,至少证明已然开始。 这还只是以个pre-alpha的版本,意味着,它目前就根本没有多少功能,它也许只还有那一点点尚未搭建完成的骨头架子,但它会慢慢成长。 ….. 哈哈,废话真多。步入正题吧。 1. Qoss Flow Engine是什么? Qoss其实它的定位是一个开源的BPM(Bus...
分类:其他好文   时间:2014-06-21 16:27:14    阅读次数:232
© 2014 mamicode.com 版权所有  联系我们:gaon5@hotmail.com
迷上了代码!