* 一个图是二部图当且仅当它的顶点集 <math>V</math>可分为2个集合 <math>A</math>和<math>B</math>,以至于<math>\sum_{v \in A} \deg(v) = \sum_{v \in B} \deg(v)</math>, <math> \forall v \in A \deg(v) \leq |B| </math> 和<math> \forall v \in B \deg(v) \leq |A| </math> | * 一个图是二部图当且仅当它的顶点集 <math>V</math>可分为2个集合 <math>A</math>和<math>B</math>,以至于<math>\sum_{v \in A} \deg(v) = \sum_{v \in B} \deg(v)</math>, <math> \forall v \in A \deg(v) \leq |B| </math> 和<math> \forall v \in B \deg(v) \leq |A| </math> |