偶圖

偶圖(bigraph)是有兩個相互獨立的位置圖和連線圖構成。偶圖的概念是由圖靈獎獲得者Milner提出的，其目的為普適計算提供統一的元模型。

若無向圖G = <V,E>的結點集V能夠劃分為兩個子集V1,V2，滿足V1∩V2 = F(空集)，且V1∪V2 = V（全集），使得G中任意一條邊的兩個端點，一個屬於V1，另一個屬於V2，則稱G為偶圖（Bipartite Graph）或二分圖（Bigraph）。V1和V2稱為互補結點子集，偶圖也可記為G = <V1,E,V2>。