作者ccpz (....)
看板CSSE
標題[問題] 如何確定正確性
時間Thu Apr 28 17:42:19 2005
剛剛看到台大的 25-queen 想到的
像那種一台主機算出一些結果(ex:質數，n-queen)
之前又沒有算出來過，那是要如何驗證正確性呢?
我想到的是同一台電腦多跑幾次，不知道有沒有別的方法？
另外就是像seti 這類分散運算，要如何確保 client 回傳資料是正確的？
不會有人惡意傳錯誤的資料回去?
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 140.113.122.140
1F：推 ledia:一份 job 分給多人跑，看看一不一樣? 140.112.30.55 04/28
2F：推 Eventis:voting不是也一樣有風險@@? 140.116.49.80 04/28
3F：→ Eventis:對惡意傳送錯誤的結果來說,只要有機會成功. 140.116.49.80 04/28
4F：→ Eventis:所有的結果都會變成錯誤的吧? 140.116.49.80 04/28
5F：→ Eventis:似乎需要一些額外的假設做為verification的前題? 140.116.49.80 04/28
6F：推 xanthous2:n-queen解的正確性 並沒有驗證上的困難 140.113.209.32 04/28
7F：→ xanthous2:client該回傳的內容 我猜都要編碼(加密)過 140.113.209.32 04/28
8F：→ xanthous2:除非編碼的方式被破解 普通人大概偽造不出假的 140.113.209.32 04/28
9F：→ xanthous2:之前好像有人無聊 突破了seti的程式檢查 140.113.209.32 04/28
10F：→ xanthous2:分數一下衝很高 但被發現資料內容是空的 140.113.209.32 04/28
11F：→ xanthous2:補充第一句,n-queen困難在於找解 不在驗證解 140.113.209.32 04/28
12F：推 Eventis:這倒是,n-queen不需要跑出全部的解. 140.116.49.144 04/29
13F：→ Eventis:不過一般純粹把問題partition的分散式應用. 140.116.49.144 04/29
14F：→ Eventis:應該同樣會面臨相似的衝擊. 140.116.49.144 04/29
15F：→ Eventis:如果沒有其它認證與驗證的機制 140.116.49.144 04/29
16F：→ Eventis:為了validate計算的結果,說不定得耗上 140.116.49.144 04/29
17F：→ Eventis:比計算還要久的時間. 140.116.49.144 04/29