并不是，你看下《算法导论》的描述就知道了：Initialization: It is true prior to the first iteration of the loop。
算法的正确性证明方法一: 循环不变量在之前的一篇文章里写到算法的正确性的概念以及它的作用，下面就来写写循环不变量在算法的正确性证明中的用法。 循环不变量（loop invariant） 在使用循环的算法里，可以...
发简信
IP属地：广东
-
-
SSH、SSL与HTTPS关于加密 在解释SSH、SSL与HTTPS协议之前我先介绍一下非对称加密协议。在1976年以前，所有的加密都采用对称加密，既A使用某种加密规则对信息加密，B收到信息后逆向加密...
-
-
另外“服务端认证阶段”，感觉也逃不过中间人攻击吧？中间人可以捏造“Sever Key” 给客户端（Host Key客户端会验证所以没法捏造），同时捏造一个session id 给服务端
SSH、SSL与HTTPS
关于加密 在解释SSH、SSL与HTTPS协议之前我先介绍一下非对称加密协议。在1976年以前，所有的加密都采用对称加密，既A使用某种加密规则对信息加密，B收到信息后逆向加密...
-
好文支持下，不过有个地方没弄懂。
“Public Key认证”方式是否就是fingerprint的验证形式？
如果是的话，不是说“已经经过了服务器认证协商阶段，这是一个安全的加密信道已经建立”，那不就没必要进行再次加密了吗SSH、SSL与HTTPS
关于加密 在解释SSH、SSL与HTTPS协议之前我先介绍一下非对称加密协议。在1976年以前，所有的加密都采用对称加密，既A使用某种加密规则对信息加密，B收到信息后逆向加密...
-
当初面最后老大的时候面的不好，那时候好沮丧觉得可能没戏了，结果蜜汁进了鹅厂，现在做了一年多了。每次觉得辛苦和累的时候想想能跟一群优秀的童鞋一起工作就重新满血
在腾讯实习三个月，你后悔吗
文/木小沐 临近秋招，意味着鹅厂实习生的考核也接近尾声了。最近在乐问（鹅厂内部知乎）看到的最多的帖子也是和实习生相关的。 几家欢喜几家愁。 拿到转正名额的自不必多说，还有相当...
-
“Server Push 让 HTTP1.x 时代使用内嵌资源的优化手段变得没有意义” 请问这个不是多路复用才让资源内联没意义么？
如何优雅的谈论HTTP／1.0／1.1／2.0
试想一下，一个科班出身，拥有丰富开发经验的程序员对于HTTP协议却不甚了解？还是很尴尬的！这么一个可以说是常识的问题，可能很多人在没有积极准备的情况下，不一定能很好的回答出来...
-
写的真好，求更多文章
如何优雅的谈论HTTP／1.0／1.1／2.0
试想一下，一个科班出身，拥有丰富开发经验的程序员对于HTTP协议却不甚了解？还是很尴尬的！这么一个可以说是常识的问题，可能很多人在没有积极准备的情况下，不一定能很好的回答出来...
-
如何优雅的谈论HTTP／1.0／1.1／2.0试想一下，一个科班出身，拥有丰富开发经验的程序员对于HTTP协议却不甚了解？还是很尴尬的！这么一个可以说是常识的问题，可能很多人在没有积极准备的情况下，不一定能很好的回答出来...
-
如果你是程序员，或者有一颗喜欢写程序的心，喜欢分享技术干货、项目经验、程序员日常囧事等等，欢迎投稿《程序员》专题。 专题主编：小彤花园 http://www.jianshu.com/users/4a4eb4feee62/ 【程序员】专题拒稿指北：http://www.jianshu.com/p/7c8b33b5f63b 投稿须知： 1.收录相关技术文章，但不限于技术，也可以是项目经验类的文章和程序员日常。 2.文章內不得有任何推广信息。包括但不限于公众号、微博、微信，更不得在通过投稿后再修改文章加入推广信息。你可以将这些推广以及个人信息放在个人主页介绍里。 3.字数极少，段落混乱，大段代码没有放到代码框的文章不收录 4.不相关的内容不收录，请确认文章内容和本专题相关 目前针对优质作者及爱好者，开设了官方程序员微信群，希望加入请发简信给主编小彤花园索取个人微信，主编会将你加入到【程序员】微信群，分享内容，收获知识。添加微信时备注昵称。
