離散數(shù)學(xué)(第23講習(xí)題課4)_第1頁
離散數(shù)學(xué)(第23講習(xí)題課4)_第2頁
離散數(shù)學(xué)(第23講習(xí)題課4)_第3頁
離散數(shù)學(xué)(第23講習(xí)題課4)_第4頁
離散數(shù)學(xué)(第23講習(xí)題課4)_第5頁
已閱讀5頁,還剩27頁未讀, 繼續(xù)免費(fèi)閱讀

下載本文檔

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

文檔簡介

馮偉森Email:fws365@Tel:1380819227505二月2023離散數(shù)學(xué)計(jì)算機(jī)學(xué)院2023/2/5計(jì)算機(jī)學(xué)院2主要內(nèi)容習(xí)題課四2023/2/5計(jì)算機(jī)學(xué)院3基本要求(第六章)掌握函數(shù)、單射、滿射和雙射的概念會正確判斷一個函數(shù)是否為單射、滿射和雙射掌握置換、循環(huán)和循環(huán)的積、復(fù)合函數(shù)、逆函數(shù)等基本概念掌握雙射和逆函數(shù)、復(fù)合函數(shù)的關(guān)系掌握集合的基數(shù)、等勢的基本概念掌握可數(shù)集、不可數(shù)集的定義了解Cantor定理掌握可數(shù)集、不可數(shù)集的基本性質(zhì)2023/2/5計(jì)算機(jī)學(xué)院4第十章理解與圖的定義有關(guān)的諸多概念,以及它們之間的相互關(guān)系深刻理解握手定理及其推論的內(nèi)容,并能熟練地應(yīng)用它們深刻理解圖同構(gòu)、簡單圖、完全圖、正則圖、子圖、補(bǔ)圖、二部圖等概念及其它們的性質(zhì)和相互關(guān)系,并能熟練地應(yīng)用它們深刻理解道路、簡單道路、基本道路與回路、圈的定義,掌握道路與回路的各種表示方法2023/2/5計(jì)算機(jī)學(xué)院5深刻理解無向圖的連通性,連通分支等概念深刻理解無向圖的點(diǎn)割集和邊割集、點(diǎn)連通度、邊連通度等概念及其之間的關(guān)系,并能熟練地求出給定的較為簡單的圖的點(diǎn)割集和邊割集、點(diǎn)連通度與邊連通度深刻理解有向圖連通性的概念及其分類,掌握判斷有向連通圖類型的方法深刻理解有向圖的鄰接矩陣、可達(dá)矩陣的基本概念2023/2/5計(jì)算機(jī)學(xué)院6熟練掌握用有向圖的鄰接矩陣及各次冪求圖中通路與回路數(shù)的方法熟練掌握用有向圖的鄰接矩陣及Warshall算法求有向圖的所有強(qiáng)分圖的方法了解關(guān)聯(lián)矩陣的基本概念及其基本性質(zhì)2023/2/5計(jì)算機(jī)學(xué)院7例1

解:{v2,v3}是個基本點(diǎn)割集,而G的點(diǎn)割集必須含有點(diǎn)v2和v3,因?yàn)樗鼈冎忻恳粋€都與圖中除其自身外的各頂點(diǎn)鄰接.故{v2,v3}是該圖唯一的基本點(diǎn)割集.求出下圖G中的全部基本點(diǎn)割集和基本邊割集.v1v5v4v3v2aedcbfgh2023/2/5計(jì)算機(jī)學(xué)院8

每一個基本邊割集把連通圖分成恰好2個連通分支,因而導(dǎo)出圖的頂點(diǎn)集的一個分成兩組的劃分(同一個連通分支中的頂點(diǎn)組成一個劃分塊)。本題中,頂點(diǎn)集V是個5元集,正整數(shù)5分成兩個數(shù)的劃分有1+4和2+3。V的“1+4”的劃分有C15=5個。如下表所列,表中還列出了相應(yīng)的邊割集:邊割集 頂點(diǎn)集V的劃分 {a,b} {{v1},{v2,v3,v4,v5}} {a,c,d,f} {{v2},{v1,v3,v4,v5}} {b,c,e,h} {{v3},{v1,v2,v3,v5}} {d,e,g} {{v4},{v1,v2,v3,v4}} {f,g,h} {{v5},{v1,v3,v3,v4}} 2023/2/5計(jì)算機(jī)學(xué)院9V的“2+3”的劃分有C25=10個,其中7個可以由基本邊割集導(dǎo)出,如下表所示:

