第一章图形理论.doc

第一章 圖形理論 圖形理論有明確的起始點，由瑞士數學家尤拉(Leonhard Euler, 1707-1783)於1736年發表的論文開始。其研究的主要論點，乃在於解決當時的熱門問題，即有名K?nigsgerg的七橋問題。 1.1 定義與例題 定義1.1： 令 為非空集合，且. 序對稱為(上)有向圖(directed graph or digraph)，其中 為頂點(vertex)或節點(node)的集合，為邊(edge)的集合。我們記表示此圖形。 圖1.1為上有向圖的例子，其中。邊的方向由邊上的有向箭頭表示，如圖所示對任意邊，如，我們說此邊接合(incident)頂點；稱鄰接至(adjacent to) ；或鄰接自(adjacent from) 。此外， 稱為邊的原點(origin)或源點(source)， 稱為終點(terminus or terminating vertex)。邊為一個迴圈(loop)， 且頂點 不與任何邊接合，稱為孤立點(isolated)。 ? b 圖 1.1 若不考慮邊的方向，此圖稱為無向圖(undirected)。 定義1.2： 令為無向圖的頂點(不一定相異)。中的路( walk)是指選自的頂點及邊的有限交錯序列。 其中由頂點 開始，終止於頂點 ，個邊 路的長度(length)是指該條路的邊數。(當，表示無邊，即，稱該路為無聊(trivial)，這些路未給予重視。) 任意滿足的路稱為閉路(closed walk)，否則，稱為開路(open)。 定義1.3： 考慮無向圖上的任意路。 若路無任何重覆的邊，則(邊及頂點)形成一條路線(trail)。閉路線稱為迴路(circuit)。 如果路無任何頂點出現一次以上，稱為路徑(path)。環路(cycle)一詞是用來表示一條閉路徑。 注意： 處理迴路問題，我們通常限制至少有一邊，只有一邊的迴路，稱為迴圈(這種圖形不再是無迴圈)。含有兩個邊的迴路出現在多重圖內，不久我們將定義這項觀念。 “環路”一詞意謂至少有三個邊(在圖內)。 對有向圖而言，我們使用形容詞“有向”，例如有向路(directed walk)，有向路徑(directed paths)，及有向環路(directed cycles)。 定理1.1： 設為無向圖，其中。若存在一條由至的路線(在中)，則存在一條由至的路徑(在中)。 定義1.4： 令為無向圖，我們稱為連通圖(connected)意指中任何兩相異頂點間存在一條路徑。 令為有向圖，其相關的無向圖是由有向圖省略其邊的方向而得。若其相關的無向圖???連通，則認為為連通。 若在圖形不為連通圖則稱為不連通圖(disconnected)。 例1.1： 圖1.2為上的無向圖。此圖不為連通，因為由至沒有路徑。然而，此圖分成的兩個部份均為連通，且這些部分稱為此圖形的分圖(components)。因此，圖形為連通若且唯若它僅有一個分圖。 圖1.2 定義1.5： 任何圖形，的分圖數目記作。 定義1.6： 圖形稱為多重圖(multigraph)意指對某些 ，，存在兩個或更多如 (a) (對有向圖) 或 (b) (對無向圖)的邊。 圖1.3 圖1.3係有向多重圖的例子，因為由至有三個邊，我們稱邊有重數(multiplicity) 3，邊及為重數2。 1.2子圖，補圖與同構圖 定義1.7： 若為圖形(有向或無向)，則稱為的子圖(subgraph)若且，其中的每個邊是由的頂點所結合。 定義1.8： 令為一圖形(有向或無向)，若，由誘導出的子圖(subgraph of induced by )意指子圖其頂點在內而且(自)所有邊具有下列形式之一： (a) (當為有向圖) 或 (b) (當為無向圖) 我們將這種子圖記作。 圖形的子圖稱為誘導子圖(induced subgraph)，意指存在滿足。 定義1.9： 令是有向圖或無向圖的某頂點，記作的子圖表示頂點集且邊集，其中包含中所有邊，除那些接合頂點 的邊外。 同理，若 是有向圖或無向圖的某邊，的子圖表示邊集，且頂點集不變(即) 定義1.10： 令為個頂點的集合。上的完全圖(complete graph)，記為，意指無迴圈無向圖，其中對任意 ，，，恰存在一邊。 定義1.11：