作者klain (klain)
看板CSSE
标题Re: [问题] 如何确定正确性
时间Fri Apr 29 02:18:59 2005
: 刚刚看到台大的 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