: 剛剛看到台大的 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