本网页所有文字内容由 imapbox邮箱云存储,邮箱网盘, iurlBox网页地址收藏管理器 下载并得到。
ImapBox 邮箱网盘 工具地址: https://www.imapbox.com/download/ImapBox.5.5.1_Build20141205_CHS_Bit32.exe
PC6下载站地址:PC6下载站分流下载
本网页所有视频内容由 imoviebox边看边下-网页视频下载, iurlBox网页地址收藏管理器 下载并得到。
ImovieBox 网页视频 工具地址: https://www.imapbox.com/download/ImovieBox4.7.0_Build20141115_CHS.exe
本文章由: imapbox邮箱云存储,邮箱网盘,ImageBox 图片批量下载器,网页图片批量下载专家,网页图片批量下载器,获取到文章图片,imoviebox网页视频批量下载器,下载视频内容,为您提供.
Liu-Zhou定理: 若 G= ( X, Y ) 是连通二分图,则 G 的最大导出匹配数为 iμ( G ) = Max{ | S | | S ⊆ X 且对于任意 T ⊆ S 有 NG( S ) ≠ NG( T ) } 证明: 若集合 T 满足对于任意 T ⊆ S 有 NG( S ) ≠ NG( T ) ,则称 T 满足性质 ρ, 设 k = Max{ | S | | S ⊆ X 且 S 具备性质ρ }, 设 M 为 G 中的最大导出匹配,MX 为 X 部集中被 M 饱和的点集,MY 为 Y 部集中被 M 饱和的点集。 EG( MX,MY ) = M ,对于任意 R ⊆ MX,有 NG(R)≠ NG(MX), | NG( R ) ∩ MY | = | NM( R ) | = | R | < | MX | = | NG( MX ) ∩ MY |, 所以 || M || = | MX | ≤ k。 再证明 || M || ≥ k,设 S 是具有 ([ a1, a2 …… ak ]) 具有性质 ρ 且基数为 k 的集合。 那么,对于 1 ≤ i ≤ k,有 NG( S – ai ) ≠ NG( S ) ,可以推出 NG(ai)∉ ∪j≠i NG(aj), 取 bi ∈ NG(ai)-∪j≠i NG(aj),那么 { aibi | 1 ≤ i ≤ k } 是具有 k 条边的导出匹配。则 || M || ≥ k。
阅读和此文章类似的: 程序员专区