和 formula_2 当做一个着色：formula_1 中所有顶点为蓝色，formula_2 中所有顶点着绿色，每条边的两个端点的颜色不同，符合图着色问题的要求。相反的，非二分图无法被二着色，例如 formula_5(3 个顶点的完全图)，将其中一个顶点着蓝色并且另外一个着绿色后，第三个顶点与上述具有两个颜色的顶点相连，无法再对它着蓝色或绿色。二分图的一种描述方式为：formula_6，包含了独立集 formula_1 和 formula_2，以及边 formula_9 的资讯。假如formula_