推 march20:search space. verification 的complexity 71.137.24.57 08/13 01:53
推 march20:動不動就是 EXP-TIME @@ 71.137.24.57 08/13 01:54
推 march20:(推文好像別的站看得到嗎@@?) 71.137.24.57 08/13 02:07
喔
有新的概念了,之前只有物件,GC...,programming的東西
space explosion 是只使用空間太大嗎,不會是宇宙膨脹吧
程式碼我是都有debug過
※ 引述《haryewkun.bbs@ptt.cc (Har)》之銘言：
: ※ 引述《sd@bbs.ee.ntu.edu.tw (楓)》之銘言：
: : 怎麼去確認程式的正確性阿
: : 如果有上千行的話,上億個執行結果
: 我認為你問的這個是一個很好的問題。雖然我在之前就想過，
: 並嘗試過一些解決方案。
: 至於那些建議慢慢閱讀說明書，自己去搜查的……嗯，不覺得
: 這不是一個很有效率的方法嗎。
: 老程序員常有的問題，就是以老生常談的方法去把一切當作理
: 所當然，而忽略了更新解決方案的潛在。
--
※ Origin: 臺大電機 Maxwell 站 ◆ From: 219-68-167-147.adsl.dynamic.giga.net.tw