版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领
文档简介
1、会计学1二分图的对集二分图的对集 设二分图为 ,本节求饱和 中每个点的对集的一个充分必要条件,这是Hall在1935年给出的,称为Hall定理。 );,(EYXG X定义定义5.3.1 中 的邻域 ,即与 中顶点相邻的所有顶点全体。GGVS),(SuGGuNSN)()(SS例 1v6v5v4v3v2v145 ,Sv v v2456( ) ,GNSv v v v第1页/共15页SX( )GSS|N|(, ;)GX Y E),(21mAAAA, 2 , 1mJJAJii第2页/共15页M);,(EYXG XX,21rxxxSYrriiiyyy,21Mrxxx,21SSNG)(第3页/共15页 充分
2、性:充分性:假设 满足条件, 是 的一个最大对集。下证 饱和 中所有点。 反证法。假设 是一个非饱和点。令记 为 中在 下与 配对的顶点集合。 下证 ,其中 。 否则,设 ,记 ,使 ,则 。下分两种情况讨论:,|交错路的到中存在从MxuGuXxxABSNG)(uAS);,(EYXG MGXuBYMAMBSNyG)(Sx)(GEyxMyx第4页/共15页yMGMyMXx 0uASxMyx0Sx 0By第5页/共15页推论推论5.3.25.3.2 二分图 有完美对集的充分必要条件是 ,并且对一切 ,均有(, ;)GX Y EXYSX( )GSS|N|第6页/共15页 推论推论5.3.3 是 正则
3、二分图,则 有完美对集。 证证: 是 正则二分图,则 ,分别用 表示与 中顶点相关联的边子集。而 是 正则二分图,故 。由推论5.3.2, 有完美对集。 XSYX. |21, EE)(,SNSG12EE| )(| )(|21SNSSNkESkEGG);,(EYXG );,(EYXG (0)k k (0)k k G(0)k k GGS( )GNSXY2E1E第7页/共15页推论推论5.3.45.3.4 设 是连通的二分图,则G的每一条边都含在一个完美对集中的充分必要条件是 ,且对X的每一个非空真子集S,均有G (X,Y;E)XY( )1GSS|N|第8页/共15页XSG)(SNyGySX xGxyMxyM ,yxG 1)( SSNG第9页/共15页对集。xy , Gx y , |( )| |Gx yNSS XxMxyMxy充分性:充分性:S,yxG xX G第10页/共15页nn, 2 , 1n, 2 , 1第11页/共15页则只要将纸牌中的1朝上; 中的2朝上,中的朝上等等。);,(EYXG , 2 , 1nX,21nyyyYnnijyijyG,2 ,121nnyyyM1y2ynyn第12页/共15页1y2y3y4y5y6y7y第13页/共15页1y2y3
温馨提示
- 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
- 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
- 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
- 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
- 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
- 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
- 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
最新文档
- 《公共政策系统》课件
- 学校学生管理培训课件
- 病案(历) 保管制度
- 谷电多能互补清洁供暖系统 应用技术规程(报批稿)
- 土建技术培训
- 《汉字的构成》课件
- 《电子支付网上银行》课件
- 圣诞节优惠活动
- 培训行业工作计划
- 大学新教师述职报告
- 2024-2030年中国建筑施工行业运行状况及发展规模分析报告
- 放射科专科护理模拟题含参考答案
- 家政培训讲师课件
- 2024年大型科学仪器共享与服务合作协议
- 2024-2025学年苏科版七年级数学上册期中复习试卷
- 露天矿安全生产年度总结
- 生态文明学习通超星期末考试答案章节答案2024年
- 2023秋部编版四年级语文上册第2单元大单元教学设计
- (完整版)新概念英语第一册单词表(打印版)
- 第七讲社会主义现代化建设的教育、科技、人才战略教学课件
- 安全护理:穿脱隔离衣
评论
0/150
提交评论