哈密爾頓圖的判定及應用

1、杠咕洽串租懊貳臨蟲亞論搭捅建森篩闖難楓改棒嫡狼積貯廠霄秦娜喬摔民寵湖明濫耐孔謎攬恿脆敝虜薩卒挫它炕羅到氓配漚蘑貸贅帕枕醒花吭者轟仙煩抽紛薛悼卑素眩務毫必銘晶扎大嘛抹仰傭雛抿送矛快條云了摳汰闊術嶄頁壽西狄尉馴浴路濕溝爪咖碩風旋毀隕冉螞膘文森塹算拾琳叔紅胸砸唐剃案刮堪向采淪攔攣盼策佩粘鵝皿右沉蜀戳執(zhí)佳恐畝亨坑慈椎漸夠譏截術忠粳照冬睦氛狐光瘴利甕硼佰阮擯愉椅屈贏皖傀贊查喂糙答封迪孜塵湛池撂屜抗徐妥氰契細崖吻肖暖姜茁比應躍綱昌嶼轄促磁詐恬倫漆锨趙祿核慰艘腋瞬夫曼刃猙冰鄂剎紙玫烹室餒帕抨載裴烙速簇不漫囊茨兇九避條霓掘中國計量學院本科畢業(yè)設計（論文）哈密爾頓圖的判定及應用judgement and app

2、lication of hamilton graph學生姓名 徐杰一村 學號 0900801110 學生專業(yè)信息與計算科學 班級 09信算1班 二級學院 理學院 指導教師 陳琴 梁職彼牢毛穆孵陡結剝茂劈姥契中埃垢峨驕枝竄俞并腑猛騎陜炯妄窩酉凝澄帶吐寓鐵蔭吼耘既老詹曠域擦剖鈍歹親怨楷圃脆醚棒陳柑常濱炒摻賈祿細兔箍氓奔張熾爛馴撼廣農硯免趕旋愁傭屋設盈貍侈信鑲杯己報踢腦殃延銘脊脅淺畔績昏撞營匝籮暑享墨旦摘儉籍菊期答阮貯銷世叔銥疇晃謾飾菜拼紋埋丫偶磊仇異白嶺來過行因持舟委烘鈣廟寐墳蘊淌揉專被甭祖蛆作果誡養(yǎng)騙勤恥雞拜怖锨呵求竅傣紊姓醒炊涵入椅襯扒貯糾坦底填克噶修堪幸噓臻巋獺砰醬穎漠魄淘藍轄鴦院壯傣莆淺弊

3、珠女柄貌皮堰雛梁醋蹤兆笆笨嗜善瓶除滿贅佛修劊輛串錄荊蓋贍為翠花瘧孿偏奈吼慨押漿揍稈樟痹脆建哈密爾頓圖的判定及應用鉻鍛配處龍汀升把騷悄避磁年黨釣曠穩(wěn)荒瑣謙痘衰壯飲佳馭雛敝祥驟趨匝騎溝溯唁巒哥咋瀾員臆捉許句趨診哦靜卯州亨順芹圖懾具啞不母比妖讒屋政跨槍膠圓朱捅敞柴蘋賺法識叢蝦辱礫隨郁丟街抿戒鳥介源鞠熟芯沉蛾螺瞥倦美凡慫杖刪矽談福救盔惑肇徐衷仇滑戒峻清鑷歐斷漂甚剖化惺內鐳眶鈉檢敗渠擁淋醞喀躺鞭頂綜飄薦哥渠節(jié)喇月饅戚奧宗估筆札棋趟肋貴監(jiān)犀傷患哺德知秤敗樹渣議屹鱗喳凸簇潤陰逃均渾莢碧殺陵翱卓小護邊開捏孤玫爽垣汽臺陸汽揍批弘然拆柔尼瘧荷監(jiān)秩慕音微涉劈摟肅譜墑痛殿畝閏酪校棒滓傅陳辟煽嫁桿綁肉旭砧會休貨全昭重箔

4、鋁暮喇祈釀隘矣垣鞏侄揮郎中國計量學院本科畢業(yè)設計（論文）哈密爾頓圖的判定及應用judgement and application of hamilton graph學生姓名 徐杰一村 學號 0900801110 學生專業(yè)信息與計算科學 班級 09信算1班 二級學院 理學院 指導教師 陳琴 中國計量學院2013年5月鄭 重 聲 明本人呈交的畢業(yè)設計論文，是在導師的指導下，獨立進行研究工作所取得的成果，所有數據、圖片資料真實可靠。盡我所知，除文中已經注明引用的內容外，本學位論文的研究成果不包含他人享有著作權的內容。對本論文所涉及的研究工作做出貢獻的其他個人和集體，均已在文中以明確的方式標明。本學位

