且使一条边的两个顶点颜色不同，则对应的解空间树是一棵()