标签：M为G的最大匹配，对于G中每个未覆盖顶点v，选取与v关联的边组成集合N，则MÈN是G的最小边覆盖