張愛華

華中科技大學(xué)計算機(jī)科學(xué)與技術(shù)學(xué)院 武漢 430074

離散數(shù)學(xué)是信息學(xué)科尤其是計算機(jī)學(xué)科的一門重要的專業(yè)基礎(chǔ)課程，它的主要研究對象是離散結(jié)構(gòu)及其應(yīng)用，為計算機(jī)理論和應(yīng)用提供必不可少的數(shù)學(xué)基礎(chǔ)及思維方法。其理論和方法大量地應(yīng)用在數(shù)字電路、編譯原理、數(shù)據(jù)結(jié)構(gòu)、操作系統(tǒng)、數(shù)據(jù)庫系統(tǒng)、算法的分析與設(shè)計、人工智能、計算機(jī)網(wǎng)絡(luò)等專業(yè)課程中，同時也為計算機(jī)應(yīng)用提供必要的數(shù)學(xué)工具。

然而，該學(xué)科的知識點分散、概念抽象，給學(xué)生學(xué)習(xí)和理解帶來很大困難。如何學(xué)好這門課，對計算機(jī)學(xué)科的學(xué)生來說顯得特別重要；如何教好離散數(shù)學(xué)，從而提高教學(xué)質(zhì)量，是有關(guān)教師應(yīng)該努力探討和研究的。

本文主要探討離散數(shù)學(xué)中關(guān)系的教學(xué)方法，期望對類似的問題能有參考意義。

1 關(guān)系的重要性

關(guān)系是離散數(shù)學(xué)中用來刻畫事物之間聯(lián)系的一個重要的概念，在計算機(jī)科學(xué)與技術(shù)領(lǐng)域中有著廣泛的應(yīng)用。關(guān)系數(shù)據(jù)庫模型就是以關(guān)系及其運算作為理論基礎(chǔ)的[1]。圖論中的一個圖，實際上也就是相關(guān)對象集合上的一個關(guān)系。正確理解關(guān)系的概念以及關(guān)系模型，對于利用關(guān)系模型來進(jìn)行數(shù)學(xué)建模尤其重要。

2 關(guān)系的定義及集合表示

定義1：（二元關(guān)系）假設(shè)A和B是兩個集合，A與B的笛卡爾積A×B的一個子集合，叫做一個A到B的二元關(guān)系[2]。

定義2：（多元關(guān)系）假設(shè)A1，A2，…An是n個集合，它們的笛卡爾積A1×A2×…×An的一個子集合，叫做一個A1，A2，…An間的一個n元關(guān)系[3]。

以上的兩個定義分別是二元關(guān)系和多元關(guān)系的定義，但無論是哪個定義，都似乎跟實際中的關(guān)系有很大距離，學(xué)生很難想象如何將實際中的關(guān)系跟這些個抽象的定義聯(lián)系起來，他們必然要問：為什么要這樣定義關(guān)系？

現(xiàn)實中的關(guān)系一般指事物之間或者對象之間的某種或者某些聯(lián)系，這些對象之間的關(guān)系，也同樣可以說是集合的元素之間的關(guān)系，以下是一些實際關(guān)系的例子。

【例1】四支球隊a、b、c及d隊，他們之間進(jìn)行了一些比賽，以下一張表格記錄了他們之間的比賽結(jié)果——勝負(fù)關(guān)系：a勝b、b勝c、c勝a、d勝a、d勝b、d又勝了c。為了簡單起見，用（a，b）來表示a勝b，于是可以將所有勝負(fù)重新記錄表示成{（a，b），（b，c），（c，a），（d，a），（d，b），（d，c），（d，b）}。這就是一張勝負(fù)表，該表清楚地表現(xiàn)了這四個隊a、b、c、d之間的勝負(fù)關(guān)系，它就是這四個隊之間的一個關(guān)系——比賽勝負(fù)關(guān)系。

當(dāng)用集合S表示4個隊時，S={a，b，c，d}，那么勝負(fù)關(guān)系表{（a，b），（b，c），（c，a），（d，a），（d，b），（d，c），（d，b）}就是S與S的笛卡爾積S×S的一個子集。也就是說用這個子集合表示了這四個隊之間的某輪比賽的勝負(fù)關(guān)系。

【例2】一個電話號碼簿，它里面記錄了很多單位或個人的一些電話號碼。不難理解，一個號碼本就是一個集合。這個號碼本也就是這個集合表示了人和單位跟一些電話號碼之間的一種關(guān)系，它是一個實實在在的關(guān)系。如果用A表示所有有關(guān)的單位和人的集合，用B表示所有相關(guān)的電話號碼的集合，簡單地用（a，b）表示a的電話號碼是b，其中a∈A，b∈B分別表示A中的一個元素（單位或者人）和B中的一個號碼。那么所有這些有關(guān)的序?qū)Γ╝，b）就構(gòu)成電話號碼本，就構(gòu)成這個號碼集合?？梢钥闯鲞@個集合正好是A與B的笛卡爾積A×B的一個子集。當(dāng)有人或有單位的號碼發(fā)生變化，這個號碼本也相應(yīng)地發(fā)生變化，變成另外一個號碼本，也就是另外一個集合，另外一個子集合，但仍然是A×B的一個子集。

