Re: [問題] 如何確定正確性

看板CSSE (電腦科學及軟體工程)作者 (klain)時間19年前 (2005/04/29 02:14), 編輯推噓0(000)
留言0則, 0人參與, 最新討論串2/3 (看更多)
: 剛剛看到台大的 25-queen 想到的 : 像那種一台主機算出一些結果(ex:質數,n-queen) : 之前又沒有算出來過,那是要如何驗證正確性呢? : 我想到的是同一台電腦多跑幾次,不知道有沒有別的方法? : 另外就是像seti 這類分散運算,要如何確保 client 回傳資料是正確的? : 不會有人惡意傳錯誤的資料回去? n-queen problem是在NP裡面, 所以可以很簡單的驗證解答的正確性, 我認為比較困難的是解答的多寡, 譬如找出來是100個, 那為什麼是100個,為什麼不是99個,為什麼不是101個? 最基本的來想, 因為可能在傳遞client端的運算成果的時候發生錯誤, 好死不死剛好本來是一個解答(true), 結果因為transmission error變成false, 因為這樣就少了一個解答。 不過可以利用基本的錯誤更正碼來避免啦, 這點我想程式撰寫者應該也有想到才對。 -- ※ 發信站: 批踢踢實業坊(ptt.cc) ◆ From: 218.160.158.91
文章代碼(AID): #12SIW4k3 (CSSE)
討論串 (同標題文章)
文章代碼(AID): #12SIW4k3 (CSSE)