張愛平，李 強(qiáng)，陳志彬

(湖南工業(yè)大學(xué)理學(xué)院，湖南株洲412000)

在20世紀(jì)50年代，美國(guó)心理學(xué)家吉爾弗德在創(chuàng)造性思維方面作了深入的研究，認(rèn)為創(chuàng)造性思維包括發(fā)散性思維、收斂性思維和直覺性思維等形式。教師若能在教學(xué)中巧妙地利用富有創(chuàng)新性的教學(xué)內(nèi)容訓(xùn)練學(xué)生的創(chuàng)造性思維，則能充分發(fā)揮教育的功能，調(diào)動(dòng)學(xué)生的學(xué)習(xí)積極性，激發(fā)學(xué)生的創(chuàng)造性，發(fā)展學(xué)生的創(chuàng)造能力。發(fā)掘Kruskal“避圈法”求最優(yōu)樹的方法，以此為實(shí)施創(chuàng)造性教育的典型題材，對(duì)學(xué)生開展多種創(chuàng)造性思維形式的訓(xùn)練，這是研究性教學(xué)的一種嘗試。筆者試圖將創(chuàng)新的思想融入教學(xué)中，通過設(shè)置教學(xué)的問題情境，引導(dǎo)學(xué)生推廣“避圈法”求最優(yōu)樹的方法，探索研究性教學(xué)的有效途徑，有效實(shí)施創(chuàng)造性教育。

一 實(shí)例引入及基本概念

例1在n個(gè)城市之間架設(shè)通訊線路，要求給出一個(gè)設(shè)計(jì)方案使得n個(gè)城市聯(lián)系起來，且總造價(jià)最少。

在現(xiàn)實(shí)生活中有許多這種類似的問題，如果用點(diǎn)表示城市，架設(shè)在城市之間的通訊線路用帶權(quán)的邊表示，則得到一個(gè)n階賦權(quán)圖，即關(guān)于n個(gè)城市的通訊網(wǎng)絡(luò)圖。這個(gè)最佳設(shè)計(jì)方案，用圖論的語言描述即歸結(jié)為在n階的賦權(quán)連通圖中求一棵最優(yōu)樹的問題。

定義1 設(shè)G=[V，E]表示結(jié)點(diǎn)集為V，邊集為E的無向圖，稱圖 G中結(jié)點(diǎn)與邊的交替序列 Γ =vi0ej0vi1ej1…ejlvil為vi0到vil的通路，如果起點(diǎn)vi0與終點(diǎn)vil重合即vi0=vil，則稱Γ為回路。

定義2 連通無回路的無向圖稱為無向樹，用符號(hào)T表示。

定義3 設(shè)無向連通帶權(quán)圖G=[V，E，W]，T是G的一棵生成樹，T的各邊權(quán)之和稱為T的權(quán)，記作W(T);圖G的所有生成樹中權(quán)最小的生成樹稱為圖G的最小生成樹;圖G在T中的邊稱為T的樹枝，不在T中的邊稱為T的弦。

定理［1］1 設(shè)G=[V，E]是n階m條邊的無向圖，則下面命題是等價(jià)的:

(1)G是樹。

(2)G中任意兩個(gè)結(jié)點(diǎn)之間存在唯一的路徑。

(3)G中無回路且m=n－1。

(4)G中無回路，但在任意兩個(gè)不同的結(jié)點(diǎn)之間加一條新邊后所得圖中有唯一的含有新邊的一個(gè)回路。

二 設(shè)置問題情境，培養(yǎng)學(xué)生的創(chuàng)造性思維

