授课老师陈鹏安.PDFVIP

圖論 授課老師：陳鵬安  定義一： 一個圖G(graph)包含三部分： (1)一個點集合(vertex set) ，V(G) (2)一個邊集合(edge set) ，E(G) (3)一個關係，其中描述每一個邊與二個 (不一定相異的點的關聯性。) (這兩個 (不一定相異的點稱為該邊的端點) (endpoints)  定義二： 一個超圖(hypergraph由一個點集合) V 和一個邊集合所構成，其中邊集合E E由 的子集合所構成，即V E  2V  定義三： (1)一個弧圈(loop)為一個兩端點相同的 邊。 (2)若有數個 (≧2)邊具有相同的端點， 則這些邊稱為重邊 (multipe edges)  定義四： (1)一個包含重邊的圖稱為重邊圖 (multigraph) (2)具有弧圈的圖稱為近圖(pseudograph)  定義五： 若一個圖的點集合為有限集合，則稱G G 為有限圖(finite graph) ，否則稱G為 無窮圖(infinite graph)  定義六： 一個沒有弧圈也沒有重邊的圖稱為簡單 圖 (simple graph)  定義七： 在圖G中，若 {u,v}為一個邊，則稱u和v 兩端點為相鄰或相連( )(adjacent) ，彼 此為鄰居(neighbors) ，並稱u(或 v)與 此邊相接(incident) 。  定義八： 一個點集合與邊集合皆為空集合的圖稱 為零圖(null graph)  定義九： 一個圖中若任意相異點皆有邊相連，嘖 稱此圖為完全圖 (complete graph)  定義十： G=(V,E)為一個圖，S V (1)若 S中的點，任意兩點皆相連，則稱 S為粘集(clique) (2)若 S中的點，任意兩點皆不相連，則 稱 S為獨立集(independent set)或穩定 集(stable set) (3)若 S*為G中最大的獨立集， 則 (S*)稱為獨立數 (independent number)記為 (G)  定義十一： 若圖 G=(V,E)中， V=A B 其中A,B皆為獨立集，且 A B= 則稱 G為二分圖或二部圖(bipartite graph) ，而A,B為圖的部集G (partite set) 。 若任意 u A, v B ，u和v皆相連，則 此二分圖G稱為完全二分圖 (complete bipartite graph) 。  定義十二： G (V , E ), G (V , E ) 為兩個圖 1 1 1 2 2 2 (1) 與 的聯集 (union)為G=(V,E) ， G G2 1 其中V V V , E E  E 1 2 1 2 (2) G 與 的交集 (intersection)為 G 1 2 G=(V,E) ，其中V V V , E E  E 1 2 1