【例3】（學(xué)生、課程、成績之間的關(guān)系）假設(shè)用集合A表示某大學(xué)計算機(jī)學(xué)院的所有學(xué)生，B集合表示計算機(jī)學(xué)院的所有課程，C集合表示不大于100的非負(fù)整數(shù)的集合，那么學(xué)生張三的離散數(shù)學(xué)考試成績是95分，就可以表示成（張三，離散數(shù)學(xué)，95）。將計算機(jī)學(xué)院所有學(xué)生所有課程的這樣的記錄放在一起，就是一張成績表，也就是教務(wù)管理中的成績庫。那么這個成績庫就是一個集合，這個集合表示的是計算機(jī)學(xué)院學(xué)生，課程和成績?nèi)咧g的一個關(guān)系。而這個集合恰好是集合A、B、C的笛卡爾積A×B×C的一個子集。

以上三個例子都說明了同一個問題：無論是一個集合內(nèi)部元素之間的關(guān)系，還是不同集合的元素之間的關(guān)系，還是多個集合元素之間的關(guān)系，都可以表示成相關(guān)集合的笛卡爾積的子集。把笛卡爾積的子集當(dāng)成一個數(shù)學(xué)模型，那就可以用這個數(shù)學(xué)模型來表示關(guān)系，包括二元關(guān)系和多元關(guān)系[4]。

3 抽象關(guān)系的具體解釋

設(shè)集 合 A={a，b，c，d}，S={（a，b），（c，d）}，顯然 S ? A × A ，那么根據(jù)定義1，S是A集合到A集合自身的一個二元關(guān)系。這個關(guān)系看似是抽象的，但當(dāng)給a、b、c、d賦予具體的含義，分別表示成張三、李四、王五和趙六4個人，而（x，y）表示為x與y是朋友，那么二元關(guān)系S就表示成4個人之間具有的一個朋友關(guān)系。其中，張三跟李四是朋友，王五跟趙六也是朋友，但其他人之間都不是朋友。即便是空集 φ ?A×A ，即空關(guān)系，在這里可以理解為集合A的人之間沒有人有朋友關(guān)系。

當(dāng)然根據(jù)不同的情況，也可以給出另外的含義和解釋。比如說a=5、b=10、c=3、d=9，那么上面的關(guān)系S可以解釋為集合A={5，10，3，9}中元素間的整除關(guān)系。

這個例子說明，一些集合的笛卡爾積的任何一個子集，也即任一個關(guān)系，都可以在某些場合中解釋對應(yīng)為實際的關(guān)系。

4 結(jié)論

綜合上面所述，任何一個現(xiàn)實中的具體的關(guān)系，都可以用一個笛卡爾積的子集這個數(shù)學(xué)模型表示出來；任一個抽象的關(guān)系，在給集合的元素賦予具體的含義后，都可以對應(yīng)地解釋為一個實際問題中的具體關(guān)系。這樣就建立起來笛卡爾積子集跟關(guān)系之間的聯(lián)系，學(xué)生再來理解關(guān)系的概念也就不再有難度了。通過這樣講解后，也能給學(xué)生如何利用數(shù)學(xué)模型、數(shù)學(xué)工具表示實際問題的體會。

5 教學(xué)中的幾點建議

1）離散數(shù)學(xué)概念繁多，而且抽象。教學(xué)時，最好多講一些相關(guān)的應(yīng)用背景知識，提高學(xué)生的學(xué)習(xí)興趣和積極性。然后多舉一些實際的例子，講解從具體實例抽象到數(shù)學(xué)模型、數(shù)學(xué)概念的演繹過程，對學(xué)生學(xué)習(xí)理解抽象的數(shù)學(xué)概念，提高抽象思維能力是很有幫助的，同時對于學(xué)生以后學(xué)習(xí)數(shù)學(xué)建模也是很有用的。

2）鼓勵學(xué)生自己舉例，能夠加深對知識的理解，同時提高學(xué)生應(yīng)用知識的能力。

[1]屈婉玲,耿素云,張立昂.離散數(shù)學(xué)[M].2版.北京:清華大學(xué)出版社,2009.

[2]Rosen K H. Discrete mathematics and Its Applications[M].4版.北京:機(jī)械工業(yè)出版社,2007.

[3]洪凡.離散數(shù)學(xué)基礎(chǔ)[M].3版.武漢:華中科技大學(xué)出版社,2008.

[4]Simpson A. Discrete Mathematics by Example[M].McGraw-Hill High Education,2002.