二分图相关结论及口胡证明

考虑点集A,B二分图
最小点覆盖
概念:用最少的点覆盖二分图中所有边。
结论:最小覆盖点=最大匹配
证明:选择点集A所有匹配点,如果还存在一条边的两个端点都不在匹配点中那么让该两点匹配则最大匹配数目会增加,矛盾。
最小边覆盖
概念:用最少的边覆盖点集A,B中的所有点。
结论:最小边覆盖=总点数-最大匹配
证明:最小边覆盖=最大匹配+没匹配的点数,总点数=2×最大匹配+没匹配的点数。因此最小边覆盖=总点数-最大匹配
最大独立集
概念:选出最多的点使得点集内部没有边。
结论:最大独立集=总点数-最大匹配
证明:由于最小点覆盖能过覆盖所有边,因此只需选择除了最小点覆盖中的点即可。即最大独立集=总点数-最小覆盖点=总点数-最大匹配
最小路径点覆盖
概念:对于一个有向图,选出最少的不相交路径使其覆盖所有点。
结论:最小路径覆盖=总点数-最大匹配
证明:将每个点拆成出点和入点,不妨让点集A为出点集合,B为入点集合,那么两点之间的有向边一定能过对应集合A向集合B中的一条边。而路径数目等于起点数目或者终点数目,即出点集合A中所有未匹配点即是终点。让终点数目最小即匹配数目最多,因此最小路径覆盖=总点数-最大匹配
最小路径重复点覆盖
概念:对于一个有向图,选出最少的(能相交)路径使其覆盖所有点。
结论:对原图求传递闭包之后再对新图求最小不相交路径覆盖
证明:对于原图的相交路径,如A->O->C和B->O->D,我们可以传递闭包的方法使之变成A->O->C和B->D这两条不相交的路径。对于新图的不相交路径我们可以通过传递闭包方法连接的路径中间点加上即原图的一条相交路径。

以上全是口胡论述,存在很多不严谨之处,不建议新学者看,记下来只是为了方便自己记忆。如果有严重错误或者更简洁的论述请在下方评论谢谢。

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.mzph.cn/news/319628.shtml

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

纪中A组模拟赛总结(2021.7.12)

成绩 rankrankranknamenamenamescorescorescoreT1T1T1T2T2T2T3T3T3t4t4t4131313lyflyflyf868686606060252525000111总结 T1考试的时候想出来DP,很复杂,但是有些细节没想好,打挂了,只拿了60分 T2没有想到方法,就先跳了…

牛客网 每日一题 7月23日题目精讲—wpy的请求

来源:牛客网: 文章目录wpy的请求题解:代码:wpy的请求 时间限制:C/C 1秒,其他语言2秒 空间限制:C/C 262144K,其他语言524288K Special Judge, 64bit IO Format: %lld题目描述 “题目…

大型科技公司架构:中台模式的爱与恨

大型企业面对快速变化的市场形势,需要有像创业公司一样快速的反应能力。然而由于复杂的人员和层级关系,大企业做到“拥抱变化”是很困难的。传统以职能部门分治的树状组织架构,若一个底层员工有个好点子,就不得不自下而上说服管理…

Codeforces Round #667 (Div. 3)

A - Yet Another Two Integers Problem 数学题&#xff0c;每次先加减10&#xff0c;最后一步缺多少加减多少 #define IO ios::sync_with_stdio(false);cin.tie();cout.tie(0) #pragma GCC optimize(2) #include<iostream> #include<algorithm> using namespace …

P6640-[BJOI2020]封印【SAM,二分】

正题 题目链接:https://www.luogu.com.cn/problem/P6640 题目大意 给出两个字符串s,ts,ts,t。qqq次给出l,rl,rl,r询问sl∼rs_{l\sim r}sl∼r​与ttt的最长公共子串。 解题思路 对于末尾的条件很好做&#xff0c;直接上SAMSAMSAM就好了&#xff0c;设fif_ifi​表示一个最大的…

牛客网 【每日一题】7月27日题目精讲—乌龟棋

来源&#xff1a;牛客网&#xff1a; 乌龟棋 时间限制&#xff1a;C/C 1秒&#xff0c;其他语言2秒 空间限制&#xff1a;C/C 131072K&#xff0c;其他语言262144K 64bit IO Format: %lld文章目录乌龟棋题目描述题解&#xff1a;代码&#xff1a;题目描述 小明过生日的时候&…

【费用流】摘取作物(jozj 3447)

正题 jozj 3447 题目大意 给你一个n*m的矩阵&#xff0c;每个位置有一个数&#xff0c;每一行每一列都只能选两个数&#xff0c;问你所选数字之和最大是多少 解题思路 对于该矩阵&#xff0c;我们可以建立一个网络图&#xff08;如下图&#xff09; 对于每一行建立建立一个…

如何在.NET Core控制台程序中使用依赖注入

背景介绍依赖注入(Dependency Injection), 是面向对象编程中的一种设计原则&#xff0c;可以用来减低代码之间的耦合度。在.NET Core MVC中我们可以在Startup.cs文件的ConfigureService方法中使用服务容器IServiceCollection注册接口及其实现类的映射。例如&#xff0c;当我们需…

Codeforces Round #668 (Div. 2)

