题目地址:https://uva.onlinejudge.org/index.php?option=com_onlinejudge&Itemid=8&page=show_problem&problem=1925
思路:
1.求一点集,使得其为图的最小覆盖集和最大独立集。
2.首先,若该图不为二分图,则必无解:若不为二分图,则存在奇数长度回路,设该回路上点数为2*k+1。则由定义,至多k个点在最大独立集中,至少k+1个点在最小覆盖集中,矛盾。所以必不存在奇数长度回路。
2.二分图条件下,X部与Y部点数必相同:由二分图性质得最大匹配数=最小覆盖集大小,最大独立集大小=n-最大匹配数。由于最大匹配数不大于min{|X|,|Y|},所以最小覆盖集不超过min{|X|,|Y|}。则最大独立集不小于max{|X|,|Y|},则若最大独立集大小等于最小覆盖集大小则必须|X|等于|Y|。
3.由于最大独立集大小等于最小覆盖集大小,即最大匹配数=n-最大匹配数,则最大匹配数等于n/2存在解(由2,n为奇数必无解)。
4.综上,点集即为X部或Y部。
#include<qu