[問題] halt problem 是無解還是NP-hard ? LFking PTT批踢踢實業坊

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

作者: LFking (小均) 2010-10-27 23:25:21

最近小弟在找當機問題(halting problem)的相關資料時
大多數都是用圖靈機反證得知能夠判斷halt的程式不存在(無解
但卻也有人說當機問題是NP-hard ?
http://en.wikipedia.org/wiki/NP-hard
by the way,
那又Windows 7為何可以判斷一個程式"可能"已經當機?

作者: eva19452002 (^^) 0000-00-00 00:00:00

有些程式在執行量運算，windows會判斷已當機，但是過一段時間，等運算結束後，就好了上面應該打大量運算才對，不是量運算

作者: LFking (小均) 2009-01-01 18:47:00

thanks!!

繼續閱讀

[情報] 2010 資訊安全技術研討會lizard0619 Re: [問題] SQL count 的替代方法cspy [問題] 關於物件導向分析問題yungshiang [請益] 微核心(microkernel)是不是真的比較好?jokker Re: [問題] 幾題BigO證明還有觀念疑問micklin [問題] 幾題BigO證明還有觀念疑問Lizstlin Re: [問題] SQL count 的替代方法yauhh Re: [問題] SQL count 的替代方法neversay Re: [問題] SQL count 的替代方法dayyoung [問題] SQL count 的替代方法dayyoung