前20分钟做题&#xff0c;后面看题&#xff0c;二题战士&#xff0c;赛后补题www A - Permutation Forgery 直接逆序输出即可 #define IO ios::sync_with_stdio(false);cin.tie();cout.tie(0) #pragma GCC optimize(2) #include<iostream> #include<algorithm> …

CF438E-The Child and Binary Tree【生成函数】

正题 题目链接:https://www.luogu.com.cn/problem/CF438E 题目大意 每个节点有nnn个权值可以选择&#xff0c;对于1∼m1\sim m1∼m中的每个数字kkk&#xff0c;求权值和为kkk的二叉树个数。 解题思路 设fnf_nfn​表示权值和为nnn的方案数&#xff0c;gng_ngn​表示nnn这个权…

纪中A组模拟赛总结(2021.7.13)

成绩 rankrankranknamenamenamescorescorescoreT1T1T1T2T2T2T3T3T3121212lyflyflyf150150150100100100303030202020总结 比赛的时候TJH直接怒言&#xff1a;T1不是网络流吗&#xff01;&#xff01;&#xff01;然后想了想网络流&#xff0c;发现可以用费用流&#xff0c;但只…

牛客网 【每日一题】7月24日题目精讲—小A的柱状图

链接&#xff1a; 文章目录题目描述题解&#xff1a;代码&#xff1a;小A的柱状图时间限制&#xff1a;C/C 1秒&#xff0c;其他语言2秒 空间限制&#xff1a;C/C 262144K&#xff0c;其他语言524288K 64bit IO Format: %lld题目描述 柱状图是有一些宽度相等的矩形下端对齐以后…

在asp.net core2.1中添加中间件以扩展Swashbuckle.AspNetCore3.0支持简单的文档访问权限控制...

Swashbuckle.AspNetCore3.0 介绍一个使用 ASP.NET Core 构建的 API 的 Swagger 工具。直接从您的路由&#xff0c;控制器和模型生成漂亮的 API 文档&#xff0c;包括用于探索和测试操作的 UI。项目主页&#xff1a;https://github.com/domaindrivendev/Swashbuckle.AspNetCore划…

Codeforces Round #669 (Div. 2)

那天晚上和同学打球打的有点晚&#xff0c;结果就鸽了&#xff0c;现在来补一下 A - Ahahahahahahahaha 直接看原数组中0的个数cnt0和1的个数cnt1&#xff0c;谁多留谁即可&#xff0c;注意留1的时候要留偶数个。 #define IO ios::sync_with_stdio(false);cin.tie();cout.ti…

P3235-[HNOI2014]江南乐【整除分块,SG函数】

正题 题目链接:https://www.luogu.com.cn/problem/P3235 题目大意 TTT组游戏&#xff0c;固定给出FFF。每组游戏有nnn个石头&#xff0c;每次操作的人可以选择一个数量不少于FFF的石堆并把它尽量均摊成MMM堆(M>1)(M>1)(M>1)。无法操作的人输&#xff0c;求每组游戏是…

【线段树】二进制(luogu 4428)

正题 luogu 4428 题目大意 给你一个01串&#xff0c;让你进行一下两种操作&#xff1a; 1.将其中一位取反 2.问你某一段中有多少个子串满足有一种排列方案&#xff0c;使得组成的二进制数是3的倍数 解题思路 不难发现&#xff0c;因为2%32&#xff0c;所以2的幂%3的结果按12…

牛客网【每日一题】7月29日题目精讲—Max Power

来源&#xff1a;牛客网&#xff1a; Max Power 时间限制&#xff1a;C/C 1秒&#xff0c;其他语言2秒 空间限制&#xff1a;C/C 32768K&#xff0c;其他语言65536K 64bit IO Format: %lld题目描述 小卤蛋刚把dnf的技能点重新洗了一遍,现在他要重新加点,假设他的技能树一共有…

Swashbuckle.AspNetCore3.0的二次封装与使用

关于 Swashbuckle.AspNetCore3.0一个使用 ASP.NET Core 构建的 API 的 Swagger 工具。直接从您的路由&#xff0c;控制器和模型生成漂亮的 API 文档&#xff0c;包括用于探索和测试操作的 UI。项目主页&#xff1a;https://github.com/domaindrivendev/Swashbuckle.AspNetCore项…

牛客练习赛 69

第一次打牛客直接。。。 y1s1牛客的评测系统真的慢&#xff0c;搞得我不想交 B - 划分 题目链接 首先先对数组a[]逆序贪心可得val(i,j)a1a2⋯aijval(i,j)a_1a_2\dotsa_{ij}val(i,j)a1​a2​⋯aij​ 尝试证明&#xff1a;分析可知我们最终会选择ijijij个数组a[]的数&#xff0…

P3645-[APIO2015]雅加达的摩天楼【bfs,根号分治】

正题 题目链接:https://www.luogu.com.cn/problem/P3645 题目大意 nnn个点&#xff0c;mmm条狗&#xff0c;第iii条狗可以往左或者右跳恰好pip_ipi​步&#xff0c;开始是000号狗&#xff0c;每次跳跃到达一个点可以选择换一条狗&#xff0c;求到111号狗所在点的最短路。 解题…