顶点 匹配 割集 生成 关系