偶图（bigraph）是由两个相互独立的位置图和连接图构成。偶图的概念是由图灵奖获得者Milner提出的，其目的为普适计算提供统一的元模型。
偶图介绍
偶图（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>。
