Uva 10984 Double NP-hard(二分图)

该博客探讨了如何解决Uva在线判题系统中的10984题,即Double NP-hard问题。通过分析,博主指出该问题首先需判断图是否为二分图,因为非二分图必然无法找到满足条件的解。接着,博主解释在二分图情况下,点集的最小覆盖集和最大独立集的大小相等,且等于图中节点数的一半。因此,解集可以是图中任意一部分节点,如X部或Y部。
摘要由CSDN通过智能技术生成

题目地址: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
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值