作者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