在上一篇文章中談到在使用循環(huán)的算法中白魂，可以利用循環(huán)不變量證明算法的正確性睛竣，那如果是使用遞歸的算法呢该贾。 遞歸的算法在計算中會形成某種遞歸結(jié)構(gòu)肢簿，因此可以利用結(jié)構(gòu)歸納法來證明正確性...
發(fā)簡信
IP屬地：陜西
-
算法的正確性證明方法二: 結(jié)構(gòu)歸納法 -
有劍唐瀑？無劍稠茂？habitica雜緒
今天宝穗，是我使用habitica的第十四天鸽照，自己在很多方面都有了改觀螺捐。 從很久以前，大概是五六年前的樣子，自己朦朦朧朧中就想去建立起自己的生活行為和自己生活獎懲之間的聯(lián)系归粉，但是...
-
-
大概就是廣交朋友糠悼，少碰愛情吧
【老祝的故事 2018.4.30】 不知道從什么時候開始届榄，就很難再有心動的感覺了呢，盡管生命中走過蠻多優(yōu)秀的女孩子倔喂，但是卻沒有了不顧一切的沖動铝条，偶爾閃過一下，一覺醒來...
