工程师追求的是结果的正确性，而数学家要的是过程的正确性。 过程可以不够准确，但是可以用一些其他的办法来保证结果的正确性。

在做一道题的时候想起来的：

在SMS4 的线性变换中，寻找分支数为5的变换。你在验证变换的时候，其实无需考虑位模式为1111的数据（占了98%）。这在概率上 有很大的可能性：位模式为1111的输入数据经由线性变换不会产生位模式为0000的数据， 而且即使产生了，很很有可能在位模式为0000－1110的数据中也会有分支数小于5的数据。

如果从数学家的角度来想， 你必须进行证明；位模式为1111的输入数据经由线性变换不会产生位模式为0000的数据， 而且即使产生了，很很有可能在位模式为0000－1110的数据中也会有分支数小于5的数据。这两个命题有一个能够成立。

但是，从工程师的角度来讲， 我们是可以纯粹先忽略位模式为1111的数据，这样子已经可以排除很多可能性；剩下的再用位模式为1111的数据进行验证即可。

我们要做的，是先排除明显不可能，再进行验证