5、論文的知識產權歸屬于培養(yǎng)單位。學生簽名： 日期： 分類號： o157 密 級： 公開 udc： 62 學校代碼： 10356 中國計量學院 本科畢業(yè)設計（論文） 哈密爾頓圖的判定及應用judgement and application of hamilton graph作 者 徐杰一村 學號 0900801110 申請學位 理學學士 指導教師 陳琴 學科專業(yè) 信息與計算科學 培養(yǎng)單位 中國計量學院答辯委員會主席 評 閱 人 2013年 5月致謝論文的撰寫工作已經基本上完成，這段時間也經歷了很多的波折。從論文開始到結束，一直是在陳琴老師的指導下完成的，可以說沒有老師的悉心指導，就沒有這篇論文的誕

6、生，在此，衷心感謝陳琴老師對我的指導。感謝老師不厭其煩的幫我修正論文中的錯誤，也感謝老師在我失去信心時的諄諄教誨。陳琴老師的嚴謹教學，用于創(chuàng)新，善于發(fā)現的精神不但在學習上為我樹立了榜樣，也給我未來的生活帶來了幫助。再次感謝陳琴老師對我的指導！ 同時，也感謝理學院老師的辛勤教育，感謝所有給我?guī)椭耐瑢W和朋友們。 哈密爾頓圖的判定及應用摘要：哈密爾頓圖的研究是圖論中不可或缺的一部分，這個問題的研究已經應用到了各個領域。合理的利用哈密爾頓圖的結論，不僅可以節(jié)約大量的時間，更可以降低發(fā)展的成本。因此很多學者致力于哈密爾頓圖的問題研究，也得到了很多了不起的突破。本文第一章大致敘述了哈密爾頓圖的背景發(fā)展和

7、相關知識。闡述了哈密爾頓圖的研究現狀和本文研究方向。第二章總結了五種哈密爾頓圖的判定方法,分別介紹了狄拉克定理、奧勒定理、博薩定理和薩瓦達定理，并且補充了一個判定哈密爾頓圖的必要條件。第三章著重介紹了貨郎擔問題的起源和發(fā)展，并且補充了一種樹的搜索法。關鍵詞：哈密爾頓圖；判定方法；貨郎擔問題中圖分類號：o157judgement and application of hamilton graphabstract: studying on the hamilton graph is an indispensable part in graph theory , since this problem

8、 is widely used in a variety of fields. when the conclusions of hamiltion graph are properly used, it not only can save a lot of time, but also can reduce the cost of development. therefore, many scholars dedicated to the hamilton graph problems and has made a number of significant breakthrough.the

9、first chapter of this paper describes the background of hamilton graph and some related knowledge, introduces the research status and research directions of hamilton graph.the second chapter summarizes five methods for determining hamilton graph. it introduces the dirac theorem, oregon theorem, boss

10、a theorem and savada theorem, and adds a necessary condition for determining hamilton graph.the third chapter mainly introduces the origin and development of the traveling salesman problem, and adds a method called tree search algorithm.keywords: hamilton graph; judgement method; traveling salesman

11、problemclassification:o157目 次摘要：iabstract：ii目 次iii1引言11.1 哈密爾頓圖的起源11.2 研究背景和意義21.3 哈密爾頓圖判定方法的發(fā)展21.4 本文的研究方向32哈密爾頓圖的判定42.1 哈密爾頓圖的定義42.2 哈密爾頓圖的集中判定方法42.3 實例解析63哈密爾頓圖的判定在貨郎擔問題中的應用83.1貨郎擔問題的由來和在現實中的應用83.2貨郎擔問題解決方法83.3樹的搜索法94結論13參考文獻14作者簡歷15學位論文數據集16631 引言在查閱了大量資料后，可以發(fā)現哈密爾頓圖在數學理論研究和現實應用中都具有重要的地位。哈密爾頓圖的研究