1956年Kruskal給出了用“避圈法”求最小生成樹的一個(gè)算法，算法第一步:首先將具有n個(gè)結(jié)點(diǎn)m條邊的帶權(quán)簡(jiǎn)單連通圖G=[V，E，W]中的各條邊，按權(quán)從小到大依次序排列，如W(e1)≤W(e2)≤…≤W(em)，其中e1的權(quán)最小，em的權(quán)最大;第二步:取權(quán)最小的兩條邊構(gòu)成邊集T0={e1，e2}，再?gòu)牡谌龡l邊e3開始，按次序逐個(gè)將各邊加進(jìn)T0中去，如果出現(xiàn)回路，則將這條邊放棄不加進(jìn)邊集T0中，按此法一直進(jìn)行到T0中的邊數(shù)共計(jì)n－1條為止，則T0導(dǎo)出的邊子圖就是圖G的最小生成樹。

定理［1］2 “避圈法”對(duì)于帶權(quán)簡(jiǎn)單連通圖 G=[ V，E，W ]，按Kruskal“避圈法”導(dǎo)出的邊子圖T0是圖G的一棵最小生成樹，且其算法如下:

(1)在圖G的邊集E中選擇一條邊ei;

(2)若選好邊集 Ei= {e1，e2，…ei}，則從邊集E－Ei中選取邊ei+1，其中邊ei+1滿足:

(ⅰ)邊導(dǎo)出圖G[ Ei∪ {ei+1}]無圈;

(ⅱ)W(ei+1)是符合(ⅰ)的條件下盡可能小的權(quán);

(3)到第二步不能再進(jìn)行時(shí)則停止。

求最小生成樹的Kruskal“避圈法”直觀明了，目前國(guó)內(nèi)的《離散數(shù)學(xué)》教材向?qū)W生介紹的都是這種方法。該方法在不構(gòu)成回路的條件下優(yōu)先選擇圖G中權(quán)盡可能小的邊成為T0的邊，體現(xiàn)的是一種有序優(yōu)化構(gòu)造的思想，對(duì)學(xué)生的思維具有啟發(fā)性;對(duì)于這個(gè)知識(shí)點(diǎn)的教學(xué)可以通過設(shè)疑，向?qū)W生發(fā)問，引導(dǎo)學(xué)生思考求最優(yōu)樹的方法;在引導(dǎo)學(xué)生對(duì)構(gòu)成最優(yōu)樹要素直觀認(rèn)識(shí)的基礎(chǔ)上，鼓勵(lì)學(xué)生求同存異，積極開展發(fā)散性思維、收斂性思維和直覺性思維。

問題1 如果將Kruskal“避圈法”中圖G的邊由小到大排序改為由大到小排序，即優(yōu)先有序選擇圖G中盡可能大的邊，同學(xué)們?nèi)绾吻髱?quán)簡(jiǎn)單連通圖G=[V，E，W]的最小生成樹?

問題2 類似Kruskal“避圈法”同學(xué)們能使用“破圈法”求帶權(quán)簡(jiǎn)單連通圖G=[V，E，W ]的最小生成樹嗎?

問題3 用“避圈法”和“破圈法”求帶權(quán)簡(jiǎn)單連通圖G=[V，E，W]的最小生成樹還有其它算法嗎?

以上的教學(xué)過程遵循呈現(xiàn)問題、解決問題和發(fā)現(xiàn)問題的途徑向?qū)W生展開，這樣做能較好地把發(fā)展學(xué)生的創(chuàng)造性思維與解決問題獲得知識(shí)緊密結(jié)合起來。下面是引導(dǎo)學(xué)生獲得的關(guān)于Kruskal“避圈法”推廣后的一些命題，其證明方法富有思想啟迪性，對(duì)學(xué)生的思維具有啟發(fā)性，是有序優(yōu)化方法的具體應(yīng)用。

命題1若將圖G的邊由大到小排序，則可用“破圈法”求帶權(quán)簡(jiǎn)單連通圖G=[V，E，W]的最小生成樹，其算法過程表述為:

第一步:首先將具有n個(gè)結(jié)點(diǎn)m條邊的帶權(quán)簡(jiǎn)單連通圖G=[V，E，W]中的各條邊，按權(quán)從大到小依次序排列，如W(e1)≥W(e2)≥…≥W(em)，其中e1的權(quán)最大，em的權(quán)最小;

