[問題] 如何確定正確性

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