吳媚

【摘 要】非常規(guī)邏輯問題需要非常規(guī)的特殊解法，本文就最常用的圖解法、賦值法、抽屜原理及邏輯推理等四種方法，結(jié)合實際例子作一些探討。

【關(guān)鍵詞】非常規(guī)問題;圖解;賦值;抽屜原理;邏輯推理

有一些數(shù)學(xué)問題，例如操作問題、邏輯推理問題等，不能用通常的數(shù)學(xué)方法來解;還有一些實際問題，研究的是事物的某種狀態(tài)或性質(zhì)，其本身與數(shù)量無關(guān)，也不能用通常的數(shù)學(xué)方法來解。人們習(xí)慣上將上述的這類問題稱為非常規(guī)邏輯問題。非常規(guī)邏輯問題近年來在各種數(shù)學(xué)競賽、數(shù)學(xué)建模競賽及數(shù)學(xué)知識應(yīng)用競賽等賽題中頻頻出現(xiàn)，特別是它與實際問題密切聯(lián)系，因此受到廣泛關(guān)注。

1 圖解法

例1（柳卡問題）：假設(shè)每天中午有一艘輪船由哈佛開往紐約，同時也有一艘輪船由紐約開往哈佛，航行時間都為七晝夜，且均沿同一航線航行。問今天中午從哈佛開出的一艘輪船將會遇到幾艘從紐約開來的同一公司的輪船？

這是19世紀(jì)在一次世界科學(xué)會議期間，法國數(shù)學(xué)家柳卡向在場的數(shù)學(xué)家們提出的一個問題，它難倒了在場的所有數(shù)學(xué)家，就連柳卡本人也沒有徹底解決。后來有一位數(shù)學(xué)家通過下面的圖解法，才使問題最終得到解決。

這種方法是：用兩條橫線分別表示紐約港和哈佛港，某天中午（記作第0天）從哈佛出發(fā)的輪船在第7天中午到達(dá)紐約，用從下到上的一條斜線表示。用從上到下的斜線依次表示每天中午由紐約開出的輪船經(jīng)7晝夜到達(dá)哈佛。顯然兩種斜線的交點總數(shù)就是相遇的輪船數(shù)，共15艘。

值得注意的是，上述圖解法，不但給出這一問題的一種簡單、美妙、不用數(shù)字計算的非常規(guī)解法，更有意義的是它可作為一種模型，來解決這一類型的問題， 請看下例：

例2：某路電車，由A站開往B站，每5分鐘發(fā)一輛車，全程為20分鐘。有一人騎車從B站到A站，在他出發(fā)時恰有一輛電車進(jìn)站，當(dāng)他到達(dá)A站時又恰有一輛電車出站，問：

（1）若騎車人在中途共遇到對面開來的10輛電車，則他出發(fā)后多少分鐘到達(dá)A站？

（2）如果騎車人由B站到A站共用50分鐘時間，則他一共遇到多少輛迎面開來的電車？

（3）若騎車人同某輛電車同時出發(fā)由A站返回B站，騎車人用40分鐘到達(dá)B站時也恰有一輛電車進(jìn)站，問在中途有多少輛電車超過他？

解：仿柳卡問題圖解法，畫出下面的圖：

由圖可知：（1）騎車人從B站總共遇到12輛從對面開來的電車到達(dá)A站所用的時間，恰好等于A站開出7輛車的時間，即35分鐘。

（2）若騎車人一共用50分鐘走完全程（即由0到10的那條由下到上的斜線），可知一共遇到15輛電車。

（3）由上到下畫一條斜線（由0到8）即表示騎車人由A站出發(fā)40分鐘后到達(dá)B站，可見中途共有3輛電車超過他。

2 賦值法

賦值法解題，是對本身與數(shù)量無關(guān)的問題巧妙地賦于某些特殊的數(shù)值（如±1、0與1等）將其轉(zhuǎn)化成數(shù)量問題，然后利用整除性、奇偶性或正負(fù)號等的討論，使問題得以解決。

例3：有11只杯子都口朝上放著，然后將它們?nèi)我夥紨?shù)只算一次操作（翻過的也可以再翻）。證明：無論操作多少次，都不能使11只杯子都口朝下。

解：將口朝上的杯子記為1，口朝下的記為-1，然后計算每操作一次后11只杯子乘積的正負(fù)號：

開始，11只杯子都口朝上，所以乘積的符號為：111=1

