HALL定理
Hall 結婚定理(Hall’s Marriage Theorem)與其應用─此定理由英國數學家Philip
Hall 提出。令 V 與W 為兩個分開的族群,但 V 至W 之間有連線,令 V 的任一
個部份集合的元素個數為S,而其連線至 W 的對應的個數為R( S)。如果| S| | R( S)|,
則V 的每一個元素都可在W 中找到一個專屬於自己的對應。

Eg. 某婚友社想要撮合 3 個男生:周杰倫( a)、劉德華( b) 、蘇友朋( c) 與 4 個女
生:林志玲( r ) 、侯佩岑( s ) 、林嘉綺( t ) 、白歆惠( u) 。如果周杰倫喜歡林志玲與侯
佩岑,劉德華喜歡侯佩岑與白歆惠,蘇友朋喜歡林志玲、林嘉綺與白歆惠,那麼
是否每個男生都可以配到心愛的女人?
(解): 如果 S
1
={a,b,c },則 R( S1
)={ r ,s ,t ,u},於是
| S
1
|=3<4=|R(S1
)|
如果 S2
={a,b} ,則 R( S2
)={ r ,s ,u} ,於是
| S2
|=2<3=|R(S2
)|
如果 S3
={a,c } ,則R( S3
)={ r ,s ,t ,u} ,於是
| S3
|=2<4=|R(S3
)|
如果S4
={b,c } ,則R( S4
)= {r ,s,t ,u} ,於是
| S4
|=2<4=|R(S4
)|
∴ 每個男生都可以配到心愛的女人!

Eg. 某婚友社想要撮合3 個男生:金城武( a)、彭政閔( b) 、張家浩( c) 與 4 個女
生:柯以柔( r ) 、許純美( s ) 、蔡淑臻( t ) 、如花( u) 。如果金城武喜歡柯以柔與蔡淑
臻,彭政閔只喜歡蔡淑臻,張家浩喜歡柯以柔與蔡淑臻,那麼是否每個男生都可
以配到心愛的女人?
(解):如果 S={a,b, c } ,則 R( S)={ r ,t } ,於是
| S|=3>2=|R(S)|
∴無法每個男生都可以配到心愛的女人!
例如金城武娶柯以柔而彭政閔娶蔡淑臻,則張家
浩就娶不到心愛的女人。同樣地,如果張家浩娶
柯以柔而彭政閔娶蔡淑臻, 則金城武就娶不到心
愛的女人。

作者:火星十一郎
出处:http://www.cnblogs.com/hxsyl/

hall's marriage theorem相关推荐

  1. 二部图Hall定理学习笔记

    离散数学PPT: Hall定理 定理(Hall定理) 设二部图G=<V1,V2,E>中,|V1|≤|V2|. G中存在从V1到V2的完备匹配当且仅当V1中任意k 个顶点至少与V2中的k个顶 ...

  2. Educational Codeforces Round 47

    G. Allowed Letters 题目描述:有一个字符串,由'abcdef'组成,现在对这个字符串进行重排,并满足每个位置能选择的字符,输出重排后字典序最小的字符串,或无解 solution 逐位 ...

  3. 连通域最小外接矩形算法原理_算法|图论 2W字知识点整理(超全面)

    作者:SovietPower✨ 链接:https://ac.nowcoder.com/discuss/186584 来源:牛客网 度数序列 对于无向图, 为每个点的度数.有 (每条边被计算两次).有偶 ...

  4. tutte定理证明hall定理_深入浅出|中心极限定理(Central Limit Theorem)及证明

    在介绍统计学中最重要的定理之一-中心极限定理-之前,我们先来想一个问题:统计学的目的是什么?根据<Mathematical statistics with application 7th Edi ...

  5. ADPRL - 近似动态规划和强化学习 - Note 5 - Banach Fixed Point Theorem in Dynamic Programming

    动态规划中的巴拿赫不动点定理 5. Banach Fixed Point Theorem in Dynamic Programming 5.1 巴拿赫不动点定理定理 (Banach fixed poi ...

  6. TCO 2015 1A Hard.Revmatching(Hall定理)

    \(Description\) 给定一个\(n\)个点的二分图,每条边有边权.求一个边权最小的边集,使得删除该边集后不存在完备匹配. \(n\leq20\). \(Solution\) 设点集为\(S ...

  7. Rouche Theorem(Stein复分析)

    Rouche Theorem: \quadIffandgareholomorphicfunctionsinaregionΩcontainingacircleCanditsinterior,and∣f( ...

  8. 简要介绍一下贝叶斯定理( Bayes‘ theorem)

    简要介绍一下贝叶斯定理( Bayes' theorem) 在引出贝叶斯定理之前,先学习几个定义: 条件概率(又称后验概率)就是事件A在另外一个事件B已经发生条件下的发生概率.条件概率表示为P(A|B) ...

  9. HDOJ 1914 The Stable Marriage Problem

    rt 稳定婚姻匹配问题 The Stable Marriage Problem Time Limit: 5000/1000 MS (Java/Others)    Memory Limit: 6553 ...

最新文章

  1. 如何在命令行上创建符合特定规范的密码?
  2. 提高项目开发效率之--会议室墙的进度表
  3. Linux下LCD 10分钟自动关屏的问题总结
  4. 荣耀9igoogle模式_iGoogle个性化主页的6种替代方法
  5. Linux基础(用户身份和文件权限)
  6. vmix安装无法连接远程服务器_Windows server 2012 云服务器建站教程 (1):远程连接桌面+IIS服务器安装...
  7. 为什么需要字节对齐?
  8. vue2 递归组件--树形
  9. 中专计算机系专业总结范文,计算机*的中专生自我鉴定范文
  10. Class 'QrCode' not found ? 和 laravel 生成二维码接口(Simple QrCod)
  11. 关闭smartview 版本更新提示
  12. npm ERR! y@1.0.0 dev: `webpack-dev-server --inline --progress --config build/webpack.dev.conf.js`
  13. win10搜索框没反应或者搜索太慢,看这篇就够了
  14. 魔兽世界模型浏览器WowModelExplorer演示
  15. C++获取Unix时间戳(分别以秒和毫秒为单位)的几种方法
  16. 2020中国互联网十大人物
  17. windows下,配置apache2.4.39执行typhon生成的cgi程序
  18. 手机浏览器显示word文档
  19. java中的i/o体系结构及流分类
  20. RL02: Q-Learning, create an autonomous Taxi (Part 2/2)

热门文章

  1. w3wp.exe内存占用过高(网站打不开,应用程序池回收就正常)
  2. 通过poi操作ppt中的图片
  3. 用Node.JS+MongoDB搭建个人博客(成品展示)
  4. Haproxy全透明代理
  5. wpf(c#)中获取ComboBox选项值
  6. XMLHttpRepuest2
  7. wpf custom control
  8. Codeforces Round #Pi (Div. 2) D. One-Dimensional Battle Ships set区间分解
  9. I/O端口地址分配表(转)
  10. 服务机器人---建图工具