其他分享
首页 > 其他分享> > Hall定理/正则二部图完美匹配

Hall定理/正则二部图完美匹配

作者:互联网

相异代表系

设 \(S_1,S_2,\cdots,S_m\) 是一族集合,它们的一个相异代表系为一个 \(m\) 维向量 \((x_1,x_2,\cdots,x_m)\)

满足:

相异代表系也简称为SDR

对于一族指标 \(J\subseteq[m]\),我们定义它们的并 \(\text{union}(J)\) 为:

\[\text{union}(J)=\bigcup\limits_{j\in J}S_j \]

Hall定理

有限集族 \(S_1,S_2,\cdots,S_m\) 存在SDR当且仅当HC成立,其中HC:\(\forall J\subseteq[m],|\text{union}(J)|\ge|J|\)

(严谨性未知)

笔者口胡的反证法:如果一个集合满足HC但是不存在SDR,那么一定存在一个 \(S_i\),其中的元素无法选择,并且对于 \(j\ne i\),\(S_j\) 中选择的元素无法更换,因为如果可以更换,那么我们相应的更换 \(S_k,k\ne j,k\ne i\) 中的元素,直到更换至 \(S_i\),即存在SDR,此时我们不选择 \(S_i\),余下的集族不满足HC,矛盾

(正规证明)

使用数学归纳法:

定义一个指标族 \(J\) 临界,若 \(\{S_j:j\in J\}\) 存在SDR,并且 \(|\text{union}(J)|=|J|\)

空集与全集如果是临界指标族,那么称为平凡的临界指标族

首先我们讨论 \(S_1,S_2,\cdots,S_m\) 不存在非平凡临界指标族

显然当 \(m=1\) 时成立,现在我们假设在小于 \(m\) 时均成立

显然由HC得 \(S_m\) 非空,我们选择一个元素 \(x_m\in S_m\),将 \(S_i(1\le i< m)\) 里的 \(x_m\) 剔除,将此剔除后的集合的并函数设为 \(\text{union}^\prime(J)\)

注意到不存在非平凡临界指标族,所以之后对于 \(J\subseteq[m-1]\),有:

\[\begin{align*} |\text{union}^\prime(J)|&=|\text{union}(J)|+1 \\ &\ge|J|+1-1 \\ &\ge|J| \end{align*} \]

满足了HC,之后构造SDR显然,证毕

现在我们来讨论存在非平凡临界指标族的情况

由上例的思想,我们显然可以将这一个非平凡临界指标族捆绑起来,然后从剩余的里面剔除掉这个指标族的并,然后由于 \(J\) 是临界的,我们直接展开即得

\(\bold{1.}\) 设 \((A_1,A_2,\cdots,A_m)\) 为 \(\{1,2,\cdots,n\}\) 的一个子集组,且关联矩阵

\[\bold M=(m_{ij}),m_{ij}= \begin{cases} 1&i\in A_j \\ 0&i\notin A_j \end{cases} \]

可逆,证明 \((A_1,A_2,\cdots,A_m)\) 有SDR

证:

可逆 \(\Rightarrow\) 非降秩矩阵,证毕

\(\bold{2.}\) 01矩阵的最小覆盖数 \(m\) 等于最大匹配数 \(M\)

证:

匹配显然要找一对行与列都不同的 \(1\),这一对 \(1\) 显然要至少 \(1\) 条线来覆盖,即 \(m\ge M\)

然后我们设 \(S_i\) 为一条横线上存在的 \(1\) 的位置,在满足最小覆盖的情况下,显然这东西满足HC,因此存在一个SDR,可推出 \(M\ge m\),即 \(m=M\)

正则二部图完美匹配

二部图 \(G=X\triangle Y\) 具有覆盖了 \(X\) 的匹配当且仅当HC2成立,HC2:\(\forall J\subseteq X,|N(J)|\ge|J|\)

其中对于一个图 \(G=(V,E)\),\(N(v)=\{u\in V:u\sim v\}\),\(u\sim v\) 当且仅当有边连接它们

不难发现这就是HC换了个皮,证明也很显然

定理:正则的二部图一定存在完美匹配

设此二部图为 \(G=X\triangle Y\),并且 \(\forall y\in Y,\exist x\in X,x\sim y\)

设 \(\deg(v)=k\),其中 \(\deg(v)\) 表示顶点 \(v\) 的度

事实上如果 \(G\) 中存在孤立点,那么此图不存在边

也就是说 \(E=\varnothing\)

现在我们来证明 \(|X|=|Y|\),不难发现 \(\sum\limits_{x\in X}\deg(x)=\sum\limits_{y\in Y}\deg(y)\),由此图正则即可得

\(\forall J\in X\),\(F=\{e:e\in E,e_f\in J,e_t\in Y\}\),其中 \(e_f\) 与 \(e_t\) 分别是一条边的起点与终点

则显然有 \(|F|=k|J|\),\(|F|\le k|N(J)|\)

\(|N(J)|\ge |J|\),证毕

标签:SDR,union,text,ge,二部,正则,cdots,HC,Hall
来源: https://www.cnblogs.com/zythonc/p/14634748.html