工程師追求的是結(jié)果的正確性，而數(shù)學(xué)家要的是過程的正確性。 過程可以不夠準確，但是可以用一些其他的辦法來保證結(jié)果的正確性。

在做一道題的時候想起來的：

在SMS4 的線性變換中，尋找分支數(shù)為5的變換。你在驗證變換的時候，其實無需考慮位模式為1111的數(shù)據(jù)（占了98%）。這在概率上 有很大的可能性：位模式為1111的輸入數(shù)據(jù)經(jīng)由線性變換不會產(chǎn)生位模式為0000的數(shù)據(jù)， 而且即使產(chǎn)生了，很很有可能在位模式為0000－1110的數(shù)據(jù)中也會有分支數(shù)小于5的數(shù)據(jù)。

如果從數(shù)學(xué)家的角度來想， 你必須進行證明；位模式為1111的輸入數(shù)據(jù)經(jīng)由線性變換不會產(chǎn)生位模式為0000的數(shù)據(jù)， 而且即使產(chǎn)生了，很很有可能在位模式為0000－1110的數(shù)據(jù)中也會有分支數(shù)小于5的數(shù)據(jù)。這兩個命題有一個能夠成立。

但是，從工程師的角度來講， 我們是可以純粹先忽略位模式為1111的數(shù)據(jù)，這樣子已經(jīng)可以排除很多可能性；剩下的再用位模式為1111的數(shù)據(jù)進行驗證即可。

我們要做的，是先排除明顯不可能，再進行驗證