PTT數位生活區 / CSSE (電腦科學及軟體工程)

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

看板CSSE (電腦科學及軟體工程)作者LFking (小均)時間14年前 (2010/10/27 23:25)推噓0(0推 0噓 4→)

留言4則, 2人參與討論串1/4 (看更多)

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

→

10/28 22:49, , 1^F

10/28 22:49, 1^F

→

10/28 22:49, , 2^F

10/28 22:49, 2^F

→

10/28 22:50, , 3^F

10/28 22:50, 3^F

→

11/01 18:47, , 4^F

11/01 18:47, 4^F

‣ 返回看板[ CSSE ] 研討

‣ 更多 LFking 的文章

文章代碼(AID): #1Co4HZ15 (CSSE)

討論串 (同標題文章)

以下文章回應了本文：

0

4

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

14年前, 10/28

完整討論串 (本文為第 1 之 4 篇)：

排序：最舊先 | 最新先 | 留言數

0

4

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

14年前, 10/27

0

4

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

14年前, 10/28

1

2

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

14年前, 11/01

1

1

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

14年前, 11/01

在新視窗開啟完整討論串 (共4篇)

CSSE 近期熱門文章

1

1

計組gate delay疑問

1年前, 11/09

1

2

求救已刪文

1年前, 09/21

4

14

Re: [演算] 深度優先搜尋

1年前, 06/15

1

1

[程式] React工程師

3年前, 11/08

2

4

[程式]如何製造手機號碼並收簡訊？

4年前, 11/05

2

2

Fw: [閒聊] CompilerDev編譯器開發新版連署

4年前, 05/29

1

2

[程式] 動態模擬程式comsol安裝執行錯誤

4年前, 04/08

1

1

[系統]救命!Linux安裝Xming用SSH連線學校server已刪文

5年前, 07/28

更多近期熱門文章 >>

PTT數位生活區即時熱門文章

5

12

[請益] 電腦清潔吸塵器+彩妝刷推薦組合？

[ PC_Shopping ]

3小時前, 11/24

9

9

[心得] 小米行動電源25000 212W

5小時前, 11/24

3

20

[菜單] 80k 3A 4K遊戲機

[ PC_Shopping ]

5小時前, 11/24

6

10

[討論] 三星綠線送修後三個月又出綠線

6小時前, 11/23

2

21

[菜單] 40k遊戲機菜單

[ PC_Shopping ]

6小時前, 11/23

2

22

[菜單] 影音文書機

[ PC_Shopping ]

6小時前, 11/23

5

8

[交易] USDT出金推薦

[ DigiCurrency ]

7小時前, 11/23

3

18

[菜單] 18k deskmini文書影音機

[ PC_Shopping ]

7小時前, 11/23

更多即時熱門文章 >>

‣ 返回看板[ CSSE ] 研討

‣ 更多 LFking 的文章

文章代碼(AID): #1Co4HZ15 (CSSE)