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

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

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

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

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

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