工程师追求的是结果的正确性,而数学家要的是过程的正确性。 过程可以不够准确,但是可以用一些其他的办法来保证结果的正确性。
在做一道题的时候想起来的:
在SMS4 的线性变换中,寻找分支数为5的变换。你在验证变换的时候,其实无需考虑位模式为1111的数据(占了98%)。这在概率上 有很大的可能性:位模式为1111的输入数据经由线性变换不会产生位模式为0000的数据, 而且即使产生了,很很有可能在位模式为0000-1110的数据中也会有分支数小于5的数据。
如果从数学家的角度来想, 你必须进行证明;位模式为1111的输入数据经由线性变换不会产生位模式为0000的数据, 而且即使产生了,很很有可能在位模式为0000-1110的数据中也会有分支数小于5的数据。这两个命题有一个能够成立。
但是,从工程师的角度来讲, 我们是可以纯粹先忽略位模式为1111的数据,这样子已经可以排除很多可能性;剩下的再用位模式为1111的数据进行验证即可。
我们要做的,是先排除明显不可能,再进行验证
全部0条评论
快来发表一下你的评论吧 !