在上一篇文章中談到在使用循環(huán)的算法中贮尖，可以利用循環(huán)不變量證明算法的正確性徒蟆，那如果是使用遞歸的算法呢杉辙。 遞歸的算法在計(jì)算中會(huì)形成某種遞歸結(jié)構(gòu)，因此可以利用結(jié)構(gòu)歸納法來證明正確性...
發(fā)簡(jiǎn)信
IP屬地：陜西
-
算法的正確性證明方法二: 結(jié)構(gòu)歸納法 -
有劍移必？無劍啄踊？habitica雜緒
今天，是我使用habitica的第十四天杀捻，自己在很多方面都有了改觀井厌。 從很久以前，大概是五六年前的樣子致讥，自己朦朦朧朧中就想去建立起自己的生活行為和自己生活獎(jiǎng)懲之間的聯(lián)系仅仆，但是...
-
-
大概就是廣交朋友墓拜，少碰愛情吧
【老祝的故事 2018.4.30】 不知道從什么時(shí)候開始，就很難再有心動(dòng)的感覺了呢惶桐，盡管生命中走過蠻多優(yōu)秀的女孩子撮弧，但是卻沒有了不顧一切的沖動(dòng)，偶爾閃過一下姚糊，一覺醒來...
