[問題] halt problem 是無解還是NP-hard ?

[LFking (小均)]

最近小弟在找當機問題(halting problem)的相關資料時

大多數都是用圖靈機反證得知能夠判斷halt的程式不存在(無解

但卻也有人說當機問題是NP-hard ?
http://en.wikipedia.org/wiki/NP-hard

by the way,

那又Windows 7為何可以判斷一個程式"可能"已經當機?

--
※ 發信站: 批踢踢實業坊(ptt.cc) 
◆ From: 140.133.12.198
→ eva19452002:有些程式在執行量運算，windows會判斷已當機，但是過
→ eva19452002:一段時間，等運算結束後，就好了
→ eva19452002:上面應該打大量運算才對，不是量運算
→ LFking:thanks!!