邊 (圖論)

在圖論中，簡單邊是指連接2個相異點的邊。簡單圖的每一個邊皆為簡單邊。更正式地，簡單邊可以定義為，有一個圖${\displaystyle G}$是一個二元組${\displaystyle G=(V,E)}$，其中${\displaystyle V}$是點集、${\displaystyle E}$是邊集，並且滿足${\displaystyle E\subseteq \left\{\left\{x,y\right\}:(x,y)\in V^{2},x\neq y\right\}}$，由所有無序點對構成（換句話說，邊連接了兩相異點），而這個連接了此兩個相異點的邊則稱為簡單邊。[1][2]

在圖論中，超邊又稱超連結（hyperlinks）、接口或連接（connectors）[3] 是指連接任意數量點的邊，其連接的點數量不一定為2個，可能是3個或更多。更正式地，超邊可以定義為，有一個超圖${\displaystyle H}$是一個二元組${\displaystyle H=(X,E)}$ where ${\displaystyle X}$，其中${\displaystyle X}$是點集、${\displaystyle E}$是邊集，且邊集是${\displaystyle {\mathcal {P}}(X)\setminus \{\emptyset \}}$的子集、${\displaystyle {\mathcal {P}}(X)}$是${\displaystyle X}$的冪集，而${\displaystyle {\mathcal {P}}(X)\setminus \{\emptyset \}}$中的邊稱為超邊。

在不同領域中，超邊有許多不同的名稱，例如，在計算幾何學中，超邊又可以被稱為範圍（ranges）[4]、在合作博弈論中，超邊又可稱為簡單博弈（simple games）[5]。

擁有自環的圖。

在图论中，自环（Loop）是一条頂點与自身连接的边[6][7][8][9][10][11]。而花束圖中所有的邊皆為自环。[12]

若一個邊不具有方向性，則稱該邊為無向邊，其可以視為2個點的集合，或只有2個點的超邊。無向邊也可以在有向圖中存在，即雙向連結都存在的邊，例如有兩點A和B，若同時存在A到B的邊和B到A的邊，則這條邊在這個有向圖中可以稱為一個無向邊。

在图论中，有向邊又稱弧或箭。若一個邊具有方向性，則稱該邊為有向邊。有向邊通常會包含一個起點與終點。

有向邊也可以推廣到超圖中，其中一種對於有向超邊的定義為，有向超邊可以被定義為一個有序對(T,H)，其中T代表終點集、H代表起點集，H與T是兩不相交的集合。[13]