第二步:取權(quán)最大的邊e1，如果圖G=[V，E，W]中存在含有邊e1的圈，則刪去邊e1，得到邊集E1={e1}，否則保留邊e1，得到子圖G1;

第三步:按邊的次序進(jìn)行到第i步，如果在圖Gi－1中存在含有邊ei的圈，則刪去邊ei，得到邊集Ei=Ei－1∪{ei}，否則保留邊ei，得到子圖Gi，按此法一直進(jìn)行到Ei中的邊數(shù)共計(jì)m－n+1條為止，則子圖Gi就是圖G的最小生成樹。

證明設(shè)n個(gè)結(jié)點(diǎn)m條邊的帶權(quán)簡(jiǎn)單連通圖G的最小生成樹為T，用“破圈法”得到的生成樹為T0，若能證明T0的權(quán)與T的權(quán)相同，則T0是圖G的一棵最小生成樹。

首先將T0的邊按權(quán)由大到小排列，不妨設(shè)為T0={e1，e2，…en－1}，下面分兩種情形證明T0是圖G的一棵最小生成樹:

(ⅰ)當(dāng)T0與T無公共邊時(shí):將T0中的最大邊e1加到T上，由定理1可知必存在一條包含e1的唯一的回路C;在回路C中必存在一條異與e1不是T0的邊a且W(a)≥W(e1)，否則，在構(gòu)造T0時(shí)e1?T0;將邊a刪除，得到一棵新的生成樹T1=T∪{e1}－{a}且樹的權(quán)為

由于T是最小生成樹，即有W(T1)≥W(T)，結(jié)合(1)式得W(e1)=W(a)，這樣T1是一棵最小生成樹，且與T0有一條公共邊e1;用T1取代T，再將e2加到T上，同理可得一棵新的生成樹T2且T2∩T0={e1，e2}，即T2與T0有兩條公共邊。

根據(jù)以上分析作一歸納假設(shè):設(shè)T0與T有i條權(quán)是相繼遞減的公共邊，不妨設(shè)為e1，e2，…ei(1≤i≤n－1)，對(duì)于不在T中而在T0中的第i+1條邊ei+1加到T上，由定理1可知必存在一條包含ei+1的唯一的回路C;在回路C中至少存在一條異與 e1，e2，…ei不是 T0中的邊 b且 W(b)≥W(ei+1)，否則，在構(gòu)造 T0時(shí) e1，e2，…ei，ei+1中至少有一條邊不在T0中;將b刪除，得到一棵新的生成樹Ti+1=T∪{ ei+1}－且樹的權(quán)為

由于T是最小生成樹，即有W(Ti+1)≥W(T)，結(jié)合(2)式得W(ei+1)=W(b)，這樣Ti+1是一棵最小生成樹，且與 T0有 i+1 條公共邊 e1，e2，…ei，ei+1;用 Ti+1取代 T，重復(fù)以上過程直到T與T0有n－1條公共邊為止，得到T0與T有權(quán)完全相同的邊序列，于是T0也是圖G的一棵最小生成樹。

(ⅱ)當(dāng)T0與T有不是權(quán)相繼遞減的公共邊時(shí):令，不妨設(shè)f(T)=k≥1，這表明ei∈T0∩T(i=1，2，…k－1)即邊的權(quán)相繼遞減，但邊ek∈T0而ek?T;類似情形(ⅰ)的證明，將邊ek加到T上，由定理1可知必存在一條包含ek的唯一的回路C，在回路C中至少存在一條異與e1，e2，…ek－1不是T0中的邊g且W(g)≥W(ek)，于是得到一棵新的生成樹Tk=T∪{ek}－{ g}且樹的權(quán)為

由于T是最小生成樹，即有W(Tk)≥W(T)，結(jié)合(3)式得W(ek)=W(g)，這樣Tk是一棵最小生成樹，且與T0有k條權(quán)公共邊e1，e2，…ek;用Tk取代T，重復(fù)以上過程，可以保證公共邊的權(quán)為相繼遞減直到T與T0有n－1條公共邊為止，得到T0與T有權(quán)完全相同的邊序列，于是T0也是圖G的一棵最小生成樹。

