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

在做一道題的時(shí)候想起來(lái)的：

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

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

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

我們要做的，是先排除明顯不可能，再進(jìn)行驗(yàn)證