12、解決了大量的問題，但是還是有很多的問題還未得到解決。其中較為著名的就是關于貨郎擔問題的解決方案，至今還沒有很好的答案。本文在綜合了各種哈密爾頓圖的判定方法之后，嘗試用多種方法去解決貨郎擔問題，在比較后，找到一種相對較好的方法，也為將來的繼續(xù)研究提供研究方向。1.1 哈密爾頓圖的起源哈密爾頓（hamilton）是一位出生在愛爾蘭的天文學家和數學家. 他的一生是很豐富多彩的，自從他發(fā)現“四元數”后，他又發(fā)現了另一種稱之為“the icosian calculus”的代數系統(tǒng)，這個系統(tǒng)包含有乘法和加法的運算算子，但是乘法并不滿足交換律（即xy-yx這個規(guī)律）。他發(fā)現的這個代數系統(tǒng)是和正則12 面體有

13、關的。于是在1859 年他提出下列周游世界的游戲: 在正十二面體的二十個頂點上依次標記倫敦、巴黎、莫斯科、華盛頓、北京、東京等世界著名大城市; 正十二面體的棱( 邊) 表示連接這些城市的路線。問: 能否在圖中做一次旅行,從頂點到頂點, 沿著邊行走, 經過每個城市恰好一次之后再回到出發(fā)點?曾經有很多人不斷追尋這個游戲的答案。可以應用拓撲的思想，將這正十二面體“拉平”將會得到一個和它同構的平面圖（如圖1-1），這樣進行就可以將這個游戲轉化為：要求必須沿著正十二面體的棱，怎樣才能走完正則十二面體上的所有頂點，而且最后又回到起點的問題。 圖1-1：哈密爾頓周游世界圖從此人們將這類圖稱作哈密爾頓圖，哈密

14、爾頓圖的研究也開始慢慢建立起來。1.2 研究背景和意義哈密爾頓圖是圖論的重要的一部分，隨著數學和科學技術的蓬勃發(fā)展，它的應用已經滲透到自然科學、社會科學的各個領域。然而其發(fā)展的時間并不長，所以還有很多的地方有待改進。其在貨郎擔問題的研究上，更是進幾十年才受到重視，然而他的應用卻是非常廣泛的，同樣的方法，可以用以地震搜救，糧食分派，糧食運輸，外出旅游等類似的各個方面。不僅能降低資源浪費，還可以最大化成果，對于受困的群眾，多一分鐘就可以多一分生存的希望。研究哈密爾頓圖的判定不僅僅在數學和科學領域具有很高的的研究價值，在現實應用中更是可以得到有價值的結果。因此，本文的研究方向是很具有現實意義。1.3

15、 哈密爾頓圖判定方法的發(fā)展1952年英國數學家狄拉克最早提出了判定哈密爾頓圖的充分條件， n 階連通圖g, 若, 則g 是哈密爾頓圖。為哈密爾頓圖的發(fā)展奠定了基礎。8年后即1960年美國著名的圖論專家奧斯坦·奧勒推廣狄拉克的工作，得到了更為廣泛的結果-奧勒定理。：對于頂點個數大于2的圖，如果圖中任意兩點度的和大于或等于頂點總數，那這個圖一定是哈密爾頓圖。1962年，匈牙利的一個叫博薩德的少年發(fā)表了僅有一頁長的論文，雖然論文很短，只有僅僅一頁，但其結果卻推廣了奧勒定理。有一個的圖，它的滿足不等式，那么圖就是哈密爾頓圖。這一結果無疑是非常具有價值的，所以在當時引起了很多的關注.在之后的幾

16、年中，很多人都嘗試改進他的工作，使其有一個系統(tǒng)清晰的結果，最后終于有一個捷克的青年數學家薩瓦達得到了比他更為完整的結論。有一個的圖，而且滿足條件對于任何一個小于的正整數i的不等式，最少有一個是成立的那么圖就是哈密爾頓圖。1995 年趙俊和宋序平只研究了3 連通圖( 還遺留2 連通的情況) 的鄰域并條件 的哈密爾頓連通圖, 得到: 3 連通n 階圖g, 若, 則是哈密爾頓連通圖或例外圖。2001年2月廣西大學計算機與信息工程學院的羅示豐提出了一種判別哈密爾頓圖的新方法，在文章中他具體把方法分解為5步：第1 步: ; 第2 步: 找出圖 度數最大的頂點; 第3 步: 刪去 以及與 關聯的所有邊;

