圖的基本概念
圖論起源於一個非常經典的問題——柯尼斯堡(Konigsberg)七橋問題。1738年,瑞士數學家歐拉( Leornhard Euler)解決了柯尼斯堡問題。由此圖論誕生。歐拉也成為圖論的創始人。
先來看二元關係的概念:
如果一個集合滿足以下條件之一:
(1)集合非空,且它的元素都是有序對;
(2)集合是空集,
則稱該集合為一個二元關係.
設V是非空集,V上的二元關係e是V上的元素對,即e∈V×V. 集V和定義在V上的二元關係集E的有序二元組(V,E)被稱為數學結構.
圖的概念:
所謂圖,是指數學結構(V,Eφ),其中V是非空集,Eφ是定義在V上的二元關係集(可以是重集),它由函數φ:E→V×V確定.
若Eφ中的元素全為有序對(x,y)則稱其為有向圖D,從x到y的有向邊,x是起點,y是終點,起點終點統稱端點.
若Eφ中的元素全為無序對{x,y},則稱其為無向圖G.連接x和y的邊.
--
V為該圖的頂點集,Eφ為該圖的邊集,V中的元素被稱為頂點,Eφ中的元素被稱為邊,φ被稱為點與邊的關聯函數.
邊與它的兩端點被稱為關聯的,與同一條邊關聯的兩端點或者同一個端點關聯的兩邊被稱為相鄰的.
兩端點相同的邊被稱為環,有公共起點和終點的兩條邊被稱為重邊或平行邊,兩端點相同但方向相反的兩條有向邊被稱為對稱邊.
一些特殊的圖:
頂點或者邊都有標號的圖形稱為標號圖.
含重邊的圖稱為重圖.
無環且無重邊的圖稱為簡單圖.
對於無向圖G,將G中的每一條邊e用兩條與e有相同端點的對稱邊替代後得到的有向圖稱為G的對稱有向圖.無向圖可以視為特殊的有向圖.
去掉有向圖邊上的方向得到的無向圖稱為基圖.
將無向圖每條邊都指定方向而得到的有向圖稱為定向圖.
圖的頂點數被稱為階,階為1的簡單圖稱為平凡圖,邊數為0的圖被稱為無邊圖,也稱為空圖,頂點數和邊數都是有限的圖稱為有限圖.