‌‍设G是n阶无孤立点的图，则V*是G的顶点覆盖，当且仅当VV*是G的独立集