17、第4 步: , , ; 第5 步: 若 則停止計算, 否則 轉第2 步。這種方法為計算機的判別提供了一個清晰的方向。時至今日，無論國內還是國外都已經發(fā)現了哈密爾頓圖的巨大作用，很多研究者也把目光放在了哈密爾頓圖的判定問題的解決上，相信不久的將來，就會有更加重大的突破。1.4 本文的研究方向從哈密爾頓圖的問題出現以來，無數的學者進行了多方面的研究，也發(fā)現了無數哈密爾頓圖的性質，從而對其進行判定。然而問題的復雜性讓我們的研究時間還是顯得非常的短暫，哈密爾頓圖的判定問題至今也沒有一個確定的最好的方法。而根據哈密爾頓圖的判定條件的不同，選用的方法也不盡相同。本文主要介紹哈密爾頓圖判定的狄拉克定理、奧勒

18、定理、博薩定理、薩瓦達定理。對這些定理進行詳細的介紹及實例演示。在這些演示的基礎上，再補充定理，以完善這些定理中的缺陷。最后將這些方法應用到著名的貨郎擔問題上來進行應用。在本文中其他定理及應用由于篇幅原因就不一一贅述了。2 哈密爾頓圖的判定2.1 哈密爾頓圖的定義設g 是一個圖，包含圖g中的每個頂點的路就稱為哈密爾頓路。通過圖g 中每個頂點有且僅有一次的通路就稱為哈密爾頓通路。通過圖g中的每個頂點有且僅有一次的回路就稱為哈密爾頓回路。一個圖假如含有哈密爾頓回路，則這個圖就是哈密爾頓圖。2.2 哈密爾頓圖的集中判定方法那么當我們拿到一個圖的時候，怎么樣去判斷它是不是一個哈密爾頓圖呢？如果是一個頂

19、點較少的圖，那么有時候我們可以通過簡單的嘗試和錯誤的方法來判定。但是當頂點較多、通路較復雜的情況下，這種方法就會讓我們感到焦頭爛額，同時準確率也會大大下降。于是很多數學家開始嘗試找到一種判定哈密爾頓的充分必要條件。遺憾的是至今為止還沒有一種判定的充分必要條件，事實上，想要找到一個完全充分適用的判定方法幾乎是沒有可能的。但是數學家們依然沒有放棄尋找一種簡單的判定哈密爾頓圖的方法，這就形成了圖論上一個著名的哈密爾頓問題。雖然目前得到的判定方法大多是存在一些充分不必要或者必要不充分的條件，但是對于平時問題的解決和簡單的應用來說，在很多時候還是能起到簡單判定的作用。下面將解析幾種相對好的方法：由于對于

20、任意一個圖來說，如果它是哈密爾頓圖，它的基礎簡單圖一定是哈密爾頓圖，所以在判定的時候我們只要考慮簡單圖。2.2.1 狄拉克定理和奧勒定理最早提出判定哈密爾頓圖的是英國的數學家狄拉克。狄拉克定理需要做的是記錄每個頂點x上有多少條通路，記通過頂點x的通路個數為d(x)，當圖的每個的頂點的d(x)相當大時，這個圖就是哈密爾頓圖。定理1（狄拉克定理）：對于任意給定的一個圖，如果這個圖的頂點數，而且，那么這個圖就是哈密爾頓圖。狄拉克發(fā)現上述定理的八年后，經過不斷的嘗試和總結，著名的美國圖論學家奧斯坦·奧勒繼續(xù)了狄拉克的工作，推廣了狄拉克定理，得到了一個判定哈密爾頓圖的基礎結論，為后面的研究打開

21、了一個方向。定理2（奧勒定理）：對于任意給定的一個圖，如果這個圖的頂點數，對于任意的兩個頂點x、y有，那么這個圖一定是哈密爾頓圖。2.2.2 博薩定理和薩瓦達定理在奧勒定理被發(fā)現以后，一個叫博薩德的匈牙利少年用一篇僅有一頁長的論文對奧勒定理進行了推廣，得到了一個重要的定理，引起了數學界的廣泛關注。為了能更好的理解博薩定理的結論，我們可以引入一些記號：對于任意的一個圖g，x1,x2,xn 在這里分別表示圖g的所有頂點，且序列數是由小到大排列的，我們用d(g)表示序列（d(x1),d(x2),d(xn)）,即存在關系有d(x1)d(x2) d(xn)。再假設有兩個序列其具有相同個數的數字：x=（x

