例1、在一個(gè)有n個(gè)頂點(diǎn)的G=V,E中,u,vV若存在一條從u到v的_第1頁(yè)
例1、在一個(gè)有n個(gè)頂點(diǎn)的G=V,E中,u,vV若存在一條從u到v的_第2頁(yè)
例1、在一個(gè)有n個(gè)頂點(diǎn)的G=V,E中,u,vV若存在一條從u到v的_第3頁(yè)
全文預(yù)覽已結(jié)束

下載本文檔

版權(quán)說明:本文檔由用戶提供并上傳,收益歸屬內(nèi)容提供方,若內(nèi)容存在侵權(quán),請(qǐng)進(jìn)行舉報(bào)或認(rèn)領(lǐng)

文檔簡(jiǎn)介

1、例1、在一個(gè)有n個(gè)頂點(diǎn)的G=<V,E>中,u,vV。若存在一條從u到v的一條通路,則必有一條從u到v的長(zhǎng)度不超過n-1的通路。問題解析:象這類存在性命題在圖論中比較多見,往往就可采用構(gòu)造性證明方法,問題的關(guān)鍵就是找出命題結(jié)論所要求的通路。證明的思路是從某一個(gè)事物出發(fā),就象計(jì)算機(jī)程序中的循環(huán)語(yǔ)句一樣用同樣的過程根據(jù)要求對(duì)之進(jìn)行加工,在有限步內(nèi)得到所求。證明:設(shè)veve2ev是從u=v到v=v的長(zhǎng)為的通路。若n-1,則結(jié)論顯然成立。否則因?yàn)?1>n,故v,v,v中必有一個(gè)頂點(diǎn)是重復(fù)出現(xiàn)的。不妨設(shè)v=v(0i<j),則新通路vevevevevev是一條從u 到v的通路,且此通

2、路長(zhǎng)度比原通路長(zhǎng)度至少少1。若新通路的長(zhǎng)度n-1,則結(jié)論得證。否則對(duì)新通路重復(fù)上述過程,必可以得到一條從u到v的長(zhǎng)為n-1的通路。例2 、一個(gè)有向圖是單向連通圖它有一條經(jīng)過所有結(jié)點(diǎn)的路。問題解析:這也是圖論中的存在性命題,可采用構(gòu)造性證明方法。先找出一條經(jīng)過若干個(gè)頂點(diǎn)的通路。然后想辦法將這條路進(jìn)行變化,使得它經(jīng)過的頂點(diǎn)越來(lái)越多,直到得到一條經(jīng)過所有頂點(diǎn)的路。證明:設(shè)G=<V,E>是單向連通圖。任取u,vV,則u可達(dá)v或v可達(dá)u。不妨設(shè)u可達(dá)v,即從u到v有路徑P。若P經(jīng)過G中所有頂點(diǎn)至少一次,則P就是滿足結(jié)論要求的路徑。否則若P沒有經(jīng)過頂點(diǎn)w,則如果v經(jīng)過路徑T可達(dá)w, 連接P和T

3、我們可得一條經(jīng)過P經(jīng)過的所有頂點(diǎn)及w的更長(zhǎng)的路徑P;否則若w經(jīng)過路徑S可達(dá)u,連接S和P我們也可得一條經(jīng)過w及P經(jīng)過的所有頂點(diǎn)的更長(zhǎng)的路徑P;再否則我們一定可以找到P經(jīng)過的兩個(gè)相鄰頂點(diǎn)t和s,t到s有邊,t經(jīng)過路徑T 可達(dá)w,w經(jīng)過路徑T可達(dá)s(否則就與u可達(dá)w,w可達(dá)v矛盾),我們構(gòu)造這樣一條路徑P:從u出發(fā)經(jīng)過P到達(dá)t,t經(jīng)過路徑T到達(dá)w,再?gòu)膚出發(fā)經(jīng)過路徑T到達(dá)s,然后從s出發(fā)經(jīng)過P到達(dá)v。這是一條經(jīng)過w及P所經(jīng)過的所有頂點(diǎn)的更長(zhǎng)的路徑。 P Pu v u v T S w w P u t s v T T w 對(duì)P重復(fù)上述過程,直到得到一條經(jīng)過所有頂點(diǎn)的路徑為止。例3 、任一有限半群一定在

4、等冪元。問題解析:這是代數(shù)結(jié)構(gòu)中的存在性命題,也可采用構(gòu)造性證明方法。由于半群的性質(zhì)有限,只有結(jié)合律可用。因此證明時(shí)要充分利用元素個(gè)數(shù)的有限性和半群的運(yùn)算滿足結(jié)合律,具體構(gòu)造出一個(gè)等冪元。證明: 設(shè)<S,*>是一個(gè)有限半群。任取aS,由于*滿足結(jié)合律,我們有 a,a,a,a,S 因?yàn)镾是有限集合,故a,a,a,a,不可能兩兩不同。從而一定存在正整數(shù)k,m,1k<m使得 a=a令p=m-k,則由于*滿足結(jié)合律,a=a= a* a。對(duì)任意正整數(shù)qk,有a= a * a =(a* a)*a= a* a (#) 若p=q,則元素a就是一個(gè)等冪元。否則因?yàn)閜1,故存在正整數(shù)n滿足npk。故利用

溫馨提示

  • 1. 本站所有資源如無(wú)特殊說明,都需要本地電腦安裝OFFICE2007和PDF閱讀器。圖紙軟件為CAD,CAXA,PROE,UG,SolidWorks等.壓縮文件請(qǐng)下載最新的WinRAR軟件解壓。
  • 2. 本站的文檔不包含任何第三方提供的附件圖紙等,如果需要附件,請(qǐng)聯(lián)系上傳者。文件的所有權(quán)益歸上傳用戶所有。
  • 3. 本站RAR壓縮包中若帶圖紙,網(wǎng)頁(yè)內(nèi)容里面會(huì)有圖紙預(yù)覽,若沒有圖紙預(yù)覽就沒有圖紙。
  • 4. 未經(jīng)權(quán)益所有人同意不得將文件中的內(nèi)容挪作商業(yè)或盈利用途。
  • 5. 人人文庫(kù)網(wǎng)僅提供信息存儲(chǔ)空間,僅對(duì)用戶上傳內(nèi)容的表現(xiàn)方式做保護(hù)處理,對(duì)用戶上傳分享的文檔內(nèi)容本身不做任何修改或編輯,并不能對(duì)任何下載內(nèi)容負(fù)責(zé)。
  • 6. 下載文件中如有侵權(quán)或不適當(dāng)內(nèi)容,請(qǐng)與我們聯(lián)系,我們立即糾正。
  • 7. 本站不保證下載資源的準(zhǔn)確性、安全性和完整性, 同時(shí)也不承擔(dān)用戶因使用這些下載資源對(duì)自己和他人造成任何形式的傷害或損失。

最新文檔

評(píng)論

0/150

提交評(píng)論