看板 [ CSSE ]
討論串[問題] 如何確定正確性
共 3 篇文章
內容預覽： 開啟 | 關閉 | 只限未讀
首頁
上一頁
1
下一頁
尾頁
#1
[問題] 如何確定正確性
推噓4(4推 0噓 13→)留言17則，0人參與, 最新作者ccpz (....)時間19年前 (2005/04/28 17:39), 編輯資訊
2
0
0
內容預覽:
剛剛看到台大的 25-queen 想到的. 像那種一台主機算出一些結果(ex:質數，n-queen). 之前又沒有算出來過，那是要如何驗證正確性呢?. 我想到的是同一台電腦多跑幾次，不知道有沒有別的方法？. 另外就是像seti 這類分散運算，要如何確保 client 回傳資料是正確的？. 不會有人惡
#2
Re: [問題] 如何確定正確性
推噓0(0推 0噓 0→)留言0則，0人參與, 最新作者klain (klain)時間19年前 (2005/04/29 02:14), 編輯資訊
0
0
0
內容預覽:
n-queen problem是在NP裡面，. 所以可以很簡單的驗證解答的正確性，. 我認為比較困難的是解答的多寡，. 譬如找出來是100個，. 那為什麼是100個，為什麼不是99個，為什麼不是101個?. 最基本的來想，. 因為可能在傳遞client端的運算成果的時候發生錯誤，. 好死不死剛好本來
(還有1個字)
#3
Re: [問題] 如何確定正確性
推噓0(0推 0噓 0→)留言0則，0人參與, 最新作者reader (讀者)時間19年前 (2005/04/30 12:59), 編輯資訊
0
0
0
內容預覽:
確保分散運算結果的正確性的方法其實很多。. 例如把傳回來的資料再送去別的機器驗證。. 傳回來的資料也應該包括計算過程的資訊，使得主機可以做初步檢驗。. 只要是需要大量運算的程序，一般都不缺乏過渡性質的計算資訊。. 當然基本的訊息驗證也應當要做，正常來說，只要有適當的訊息驗證，. 要做假資料的困難度就
(還有47個字)
首頁
上一頁
1
下一頁
尾頁