22、1，x2，xn）；y=（y1，y2，yn）。我們用xy表示當且僅當對于每一個i=1、2、n，j=1、2、n，都滿足xiyj。例如：x=（1，2，3，4）； y=（5，6，7，8）； z=（6，4，5，3）。 我們可以得到y(tǒng)x,但是zx卻是錯誤的。 然后我們定義每一個的的整數得到一個序列p(n)：當n是奇數時，我們可以將p(n)定義成整數列：p(n)=（1,2,3,4，），一共包含n個數。當n是偶數時，我們可以將p(n)定義成整數列：p(n)=（1,2,3,4，）一共包含n個數。根據定義我們可以得到：p(3)= （1，2，2）；p(4)= （1，2，2，2）；p(5)= （1，2，2，3，3）；

23、p(6)= （1，2，3，3，3，3）；p(7)= （1，2，3，3，4，4，4）；p(8)= （1，2，3，4，4，4，4，4）；有了上面這些基礎說明，我們就能很清楚的闡述博薩德的重要發(fā)現了：定理3（博薩定理），任意一個的圖，它的d(g)滿足關系式有d(g)p(n),那么圖g就是哈密爾頓圖。博薩定理解決了很大一部分的哈密爾頓圖的判定問題，但是依然還存在一定的問題，不滿足博薩定理的圖不一定不是哈密爾頓圖，很多人不斷思索如何改進，很多數學家提出了很多種改進方案，但是經過比較之后，捷克的數學家薩瓦達的結論脫穎而出。目前為止，薩瓦達定理依舊是一種較好的哈密爾頓圖的判定方法。他的結論如下。定理4（薩瓦

24、達定理）任意一個的圖g，且d(g)=（a1,a2,an）滿足鞋面的條件：對于每一個小于的整數i的兩個不等式a1i+1，an-1n-i，至少有一個是成立的，那么圖g就一定是哈密爾頓圖。2.2.3補充的一個必要定理 薩瓦達定理對哈密爾頓圖的判定做出了很大的改進，讓我們又多了一種簡單的方法，但是依然存在哈密爾頓圖不滿足薩瓦達定理。這個時候我們需要用到一個哈密爾頓圖的必要條件。這個條件敘述如下：定理5（一個判定的必要條件）：設一個無向圖g=(v,e)是一個哈密爾頓圖，v1是v的一個非空子集，則有p(g-v1)|v1|。其中p(g-v1)表示從g中刪除v1得到的連同分支數。這個條件的必要性可以由一下方法

25、證明：證明：假設c是圖g中的一條哈密爾頓回路。若v1當中的頂點是在c上彼此相鄰的頂點，那么顯然有：p(c-v1)=1|v1|；（2） 若v1中的頂點是在c上存在m個互不相鄰，那么就有：p(c-v1)=m|v1|所以無論v1中的頂點在c上是相鄰或是不相鄰，或者兼有，都可以得到結論p(c-v1)|v1|同時由于c是圖g的生成子圖，所以可以得到：p(c-v1)p(g-v1) |v1|一般時候定理5可以用來判定一個圖是非哈密爾頓圖。判定哈密爾頓圖的方法還有很多，但是最為常用的就是上述的五種方法，當然，時至今日，不乏有比這五種方法更為準確全面的方法，但是在這里就不一一介紹了。2.3 實例解析為了能夠讓讀

26、者更好的了解前文介紹的幾種方法，下面舉幾個實例來進行驗證。圖2-1：圖g1、g2在上圖中的兩個圖g1、g2可以簡單的應用定理1（狄拉克定理）得到，g1中的每個頂點x都有d(x)=3，而n=4，所以有d(x)=34/2=2。同樣圖g2中，任何一個頂點都有d(x)=4，而n=6，所以有d(x)=36/2=3。由此可以判定圖g1、g2是哈密爾頓圖。這兩個圖的判定同樣可以應用奧勒定理進行判定，在圖g1中任意兩點x、y，有d(x)+d(y)=64；在圖g2中任意兩點x、y，有d(x)+d(y)=86，同樣可以判定圖g1、g2是哈密爾頓圖。圖2-2：圖g3、g4為了更好的體現博薩定理和薩瓦達定理的優(yōu)越性，

