PTT數位生活區 / Programming

Re: [請益] 那些語言或程式用上 多核心 CPU

看板Programming作者 (SoMiMi FaReRe)時間18年前 (2007/05/15 16:00), 編輯推噓2(2推 0噓 1→)
留言3則, 1人參與, 最新討論串11/30 (看更多)
※ 引述《rightson.bbs@bbs.cs.nctu.edu.tw (@++@)》之銘言： : 不對吧 : halting problem是"無法判斷會不會`停'" : 跟要花多少時間沒關係 : 教科書上有明確的定義喔 : wikipedia也查的到 判斷程式花多少時間 這個問題基本上比 Halting Problem還要困難 正式上來說 Halting Problem可被 reduce to (判斷程式花多少時間). 因此如果compiler可以判斷程式要花多少時間 就等於解了halting problem. 但已知 Halting Problem在Turing Machine上是undecidable 所以(判斷程式花多少時間)也是 undecidable. -- ※ 發信站: 批踢踢實業坊(ptt.cc) ◆ From: 132.239.55.127
推
05/15 17:20, , 1F
但halting problem和時間是扯不上關係的
05/15 17:20, 1F
推
05/15 17:23, , 2F
個人認為原po邏輯跳太多 扯太遠
05/15 17:23, 2F
→
05/15 17:26, , 3F
但 他電了之前那個亂問的人 還不錯
05/15 17:26, 3F
‣ 更多 somi 的文章
文章代碼(AID): #16IMYHrz (Programming)
討論串 (同標題文章)
本文引述了以下文章的的內容：
以下文章回應了本文：
完整討論串 (本文為第 11 之 30 篇)：
排序： 最新先 | 最舊先 | 留言數
在新視窗開啟完整討論串 (共30篇)
Programming 近期熱門文章
更多 近期熱門文章 >>
PTT數位生活區 即時熱門文章
更多 即時熱門文章 >>
‣ 更多 somi 的文章
文章代碼(AID): #16IMYHrz (Programming)