炸弹(二分图最大匹配 = 二分图最小顶点覆盖=总点数 - 二分图最大独立集=总点数 - 最小路径覆盖)

本文介绍了如何通过图论中的二分图最小点集覆盖等价于最大匹配来解决问题。作者详细解释了最小点覆盖和最大匹配的关系,并通过匈牙利算法求解实例。代码示例展示了如何将问题转化为二分图并找到最大匹配,从而求得最小点覆盖。
摘要由CSDN通过智能技术生成

D-炸弹_2022图论班第一章图匹配例题与习题 (nowcoder.com)

看题解前先理解二分图最小点集覆盖 == 最大匹配

一、什么是最小点覆盖
点覆盖的概念定义:
对于图G=(V,E)中的一个点覆盖是一个集合S⊆V使得每一条边至少有一个端点在S中。
最小点覆盖:点个数最少的S集合。

这是我个人理解:↓(其实都一样)
最小点覆盖,就是二分图中每个边至少一个端点在该点集中 的 最小点集。

二、证明
最小点集覆盖 == 最大匹配

①最小点集覆盖<=最大匹配,
假设最小点集覆盖为n, 那么一定能构造出一个为n的匹配, 显然这个匹配<= 最大匹配

②最小点集覆盖 >= 最大匹配。

假设最大匹配为n,所以肯定有n条边,他们的端点互不相同。 因此我们要覆盖这n条边至少要n个定点。

所以 最小点集覆盖>= 最大匹配。

综上:

最小点集覆盖 == 最大匹配

所以可以通过二分图匹配,匈牙利算法来解决最小点覆盖问题

题解:

我们可以把行于列转化为二分图的左部与右部,每一颗陨石都转化为一条边,题目就变成了最小点覆盖问题,二最小点覆盖有等于最大匹配,所以我们直接求我们建的图的最大匹配即可

#include<iostream>
#include<algorithm>
#include<string>
#include<queue>
#include<vector>
#include<map>
#include<cstring>
#include<cmath>
#include<set>
using namespace std;
#define int long long
int n,m;
int vis[505];
int a[505][505];
int link[505];
int dfs(int x)
{
	for(int i = 1;i <= n;i++)
	{
		if(!vis[i]&&a[x][i])
		{
			vis[i] = 1;
			if(!link[i]||dfs(link[i]))
			{
				link[i] = x;
				return 1;
			}
		}
	}
	return 0;
}
void solve()
{
	cin >> n >> m;
	for(int i = 1;i <= m;i++)
	{
		int x,y;
		cin >> x >> y;
		a[x][y] = 1; 
	}
	int res = 0;
	for(int i = 1;i <= n;i++)
	{
		memset(vis,0,sizeof vis);
		if(dfs(i))
		res++;
	}
	cout <<res;
}
//17 5
//
signed main()
{
//	ios::sync_with_stdio(false);
//	cin.tie(0);
//	cout.tie(0);
	int t = 1;
//	cin >> t;
    while(t--)
	{

		solve();
	} 
}

  • 0
    点赞
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值