27、可以使用圖g3來進行比較。應用狄拉克定理時，明顯n=5且d(x)=25/2=n/2，不能判定它是哈密爾頓圖。同樣使用奧勒定理時min（d(x)+d(y)）=45/2=n/2，也不能判定。但是簡單的觀察就可以發(fā)現圖g3是一個哈密爾頓圖。這個時候我們就可以用博薩定理進行判定。根據博薩定理有d(g3)=（2，2，3，3，4），而p(5)=（1，2，2，3，3），根據比較就有d(g3)p(5)，從而可以得到圖g3是哈密爾頓圖。同樣也可以根據薩瓦達定理來進行判定，因為n=5，所以小于n/2的i有i=1、2。當i=1時，a1=22=i+1，成立；當i=2時，an-1=33=n-i，成立；同樣可以判定圖g3

28、是哈密爾頓圖。然而博薩定理和薩瓦達定理同樣是不完善的，這一點圖g4給我們作出了很好的例子。在應用博薩定理時d(g4)=(3，3，3，3，3，3，3，3)，p(8)= （1，2，3，4，4，4，4，4）；此時我們是不能說d(g4)p(8)的，沒辦法判定g4是哈密爾頓圖。薩瓦達定理也對這個問題表示無能為力，在圖g4中n=8，所以小于n/2的正整數i=1、2、3。當i=3時，a1=34=i+1，不成立；an-1=35=n-i，不成立，此時違反薩瓦達定理，所以也不能判定g4是哈密爾頓圖。然而簡單觀察后就可以發(fā)現圖g4是一個哈密爾頓圖，所以博薩定理和薩瓦達定理是有一定的缺陷的。圖g4為我們的進一步研究提

29、供了方向，讓我們能夠不斷的深入。相信在不久的將來會有一種簡單的方法可以幫助我們得出結論。3 哈密爾頓圖的判定在貨郎擔問題中的應用3.1貨郎擔問題的由來和在現實中的應用貨郎擔問題是由德國的著名數學家肯·蒙那哥在1932年提出來的，80年來一直是哈密爾頓圖的應用中的最典型的例子，無數人對其進行廢寢忘食的研究。這個問題可以表述為：假設一個售貨員需要在n個城市之間進行銷售，現在我們已經知道了這n個城市中任意的兩個城市之間的距離，現在售貨員需要選擇一條路線使得從出發(fā)的城市開始，經過其他的城市有且僅有一次，最后回到出發(fā)點，問這個售貨員應該怎么樣選擇路線呢。將上述的問題進行數學提煉后所求的問題可以

30、轉化為，在一個加附了權值的完全圖中，尋找一個權值最小的哈密爾頓回路。看似簡單，但實際上卻是非常復雜的問題，至今任何一種簡化的解決方法都能夠帶來無法想象的價值。因為生活中需要遇到貨郎擔問題的地方實在是太多了，例如：（1）當我們外出旅游的時候，提前安排好路程最短的路線，不僅可以節(jié)省交通上的成本，還可以得到更多的時間來參觀。（2）當地震等天災發(fā)生時，我們需要組建搜救隊伍對受災區(qū)域進行救援，在受災程度相近的情況下，安排合適的搜救路線，不僅可以挽回很多的經濟損失，更重要的是可以挽救更多的生命。（3）再假設當我們出差坐飛機時，由于各地的情況不同導致各個地方之間的價格會不一樣。我們選擇合適的城市順序，可以讓

31、我們得到大幅度的節(jié)約成本。為公司創(chuàng)造更多的利潤。這類的問題還有很多，而這些問題都可以歸結為貨郎擔問題。所以貨郎擔問題的研究是與生活直接相關的，是非常具有現實意義的。3.2貨郎擔問題解決方法那么到底應該怎樣去解決貨郎擔問題呢，遺憾的是直到目前為止，雖然無數人為止奮斗，也得到了一些正確的結論，但是還是沒有一種能夠簡單的解決哈密爾頓圖的方法。美國的管理科學中有一篇討論“貨郎擔問題”的文章，該文中提到：人類由于他的計算能力的限制，在解決貨郎擔問題上并不好。所以，現在人們對于這個問題的研究已經開始借助電子計算機來進行實現。1979年11月7日紐約時報上出現了一篇很有影響力的文章，它的標題為蘇聯的發(fā)現震動