在教學(xué)中以命題的形式啟發(fā)學(xué)生解決問題，然后在解決問題中讓學(xué)生發(fā)現(xiàn)問題，這是開展研究性數(shù)學(xué)教學(xué)不可缺少的一個(gè)重要環(huán)節(jié)。在定理2和命題1的基礎(chǔ)上，圍繞“避圈法”“破圈法”進(jìn)一步激發(fā)學(xué)生的發(fā)散思維和直覺思維，引導(dǎo)學(xué)生思考求最優(yōu)樹的方法，不難會(huì)獲得下面的兩個(gè)命題:

命題［2］2 若不對(duì)圖G的邊排序，則同樣可用“破圈法”求帶權(quán)簡(jiǎn)單連通圖G=[V，E，W ]的最小生成樹，其算法表述為:

第一步:任取G中的一個(gè)回路，刪除這個(gè)回路中權(quán)最大的邊得到子圖G1;

第二步:再在G1中任取一個(gè)回路，刪除這個(gè)回路中權(quán)最大的邊得到子圖G2;

第三步:如此下去進(jìn)行到第i步得到子圖Gi，在Gi中任取一個(gè)回路，刪除這個(gè)回路中權(quán)最大的邊得到子圖Gi+1，直到子圖Gi+1無回路為止，則子圖Gi+1是圖G的最小生成樹。

命題3若任意選取圖G中的結(jié)點(diǎn)而不是回路，則可用“避圈法”求帶權(quán)簡(jiǎn)單連通圖G=[V，E，W]的最小生成樹，其算法表述為:

第一步:置邊集T為空集:

第二步:任選取圖G中的一個(gè)結(jié)點(diǎn)vi1，得結(jié)點(diǎn)集合V1={}與=V－V1，在圖G中，選取結(jié)點(diǎn)集合V1到中相關(guān)聯(lián)的權(quán)盡可能小的邊(vi1，vvi2，)，并將此邊放入T中，結(jié)點(diǎn)放入V1中，此時(shí)結(jié)點(diǎn)集合

第三步:在圖G中選取結(jié)點(diǎn)v∈V1，u∈的權(quán)盡可能小的邊(v，u)且與原T中的邊不構(gòu)成回路，同樣將此邊放入T中，結(jié)點(diǎn)u放入V1中;如此繼續(xù)直到V1=V，得到邊集T的邊導(dǎo)出圖則是圖G的最小生成樹。

命題2與命題3的證明類似命題1，故略去。

三 結(jié)語

總之，若能運(yùn)用知識(shí)的多樣性，選擇與現(xiàn)實(shí)生活聯(lián)系密切、富有思想性的內(nèi)容實(shí)施研究性教學(xué)，則能較好地激發(fā)學(xué)生探索問題的興趣，讓學(xué)生逐步形成辯證思考問題的思維習(xí)慣，啟迪他們的創(chuàng)造性思維，提高他們的創(chuàng)新能力;在解決問題中，讓他們能較好地發(fā)現(xiàn)條件與結(jié)論、知識(shí)與方法之間的內(nèi)在聯(lián)系，獲得解決問題的正確方法。以上關(guān)于Kruskal“避圈法”開展研究性教學(xué)內(nèi)容的嘗試，旨在拋磚引玉。

［1］屈婉玲，耿素云，張立昂.離散數(shù)學(xué)［M］.北京:高等教育出版社，2007.

［2］陳正一.破圈法求最優(yōu)樹的一個(gè)簡(jiǎn)單證明［J］.哈爾濱船舶工程學(xué)院學(xué)報(bào)，1990，11(4):236 －237.

［3］張德琇.創(chuàng)造性思維的發(fā)展與教學(xué)［M］.長(zhǎng)沙:湖南師范大學(xué)出版社，1990.