當(dāng)翻動n個杯子（n為偶數(shù)且n≤10）使其口朝下時，乘積的符號為：

111-n·（-1）n=1·1=1

繼續(xù)討論可知，無論n是小于11的什么偶數(shù)，乘積的正負(fù)號均為正，而11只杯子都口朝下時，乘積為（-1）11=-1，故不可能辦到。

本問題的一般結(jié)論是：奇數(shù)個杯子每次翻動偶數(shù)個或偶數(shù)個杯子每次翻動奇數(shù)個，都不能使所有杯子都口朝下。

3 抽屜原理

抽屜原理是證明“存在性”問題的有力工具，其最基本形式是：將n+1（或更多）個元素任意放入n個抽屜中，則至少有一個抽屜中至少有兩個（或更多）元素。抽屜原理的正確性簡單而顯然，但具體運用并不容易，困難之處在于怎樣設(shè)置抽屜，把一個實際問題轉(zhuǎn)化為抽屜原理問題。

例4：世界上任意6個人中，總有3個人，或彼此都認(rèn)識，或彼此都不認(rèn)識。

這是有名的Ramsey問題，要用抽屜原理來解。

對6個人中的任一個人，不妨設(shè)為A來說，除A外的其余5人可分為同A相識或不同A相識兩類（即兩個抽屜），由抽屜原理可知，至少有一類中至少有3個人。分別討論如下：

如果同A都認(rèn)識的那一類中至少有3人，若有3人互相都不認(rèn)識，則結(jié)論成立;否則至少有兩個人互相認(rèn)識，而這兩人又都同A認(rèn)識，故有3人互相認(rèn)識，結(jié)論也成立。

如果同A都不認(rèn)識的那一類中至少有3人，若其中有3人互相認(rèn)識，則結(jié)論成立;否則，至少有兩人彼此不認(rèn)識，但這二人又都與A互不認(rèn)識，故這時有3人互相不認(rèn)識，結(jié)論也成立。

此問題也可以用染色法來證明：

在平面上用A1，A2，…，A6來代表6個人，設(shè)它們無三點共線。將互相認(rèn)識的兩人連一條紅線，否則連一條藍(lán)線。問題就轉(zhuǎn)化為：在這15條連線中要證明至少有一個同顏色的三角形。

證明：考慮由A1出發(fā)的5條線，因為只有紅、藍(lán)兩種顏色（兩個抽屜），所以至少有3條為同色，不妨設(shè)A1A2、A1A3、A1A4為紅色。其次，再考慮△A2A3A4三邊的顏色，若均為藍(lán)色則結(jié)論成立（此三人互相不認(rèn)識）;否則，至少有一條邊為紅色，例如A2A3，則△A1A2A3的三邊都為紅色，結(jié)論也成立（此三人彼此都認(rèn)識）。

4 邏輯推理

有一些涉及邏輯推理方面的問題，可通過邏輯推理方法，將矛盾結(jié)論排除，找出合理結(jié)論。推理順序有順推法和逆推法。

例5：要分派A、B、C、D、E五人去執(zhí)行一項任務(wù)，但按實際情況必須滿足以下條件：

（1）若A去，B也去;

（2）B、C兩人中至少有一人去;

（3）B、C兩人中必須去且只能去一人;

（4）C、D都去或都不去;

（5）E若去，則A、D都去。

問：應(yīng)派誰去？

解：（逆推）：

若E去→A、D都去→B去→C不去→D不去，導(dǎo)自矛盾。

所以E不能去。E不去→D去→C去→B不去→A不去，符合所有條件。

∴應(yīng)當(dāng)派C、D去。

例6：有4個人對話：甲說：我們當(dāng)中只有一個人說假話。乙說：我們當(dāng)中僅有兩個人說假話。丙說：我們當(dāng)中恰有三個人說假話。丁說：我們都說假話。試問：到底誰說的是真話？

解：因為四個人說的話彼此矛盾，所以不會有兩個人都說真話，至多有一個人說真話。

但四個人不都說假話（因為這時丁說的就是真話）。

由上推理可知，恰有一個人（即丙）說真話，其他人都說假話。

【參考文獻(xiàn)】

[1]伯納·派頓，黃煜文.身邊的邏輯學(xué)[M].中信出版社，2011.

[2]余亞杰.邏輯思維訓(xùn)練大全集[M].同心出版社，2012.

[3]邢群麟，王艷明.一看就懂邏輯思維（圖解）[M].立信會計出版社，2010.

[責(zé)任編輯：薛俊歌]