离散数学8:树
文章目錄
- 無向樹
- 生成樹
- 根樹
無向樹
無向樹即 連通無回路 的無向圖。
無向樹中的結(jié)點分為兩類:樹葉(度為1)、分支點(度大于1)。
#mermaid-svg-9AUn0XgCCINTACNp {font-family:"trebuchet ms",verdana,arial,sans-serif;font-size:16px;fill:#333;}#mermaid-svg-9AUn0XgCCINTACNp .error-icon{fill:#552222;}#mermaid-svg-9AUn0XgCCINTACNp .error-text{fill:#552222;stroke:#552222;}#mermaid-svg-9AUn0XgCCINTACNp .edge-thickness-normal{stroke-width:2px;}#mermaid-svg-9AUn0XgCCINTACNp .edge-thickness-thick{stroke-width:3.5px;}#mermaid-svg-9AUn0XgCCINTACNp .edge-pattern-solid{stroke-dasharray:0;}#mermaid-svg-9AUn0XgCCINTACNp .edge-pattern-dashed{stroke-dasharray:3;}#mermaid-svg-9AUn0XgCCINTACNp .edge-pattern-dotted{stroke-dasharray:2;}#mermaid-svg-9AUn0XgCCINTACNp .marker{fill:#333333;stroke:#333333;}#mermaid-svg-9AUn0XgCCINTACNp .marker.cross{stroke:#333333;}#mermaid-svg-9AUn0XgCCINTACNp svg{font-family:"trebuchet ms",verdana,arial,sans-serif;font-size:16px;}#mermaid-svg-9AUn0XgCCINTACNp .label{font-family:"trebuchet ms",verdana,arial,sans-serif;color:#333;}#mermaid-svg-9AUn0XgCCINTACNp .cluster-label text{fill:#333;}#mermaid-svg-9AUn0XgCCINTACNp .cluster-label span{color:#333;}#mermaid-svg-9AUn0XgCCINTACNp .label text,#mermaid-svg-9AUn0XgCCINTACNp span{fill:#333;color:#333;}#mermaid-svg-9AUn0XgCCINTACNp .node rect,#mermaid-svg-9AUn0XgCCINTACNp .node circle,#mermaid-svg-9AUn0XgCCINTACNp .node ellipse,#mermaid-svg-9AUn0XgCCINTACNp .node polygon,#mermaid-svg-9AUn0XgCCINTACNp .node path{fill:#ECECFF;stroke:#9370DB;stroke-width:1px;}#mermaid-svg-9AUn0XgCCINTACNp .node .label{text-align:center;}#mermaid-svg-9AUn0XgCCINTACNp .node.clickable{cursor:pointer;}#mermaid-svg-9AUn0XgCCINTACNp .arrowheadPath{fill:#333333;}#mermaid-svg-9AUn0XgCCINTACNp .edgePath .path{stroke:#333333;stroke-width:2.0px;}#mermaid-svg-9AUn0XgCCINTACNp .flowchart-link{stroke:#333333;fill:none;}#mermaid-svg-9AUn0XgCCINTACNp .edgeLabel{background-color:#e8e8e8;text-align:center;}#mermaid-svg-9AUn0XgCCINTACNp .edgeLabel rect{opacity:0.5;background-color:#e8e8e8;fill:#e8e8e8;}#mermaid-svg-9AUn0XgCCINTACNp .cluster rect{fill:#ffffde;stroke:#aaaa33;stroke-width:1px;}#mermaid-svg-9AUn0XgCCINTACNp .cluster text{fill:#333;}#mermaid-svg-9AUn0XgCCINTACNp .cluster span{color:#333;}#mermaid-svg-9AUn0XgCCINTACNp div.mermaidTooltip{position:absolute;text-align:center;max-width:200px;padding:2px;font-family:"trebuchet ms",verdana,arial,sans-serif;font-size:12px;background:hsl(80, 100%, 96.2745098039%);border:1px solid #aaaa33;border-radius:2px;pointer-events:none;z-index:100;}#mermaid-svg-9AUn0XgCCINTACNp :root{--mermaid-font-family:"trebuchet ms",verdana,arial,sans-serif;}度大于1度為1無向樹分支點樹葉無向樹的性質(zhì)
- n階非平凡的無向樹至少有兩片樹葉。
- 階大于等于3的樹必有割點。
- 樹中分支點必為割點,樹中邊均為橋。 去掉任意一條邊都會使圖不再連通。
- 含有nnn個頂點的樹,邊的數(shù)目為n?1n-1n?1,度數(shù)為2(n?1)2(n-1)2(n?1).
- 樹中至少有一個頂點的度為1
若GGG為nnn階mmm條邊的無向連通圖,則m≥n?1m \ge n-1m≥n?1.
即樹是最弱的無向連通圖。
生成樹
任何無向連通圖都存在生成樹。
定理:無向圖GGG有生成樹 ?\Longleftrightarrow? GGG是連通圖
無向連通圖中的邊可分為兩類:參與構成生成樹的樹枝、不參與構成生成樹的弦(參與構成余樹)。
#mermaid-svg-IdPQkAU9O4WbfpU2 {font-family:"trebuchet ms",verdana,arial,sans-serif;font-size:16px;fill:#333;}#mermaid-svg-IdPQkAU9O4WbfpU2 .error-icon{fill:#552222;}#mermaid-svg-IdPQkAU9O4WbfpU2 .error-text{fill:#552222;stroke:#552222;}#mermaid-svg-IdPQkAU9O4WbfpU2 .edge-thickness-normal{stroke-width:2px;}#mermaid-svg-IdPQkAU9O4WbfpU2 .edge-thickness-thick{stroke-width:3.5px;}#mermaid-svg-IdPQkAU9O4WbfpU2 .edge-pattern-solid{stroke-dasharray:0;}#mermaid-svg-IdPQkAU9O4WbfpU2 .edge-pattern-dashed{stroke-dasharray:3;}#mermaid-svg-IdPQkAU9O4WbfpU2 .edge-pattern-dotted{stroke-dasharray:2;}#mermaid-svg-IdPQkAU9O4WbfpU2 .marker{fill:#333333;stroke:#333333;}#mermaid-svg-IdPQkAU9O4WbfpU2 .marker.cross{stroke:#333333;}#mermaid-svg-IdPQkAU9O4WbfpU2 svg{font-family:"trebuchet ms",verdana,arial,sans-serif;font-size:16px;}#mermaid-svg-IdPQkAU9O4WbfpU2 .label{font-family:"trebuchet ms",verdana,arial,sans-serif;color:#333;}#mermaid-svg-IdPQkAU9O4WbfpU2 .cluster-label text{fill:#333;}#mermaid-svg-IdPQkAU9O4WbfpU2 .cluster-label span{color:#333;}#mermaid-svg-IdPQkAU9O4WbfpU2 .label text,#mermaid-svg-IdPQkAU9O4WbfpU2 span{fill:#333;color:#333;}#mermaid-svg-IdPQkAU9O4WbfpU2 .node rect,#mermaid-svg-IdPQkAU9O4WbfpU2 .node circle,#mermaid-svg-IdPQkAU9O4WbfpU2 .node ellipse,#mermaid-svg-IdPQkAU9O4WbfpU2 .node polygon,#mermaid-svg-IdPQkAU9O4WbfpU2 .node path{fill:#ECECFF;stroke:#9370DB;stroke-width:1px;}#mermaid-svg-IdPQkAU9O4WbfpU2 .node .label{text-align:center;}#mermaid-svg-IdPQkAU9O4WbfpU2 .node.clickable{cursor:pointer;}#mermaid-svg-IdPQkAU9O4WbfpU2 .arrowheadPath{fill:#333333;}#mermaid-svg-IdPQkAU9O4WbfpU2 .edgePath .path{stroke:#333333;stroke-width:2.0px;}#mermaid-svg-IdPQkAU9O4WbfpU2 .flowchart-link{stroke:#333333;fill:none;}#mermaid-svg-IdPQkAU9O4WbfpU2 .edgeLabel{background-color:#e8e8e8;text-align:center;}#mermaid-svg-IdPQkAU9O4WbfpU2 .edgeLabel rect{opacity:0.5;background-color:#e8e8e8;fill:#e8e8e8;}#mermaid-svg-IdPQkAU9O4WbfpU2 .cluster rect{fill:#ffffde;stroke:#aaaa33;stroke-width:1px;}#mermaid-svg-IdPQkAU9O4WbfpU2 .cluster text{fill:#333;}#mermaid-svg-IdPQkAU9O4WbfpU2 .cluster span{color:#333;}#mermaid-svg-IdPQkAU9O4WbfpU2 div.mermaidTooltip{position:absolute;text-align:center;max-width:200px;padding:2px;font-family:"trebuchet ms",verdana,arial,sans-serif;font-size:12px;background:hsl(80, 100%, 96.2745098039%);border:1px solid #aaaa33;border-radius:2px;pointer-events:none;z-index:100;}#mermaid-svg-IdPQkAU9O4WbfpU2 :root{--mermaid-font-family:"trebuchet ms",verdana,arial,sans-serif;}圖樹枝生成樹弦余樹對于含mmm條邊的nnn階無向連通圖,其生成樹的邊的數(shù)目為n?1n-1n?1,弦的數(shù)目為m?(n?1)m-(n-1)m?(n?1).
注意:余樹不一定連通,也不一定含有回路,因此余樹不一定是樹。
連通圖和它的生成樹的差別在于圖中可能包含回路,生成樹中不包含回路。
一般情況下,連通圖的生成樹不唯一。
凱萊公式:Kn的生成樹的個數(shù)為nn?2K_n的生成樹的個數(shù)為n^{n-2}Kn?的生成樹的個數(shù)為nn?2.
因此對于含mmm條邊的nnn階無向連通圖,其m?(n?1)m-(n-1)m?(n?1)條弦可構成m?(n?1)m-(n-1)m?(n?1)個基本回路,所有基本回路構成的集合稱為基本回路系統(tǒng) ,m?(n?1)m-(n-1)m?(n?1)稱為圈秩。
注意:基本割集是針對整個圖而言的。
基本割集中僅含一條樹枝,其余均為弦。
求基本割集的簡單方法:取生成樹中的某一樹枝,將該樹枝所連個兩個“連通分量”圈出,則整個圖中溝通這兩個集合的所有邊即構成基本割集。
每個樹枝唯一對應一個基本割集,因此基本割集的數(shù)目與樹枝數(shù)目相同,為n?1n-1n?1,稱為割集秩。
根樹
#mermaid-svg-GVuVQbvy0ygqg4De {font-family:"trebuchet ms",verdana,arial,sans-serif;font-size:16px;fill:#333;}#mermaid-svg-GVuVQbvy0ygqg4De .error-icon{fill:#552222;}#mermaid-svg-GVuVQbvy0ygqg4De .error-text{fill:#552222;stroke:#552222;}#mermaid-svg-GVuVQbvy0ygqg4De .edge-thickness-normal{stroke-width:2px;}#mermaid-svg-GVuVQbvy0ygqg4De .edge-thickness-thick{stroke-width:3.5px;}#mermaid-svg-GVuVQbvy0ygqg4De .edge-pattern-solid{stroke-dasharray:0;}#mermaid-svg-GVuVQbvy0ygqg4De .edge-pattern-dashed{stroke-dasharray:3;}#mermaid-svg-GVuVQbvy0ygqg4De .edge-pattern-dotted{stroke-dasharray:2;}#mermaid-svg-GVuVQbvy0ygqg4De .marker{fill:#333333;stroke:#333333;}#mermaid-svg-GVuVQbvy0ygqg4De .marker.cross{stroke:#333333;}#mermaid-svg-GVuVQbvy0ygqg4De svg{font-family:"trebuchet ms",verdana,arial,sans-serif;font-size:16px;}#mermaid-svg-GVuVQbvy0ygqg4De .label{font-family:"trebuchet ms",verdana,arial,sans-serif;color:#333;}#mermaid-svg-GVuVQbvy0ygqg4De .cluster-label text{fill:#333;}#mermaid-svg-GVuVQbvy0ygqg4De .cluster-label span{color:#333;}#mermaid-svg-GVuVQbvy0ygqg4De .label text,#mermaid-svg-GVuVQbvy0ygqg4De span{fill:#333;color:#333;}#mermaid-svg-GVuVQbvy0ygqg4De .node rect,#mermaid-svg-GVuVQbvy0ygqg4De .node circle,#mermaid-svg-GVuVQbvy0ygqg4De .node ellipse,#mermaid-svg-GVuVQbvy0ygqg4De .node polygon,#mermaid-svg-GVuVQbvy0ygqg4De .node path{fill:#ECECFF;stroke:#9370DB;stroke-width:1px;}#mermaid-svg-GVuVQbvy0ygqg4De .node .label{text-align:center;}#mermaid-svg-GVuVQbvy0ygqg4De .node.clickable{cursor:pointer;}#mermaid-svg-GVuVQbvy0ygqg4De .arrowheadPath{fill:#333333;}#mermaid-svg-GVuVQbvy0ygqg4De .edgePath .path{stroke:#333333;stroke-width:2.0px;}#mermaid-svg-GVuVQbvy0ygqg4De .flowchart-link{stroke:#333333;fill:none;}#mermaid-svg-GVuVQbvy0ygqg4De .edgeLabel{background-color:#e8e8e8;text-align:center;}#mermaid-svg-GVuVQbvy0ygqg4De .edgeLabel rect{opacity:0.5;background-color:#e8e8e8;fill:#e8e8e8;}#mermaid-svg-GVuVQbvy0ygqg4De .cluster rect{fill:#ffffde;stroke:#aaaa33;stroke-width:1px;}#mermaid-svg-GVuVQbvy0ygqg4De .cluster text{fill:#333;}#mermaid-svg-GVuVQbvy0ygqg4De .cluster span{color:#333;}#mermaid-svg-GVuVQbvy0ygqg4De div.mermaidTooltip{position:absolute;text-align:center;max-width:200px;padding:2px;font-family:"trebuchet ms",verdana,arial,sans-serif;font-size:12px;background:hsl(80, 100%, 96.2745098039%);border:1px solid #aaaa33;border-radius:2px;pointer-events:none;z-index:100;}#mermaid-svg-GVuVQbvy0ygqg4De :root{--mermaid-font-family:"trebuchet ms",verdana,arial,sans-serif;}入度為0入度為1,出度大于0入度為1,出度為0根樹樹根內(nèi)點樹葉分支點
r叉樹→r叉正則樹→r叉完全樹r叉樹\rightarrow r叉正則樹 \rightarrow r叉完全樹r叉樹→r叉正則樹→r叉完全樹
總結(jié)
- 上一篇: 离散数学——代数结构
- 下一篇: 离散数学:二元关系