Re: [請益] 那些語言或程式用上 多核心 CPU
※ 引述《somi.bbs@ptt.cc (SoMiMi FaReRe)》之銘言：
> ※ 引述《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.
感謝補充
其實原po沒有講"錯"
只是敘述方式讓我覺得他重新定義了halting problem
=======
這段非常怪，Compiler也許可以回答你每個指令要花多少週期做完，但無法回答你這程式
要花多少時間才能跑完，事實上，只要是圖靈機（Turing Machine，目前的機器皆是），
是無法回答這個問題的，因為這是所謂的Halting Problem.
^^ 用`是'這個字讓我覺得這樣講有點問題
是我咬文嚼字太龜毛.. 讓大家見笑了
--
▄▄▄▄▄▄▄ ▄▄▄▄ ▄▄▄▄▄▄ ＜telnet://bbs.cs.nctu.edu.tw＞
█▄▄▄▄█ █ ▄▄▄▄▄█ Player: rightson
▄█▄▄▄▄█ ▄▄▄█ █▄▄▄▄▄ From: E071.Life.NCTU.edu.tw
☆ 次世代ＢＳ２ ☆ 可申請個人板 150MB 相簿 http://pic.bs2.to 交大資訊人 250MB
討論串 (同標題文章)
以下文章回應了本文：
完整討論串 (本文為第 13 之 30 篇)：
Programming 近期熱門文章
PTT數位生活區 即時熱門文章
