码迷,mamicode.com
首页 >  
搜索关键字:证明    ( 7199个结果
关于极限证明方法的专题讨论II
$\bf命题:$
分类:其他好文   时间:2014-07-22 22:58:16    阅读次数:123
1562: [NOI2009]变换序列 - BZOJ
DescriptionInputOutputSample Input51 1 2 2 1Sample Output1 2 4 0 3HINT30%的数据中N≤50;60%的数据中N≤500;100%的数据中N≤10000。二分图匹配,倒着匹配,每次选小的增广(随便乱yy一下,应该就可以证明是字典序最...
分类:其他好文   时间:2014-05-26 14:00:25    阅读次数:262
笔试算法题(27):判断单向链表是否有环并找出环入口节点 & 判断两棵二元树是否相等
出题:判断一个单向链表是否有环,如果有环则找到环入口节点;分析:第一个问题:使用快慢指针(fast指针一次走两步,slow指针一次走一步,并判断是否到达NULL,如果fast==slow成立,则说明链表有环);第二个问题:fast与slow相遇时,slow一定还没有走完一圈(反证法可证明);示意图A...
分类:其他好文   时间:2014-05-26 10:22:27    阅读次数:279
uva 10104 Euclid Problem (数论-扩展欧几里德)
uva 10104 Euclid Problem (数论-扩展欧几里德) 题目大意: 已知 A 和 B , 问你 A*X+B*Y=GCD(A,B)的 X,Y解。 解题思路: 非常裸的拓展欧几里德算法。 拓展欧几里德算法证明过程: 因为 B*X1+A%B*Y1=GCD(B,A%B) =GCD(A,B)=A*X+B*Y 所以 B*X1+(A-A/B*B)*Y1=A*X+B*Y A*Y1+B*(X1-A/B*Y1)=A*X+B*Y 于是: X=Y1,Y=(X1-A/B*Y1) 因此,得出( A*...
分类:其他好文   时间:2014-05-26 05:53:55    阅读次数:297
UVA 10843 - Anne's game(Cayley定理)
UVA 10843 - Anne's game 题目链接 题意:题意说得挺绕的,其实本质上就是求n个点,可以接连出多少种不同的生成树 思路:这是Caylay定理,网上能找到证明,结果为nn?2,然后利用快速幂去求解。 代码: #include #include const int long long MOD = 2000000011; int t; long long n;...
分类:其他好文   时间:2014-05-26 03:36:35    阅读次数:278
[问题2014S12] 解答
[问题2014S12] 解答先证明一个简单的引理.引理 设 \(B\) 为 \(n\) 阶半正定 Hermite 阵, \(\alpha\) 为 \(n\) 维复列向量, 若 \(\overline{\alpha}^TB\alpha=0\), 则 \(B\alpha=0\).引理的证明 由假设存在 ...
分类:其他好文   时间:2014-05-25 20:13:34    阅读次数:263
[再寄小读者之数学篇](2014-05-25 矩阵的交换子)
(来自质数)设 $ \mathbf V=\Bbb F_{n\times n}$ 是域 $\Bbb F$ 上所有 $n$ 阶矩阵组成的向量空间 (这里$\Bbb F=\Bbb R$ 或者 $ \Bbb C$). 证明所有形如 $MN-NM$ 的矩阵形成一个线性空间.(来自 质数) 这是一个经典的结果,...
分类:其他好文   时间:2014-05-25 11:04:37    阅读次数:226
辗转相除法(Euclidean Algorithm)极简证明
辗转相除法的目的:求两个树的最大公约数   设两数为a、b(a > b),求它们最大公约数的步骤如下: 设q = a / b,r = a % b, 得a=bq+r(0≤r<b)。 1)若r = 0, 则b是a和b的最大公约数。 2)若r≠0,则继续考虑。可以证明:a 和 b 的最大公约数也是 b 和 r 的最大公约数 那么在第二种情况下公约数的关系就有一个递推传递的关系。 就是 a...
分类:其他好文   时间:2014-05-25 11:00:27    阅读次数:168
老罗锤子手机发布会,我感到深深地愧疚
[导语]老罗的锤子手机发布会视频优酷上可以看到,花了两个小时,认真观看了。明显,发布会是成功的,让很多罗粉超出了心理预期,但后期到底卖得如何,还得时间来证明。先别说到底出货量多少,就从此刻往回看,我为老罗的所做所为深深震撼,这个时代不缺乏创新的科技公司,但是缺乏具有灵魂的公司。作为一 名软件开发者,我更感到惭愧,深深地对自己软件的用户愧疚。 一、隔行如隔山,老罗是飞猪 一名英语...
分类:移动开发   时间:2014-05-24 14:31:48    阅读次数:322
[创业]准备创业工课要充分{一}
为什么创业现在能做什么!准备做什么!未来做什么!鼓励创业,创业价值创业理由=>赚钱,证明自己.@me:创建上市公司,成就辉煌创造价值信心,优势,专长{销售,软件},启动资金不见得失败就是不好隔行如隔山,跳到新行业,起点是先天因数做对的事,找对的人,找到正确的方向人多力量大风险现实路线=>思想和资金不...
分类:其他好文   时间:2014-05-24 13:58:58    阅读次数:196
© 2014 mamicode.com 版权所有  联系我们:gaon5@hotmail.com
迷上了代码!