Re: 程式...

看板Programming作者時間18年前 (2006/08/12 17:01), 編輯推噓4(400)
留言4則, 1人參與, 最新討論串4/4 (看更多)
喔 有新的概念了,之前只有物件,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

08/13 01:53, , 1F
search space. verification 的complexity
08/13 01:53, 1F

08/13 01:54, , 2F
動不動就是 EXP-TIME @@
08/13 01:54, 2F

08/13 01:59, , 3F
以下是篇經典論文 http://0rz.net/f41GO
08/13 01:59, 3F

08/13 02:07, , 4F
(推文好像別的站看得到嗎@@?)
08/13 02:07, 4F
文章代碼(AID): #14tPZF00 (Programming)
討論串 (同標題文章)
本文引述了以下文章的的內容:
4
4
18年前, 08/10
完整討論串 (本文為第 4 之 4 篇):
18年前, 08/10
0
1
4
4
18年前, 08/10
4
4
18年前, 08/12
文章代碼(AID): #14tPZF00 (Programming)