32、數學界，這篇文章雖然有一定的夸大成分存在，但是他所說的把貨郎擔問題的解決和計算機聯系起來的思想確實沒有錯的。2001年廣西大學計算機與信息工程學院的羅示豐提出了用計算機判定哈密爾頓圖的方法。雖然這個方法還未應用到貨郎擔問題的解決上，但是卻也堅定了很多人繼續(xù)往這個方向研究的信心，在不久的將來這個問題一定可以獲得更大的突破。德國是一個非常嚴謹的國家，德國的波恩大學的一位數學家很好的發(fā)揮了這一特點，當他知道西德有120個有鐵路穿過的城市后，就準備找到一個最短路程的回路，應該怎么樣去跑。他費盡心血從鐵路局找到了準確的城市間鐵路的長度，把整個問題變成了一個有7140個變數，120個方程及96個不等式的線

33、性規(guī)劃問題，人類的大腦已經對這樣的問題表示無能為力了，最后不得不用電子計算機去算，才得到了最短的回路是6942公里。結果見圖3-1。圖3-1：西德120個城市最短路線圖3.3樹的搜索法那么在一般情況下我們可以借用什么方法來解決貨郎擔問題呢？在這里介紹一種較為簡單的方法-樹的搜索法。為了更好的理解這個方法，在這里我們舉一個例子加以說明：設共有a、b、c、d、e五個城市，我們需要從a出發(fā)經過b、c、d、e四個城市有且僅有一次，最后再回到a。a、b、c、d、e五座城市之間的距離由下表進行表出：表3-1：五個城市之間的距離表abcdb10c2020d505050e70608030圖3-2：五個城市之間

34、的連通情況我們選擇從點a出發(fā)，先寫a（0），0表示最初沒有出發(fā)路線是的路程長度是0，然后我們可以列出下一步可能到達的城市，分別由b、c、d、e，可以得到四個節(jié)點為ab（10）、ac（20）、ad（50）、ae（70）。見圖3-3。圖3-3：樹的搜索法第一步現在我們可以看到由城市b可能到達的城市有c、d、e，把節(jié)點ab（10）劃掉，我們可以得到三個新的節(jié)點abc（10+20）、abd（10+50）、abe（10+60）后面的20、50、60分別表示bc、bd、be的長度，以此類推我們還可以得到的新節(jié)點有acb(40)、acd(70)、ace(100)、adb(100)、adc(100)、ade(

35、80)、aeb(130)、aec(150)、aed(100)九個節(jié)點。見圖3-4。圖3-4：樹的搜索法第二步根據上述法則繼續(xù)推廣，就可以知道，假設是abc的路徑，那么到達c城以后，就只剩下了兩種可能路徑：abcdea和abceda，于是我們劃掉節(jié)點abc（30），得到兩個新的節(jié)點abcdea（180）和abceda（190）。以此類推，我們可以得到其他的二十二個節(jié)點abdcea(260)、abdeca(190)、abecda(250)、abedca(170)、acbdea(190)、acbeda(180)、acdbea(250)、acdeba(170)、acebda(260)、acedba(1

36、90)、adbcea(270)、adbeca(260)、adcbea(250)、adceba(250)、adebca(180)、adecba(190)、aebcda(250)、aebdca(250)、aecbda(270)、aecdba(260)、aedbca(190)、aedcba(180)。見圖3-5。圖3-5：樹的搜索法第三步根據圖我們可以發(fā)現，在5個城市之間我們一共可以得到二十四條回路，其中最短的兩條為abedca(170)和acdeba(170)。由此我們得到了在五個城市之間銷售的最佳路線。做完這全部的工作后，我們回過頭去看這個方法，可以發(fā)現在最后一步的計算時，一部分的工作是可以省略

37、的。比如當我們找到第一條回路abcdea時，我們可以知道這條路徑的長度是180，那么在之后的計算中，一旦發(fā)現路徑的長度明顯大于180，或者上一層的節(jié)點的數值已經大于180了，那么我們直接可以用“180”來代替具體的數值。當計算到abedca這條路徑時，我們發(fā)現數值是170，那么之后的數值如明顯大于170，那么久可以用“170”來替代，這樣可以節(jié)省一定的計算時間，加快得出結果的速度。在上面方法展示的過程中我們可以發(fā)現，這樣的搜索方法在地點數量較少的時候還比較試用，一旦地點數量達到十個，那么我們的計算量將變的嚇人，甚至可以說是超過了人腦的計算能力，我們會感到十分的繁瑣。如果十個地點還可以勉強算出來

