在上一篇文章中談到在使用循環(huán)的算法中盖彭，可以利用循環(huán)不變量證明算法的正確性拦坠，那如果是使用遞歸的算法呢脖咐。 遞歸的算法在計算中會形成某種遞歸結構叽奥，因此可以利用結構歸納法來證明正確性...
發(fā)簡信
IP屬地：陜西
-
算法的正確性證明方法二: 結構歸納法 -
有劍？無劍何陆？habitica雜緒
今天率触，是我使用habitica的第十四天，自己在很多方面都有了改觀虫埂。 從很久以前祥山，大概是五六年前的樣子，自己朦朦朧朧中就想去建立起自己的生活行為和自己生活獎懲之間的聯(lián)系掉伏，但是...
-
大概就是廣交朋友缝呕，少碰愛情吧
【老祝的故事 2018.4.30】 不知道從什么時候開始，就很難再有心動的感覺了呢斧散，盡管生命中走過蠻多優(yōu)秀的女孩子供常，但是卻沒有了不顧一切的沖動，偶爾閃過一下鸡捐，一覺醒來...