基本邊割集 頂點(diǎn)集V的劃分 {b,c,d,f} {{v1,v2},{v3,v4,v5}} {a,c,e,h} {{v1,v3},{v2,v4,v5}} {a,c,e,f,g} {{v1,v3,v5},{v2,v4}} {a,c,d,g,h} {{v1,v3,v4},{v2,v5}} {b,c,d,g,h} {{v1,v2,v5},{v3,v4}} {b,c,e,f,g} {{v1,v2,v4},{v3,v5}} {d,e,f,h} {{v1,v2,v3},{v4,v5}}而V的以下3個“2+3”的劃分不能由基本邊割集導(dǎo)出:{{v2,v3},{v1,v4,v5}},{{v1,v4},{v2,v3,v5}},{{v1,v5},{v2,v3,v4}})。所以該圖的基本邊割集有12個。 2023/2/5計(jì)算機(jī)學(xué)院10例2證明:在一個連通圖中,任意兩條最長的基本道路有一個公共頂點(diǎn)。證:(反證法)v0u0vjukvpupL2023/2/5計(jì)算機(jī)學(xué)院11

設(shè)Γ1=v0v1…vp和Γ2=u0u1…up是G的兩條最長的基本道路(長為p),且無公共頂點(diǎn)。因?yàn)镚是連通圖.v0與u0之間有道路L.設(shè)vj是從v0出發(fā)沿L前進(jìn)的最后一個和Γ1相交的頂點(diǎn).而uk是道路L第一次與Γ2相交的結(jié)點(diǎn)。當(dāng)j≥p/2(這時在基本道路Γ1上v0…vj的一段不比vj…vp的一段短)且k≥p/2時(這時在基本道路Γ2上u0…vk的一段不比uk…up的一段短)。2023/2/5計(jì)算機(jī)學(xué)院12構(gòu)造一條新的路?!?它從v0出發(fā),沿Γ1到vj,然后沿L從vj到uk,最后沿Γ2從uk到u0,該道路是一條基本道路(點(diǎn)不重復(fù).答圖中紅粗線所示),其長度≥j+1+k≥p+1>p,這與L1,L2是最長的基本道路相矛盾,所以Γ1和Γ2有公共頂點(diǎn).對j,k的其他情況討論類似(分別在Γ1和Γ2上取分別被頂點(diǎn)vi和uk截出的兩段路徑中較長的一段,加上L上被頂點(diǎn)vi和uk截出的一段,構(gòu)成一條比Γ1和Γ2都較長的基本道路)。2023/2/5計(jì)算機(jī)學(xué)院13例3

設(shè)圖G中有從頂點(diǎn)u到v的兩條不同的簡單道路,證明G中有圈。證:設(shè)P1和P2是從u到v的兩條不同的簡單通路。設(shè)w是P1和P2的公共頂點(diǎn)使得隨后的頂點(diǎn)是不同的,再設(shè)w′是繼w后第一個P1和P2的公共頂點(diǎn)(注意到u和v是P1和P2上的公共頂點(diǎn),這樣的頂點(diǎn)w是存在的,否則P1和P2是相同的;這樣的頂點(diǎn)w′也是存在的,因?yàn)槔^w后P1和P2有公共頂點(diǎn)v)。uww′vP1P22023/2/5計(jì)算機(jī)學(xué)院14

那么在w和w′之間P1和P2的子通路除了w和w′之外沒有公共頂點(diǎn),因此這兩條子通路構(gòu)成一個圈(頂點(diǎn)不重復(fù)的回路)。2023/2/5計(jì)算機(jī)學(xué)院15例4

證明:任意一場聚會,至少有兩個人與相同數(shù)目的人握過手。證:即證明非平凡的簡單無向圖必有兩個頂點(diǎn)的度相等。設(shè)簡單無向圖G有n個結(jié)點(diǎn),則每個結(jié)點(diǎn)的度數(shù)最多為n-1,而每個結(jié)點(diǎn)都不可能為孤立結(jié)點(diǎn),所以,任何結(jié)點(diǎn)的度均大于等于1,小于等于n?1,由鴿巢原理知,這樣的n個數(shù)中至少有兩個是相同的。所以必有兩個頂點(diǎn)的度相等。2023/2/5計(jì)算機(jī)學(xué)院16例5

