系.一个两部分分别有 m 和 n 个顶点二分图的双相邻矩阵是一个 formula_28(0,1) 矩阵，满足如果两个顶点相邻，矩阵中的该行该列对应到的元素是 1，反之如果两点不相邻则对应到 0。双相邻矩阵可以用来描述二分图、超图和有向图的等价关系。超图的定义如同简单图，由顶点和边组成，但是一个边可以有超过两个段点，因为一个边被重新定义做顶点集合的一个子集合。可以用二分图 (U,V,E) 来描述超图，其中 U 是超图的顶点集合，V 是超图的边集合，U、V 中的两元素 u, v 有连边若且唯若在超图中，u