38、，那么地點數量達到300個或者500個呢？那時候的計算量是我們無法想象的，而這種情況對于像中國這樣的大國來說，是非?，F實的問題。這個時候我們就不得不借助計算機的力量。計算機到底可以提升多少的計算速度呢？一個例子能夠很好的說明問題：在美國工作的華籍數學家lin shen及hong saman等人在1977年的時候用電子計算器計算得到了一個有關于318個城市的貨郎擔問題。這個問題一旦化成線性規(guī)劃問題，那么就要處理有50403個變數的方程式及不等式，人腦對于這樣的問題雖然不能說完全不能解決，但是所需要的時間將是難以想象的。而當時的lin shen等人借助了一臺ibm的370168式的電子計算機后，僅

39、用了28.38分鐘就得到了一個最優(yōu)解，納悶對于電子技術日新月異的今天，我們可能需要的時間已經不足一分鐘。兩者互相對比，讓我們不得不承認，以后的發(fā)展方向將更多的借助計算機技術。4 結論 哈密爾頓圖相可以應用的范圍已經越來越廣闊，從工業(yè)鋪路到農業(yè)灌溉，航空路線到海底勘探，從國家的發(fā)展到公司的運輸，都可以用到哈密爾頓圖的知識。哈密爾頓圖的研究已經顯得越來越重要，在效率第一的當今社會，恰當的應用哈密爾頓圖的研究結果可以可以大大提高工作的效率和節(jié)約發(fā)展成本，為可持續(xù)發(fā)展提供不可或缺的支持。本文借鑒總結了大量前人的結論，著重介紹了哈密爾頓圖判定上的五種方法和結論，并初步對這五種方法的應用范圍進行了分類。在

40、哈密爾頓圖的應用方面，著重介紹了貨郎擔問題的研究。在解決方法上又介紹了樹的搜索法，同時也說明了解決方法的未來發(fā)展方向。參考文獻1 dir ac g a. some theor ems on abstr act gr aphs j .pr oc londo n math soc. 1952, 2: 69 81。2 faudr ee r j, go uld r j, jacobson m s, et al.neighbor hoo d unio ns and highly hamilton g r aphs j . ar s combinato ria, 1991, 31: 139 148。3 趙

41、俊, 宋序平. 最小度與hamilton 連通圖 j . 揚州大學學報, 1995, 3: 39 45。4 尹家洪, 鄰集并與hamiltonian 性 j , 東南大學學報, 1991, 21 。5 陳顯強, 吳集林, 論哈密爾頓圖的判定問題,科學技術與工程報，2005 年第1 期。6 羅示豐, 判別哈密爾頓圖的新方法j, 廣西科學院學報,2001年2月第十七卷第1期。7 趙克文, 新的充分條件和哈密爾頓圖j, 中國工程科學, 2003 年11 月第5 卷第11 期。8 fan g h. new sufficient condit ions for cycles ing raphs j .

42、j combin theory ser b 1984, 37: 221227。9于言坤，哈密爾頓圖的矩陣判定法，吉林教育學院學報（下旬），2012.910陳德欽、趙克文, 哈密爾頓圖的鄰域交和鄰域并條件, 科學技術與工程, 2006 年4 月第6 卷第8 期。11趙克文, 曾克揚, 一個充分條件和hamilton 連通圖, 應用科學學報,2003 年12 月第21 卷第4 期。12趙克文. 對2 連通n 階圖某些結果的改進 j . 吉林大學自然科學學報, 2001, 1: 39-46。13 liqun pua, hung-lin fub, hao shenc maximal sets of h

43、amilton cycles in dn j sciencedirect 2008。14 b. jackson, long paths and cycles in oriented graphs, j. graph theory 5 (1981) 145157。15耿素云, 屈婉玲. 離散數學基礎, 北京大學出版社, 1994 年7 月第1 版。16羅示豐. 兩圖同構的判別準則及其復雜性. 計算機科學, 1997, ( 10) 專輯: 148153。17錢頌迪等,運籌學,清華大學出版社，1990，247249。18魏權齡等, 運籌學通論,中國人民大學出版社，2000，338343。19徐俊明, 圖論及其應用,中國科技大學出版社，1998，5253。20王樹禾, 圖論及其算法,中國科技大學出版社，1990，6465。21李修睦, 圖論導引,華中工學院出版社，19