[問題] 如何確定正確性

[ccpz (....)]

剛剛看到台大的 25-queen 想到的
像那種一台主機算出一些結果(ex:質數，n-queen)
之前又沒有算出來過，那是要如何驗證正確性呢?
我想到的是同一台電腦多跑幾次，不知道有沒有別的方法？

另外就是像seti 這類分散運算，要如何確保 client 回傳資料是正確的？
不會有人惡意傳錯誤的資料回去?

--
※ 發信站: 批踢踢實業坊(ptt.cc) 
◆ From: 140.113.122.140
推 ledia:一份 job 分給多人跑，看看一不一樣?
推 Eventis:voting不是也一樣有風險@@?
→ Eventis:對惡意傳送錯誤的結果來說,只要有機會成功.
→ Eventis:所有的結果都會變成錯誤的吧?
→ Eventis:似乎需要一些額外的假設做為verification的前題?
推 xanthous2:n-queen解的正確性 並沒有驗證上的困難
→ xanthous2:client該回傳的內容 我猜都要編碼(加密)過
→ xanthous2:除非編碼的方式被破解 普通人大概偽造不出假的
→ xanthous2:之前好像有人無聊 突破了seti的程式檢查
→ xanthous2:分數一下衝很高 但被發現資料內容是空的
→ xanthous2:補充第一句,n-queen困難在於找解 不在驗證解
推 Eventis:這倒是,n-queen不需要跑出全部的解.
→ Eventis:不過一般純粹把問題partition的分散式應用.
→ Eventis:應該同樣會面臨相似的衝擊.
→ Eventis:如果沒有其它認證與驗證的機制
→ Eventis:為了validate計算的結果,說不定得耗上
→ Eventis:比計算還要久的時間.