證明空間中不可能存在有奇數(shù)個面且每個面都有奇數(shù)條棱的多面體。證:(反證法)若存在某個具有奇數(shù)個面,且每個面均有奇數(shù)條棱的多面體V。不妨設(shè)V有r(r為奇數(shù))個面,設(shè)為R1,R2,…,Rr,s1,s2,…,sr

分別為它們的棱數(shù),均為奇數(shù)。作無向圖G如下:在V的每個面中放一個頂點(diǎn)vi,i=1,2,…,r。且兩個面Ri與Rj

有公共棱就連邊。若存在這樣的無向圖G,則d(vi)均為奇數(shù)si。2023/2/5計(jì)算機(jī)學(xué)院17

由握手定理:但因r,si(i=1,2,…,n)均為奇數(shù),上面等式不可能成立。故不存在這樣的無向圖G,從而也不存在滿足要求的多面體。2023/2/5計(jì)算機(jī)學(xué)院18習(xí)題講解習(xí)題六10、證:

2023/2/5計(jì)算機(jī)學(xué)院1915、證:2023/2/5計(jì)算機(jī)學(xué)院20習(xí)題十1、解:2023/2/5計(jì)算機(jī)學(xué)院214、證:2023/2/5計(jì)算機(jī)學(xué)院226、證明簡單二部圖G滿足,其中

n是頂點(diǎn)數(shù),m是邊數(shù)。證:令V1,V2是G的兩個互補(bǔ)頂點(diǎn)集合,|V1|=n1,|V2|=n2

G的邊數(shù)m小于等于完全二部圖的邊數(shù)n1n2,而

2023/2/5計(jì)算機(jī)學(xué)院2315、若u與v是G中僅有的兩個奇數(shù)度結(jié)點(diǎn),證明u和v必是連通的。證:(反證法)設(shè)v與u不連通∴G={V1,V2},v與u分別屬于V1,V2二個子圖∵v與u是G中僅有的二個奇數(shù)度結(jié)點(diǎn)∴v與u即是V1與V2中僅有的一個奇數(shù)度結(jié)點(diǎn),與握手定理的推論相矛盾,故v與u必連通。2023/2/5計(jì)算機(jī)學(xué)院2417、設(shè)(n,m)簡單圖G滿足

,證明G必是連通圖。構(gòu)造一個

的非連通簡單圖。證:(歸納法,對n進(jìn)行歸納)

n=2時,∵m>0∴二個結(jié)點(diǎn)至少有一條邊,即G是連通圖2023/2/5計(jì)算機(jī)學(xué)院25設(shè)n=k時,結(jié)論成立,即時,G是連通圖證n=k+1時,結(jié)論成立,即時,G是連通圖(用反證法)如果G是非連通圖,必存在一個結(jié)點(diǎn)v,使1≤d(v)<k(否則,如d(v)=0,則G-{v}是一個有k個結(jié)點(diǎn)的簡單圖,其邊數(shù)與矛盾;如d(v)=k,則G是一個完全圖,與假設(shè)矛盾)2023/2/5計(jì)算機(jī)學(xué)院26∴從G中刪除該結(jié)點(diǎn)v所得子圖

G′=G-v=(m′,k)其邊數(shù)

由歸納假設(shè),G′=G-v的結(jié)點(diǎn)數(shù)為k,所以G′是連通圖,∵G=G′+{v},而v至少有一條邊,∴G連通故由歸納法,結(jié)論成立2023/2/5計(jì)算機(jī)學(xué)院27vw2023/2/5計(jì)算機(jī)學(xué)院28證:(反證法)設(shè)結(jié)論不成立,即存在

因?yàn)镚是連通的,所以G-v的每個分支都至少有一個點(diǎn)與v相鄰接,而且存在一個分支,其與v相鄰接的點(diǎn)w只有一條邊與v相連(因?yàn)槿缑總€分支中有二個以上

溫馨提示

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

最新文檔

評論

0/150

提交評論