| 查看: 1715 | 回复: 11 | |||
| 当前只显示满足指定条件的回帖，点击这里查看本话题的所有回帖 | |||
[求助]
图论 已有1人参与
|
|||
| 各位大神求证明！证明任意一个边数不为0的简单图G，都含有一个二部生成子图H，该子图H两部分的顶点数目差绝对值不超过1，且子图H中的边数目e(H)>1/2*e(G) |
回复此楼» 猜你喜欢
情人节自我反思：在爱情中有过遗憾吗？
已经有6人回复
-
售SCI一区文章，我:8 O5 51O 54,科目齐全,可+急
已经有3人回复
-
售SCI一区文章，我:8 O5 51O 54,科目齐全,可+急
已经有3人回复
-
售SCI一区文章，我:8 O5 51O 54,科目齐全,可+急
已经有3人回复
-
售SCI一区文章，我:8 O5 51O 54,科目齐全,可+急
已经有3人回复
-
售SCI一区文章，我:8 O5 51O 54,科目齐全,可+急
已经有3人回复
-
售SCI一区文章，我:8 O5 51O 54,科目齐全,可+急
已经有4人回复
-
售SCI一区文章，我:8 O5 51O 54,科目齐全,可+急
已经有4人回复
-
售SCI一区文章，我:8 O5 51O 54,科目齐全,可+急
已经有4人回复
-
售SCI一区文章，我:8 O5 51O 54,科目齐全,可+急
已经有4人回复
sskkyy
银虫 (正式写手)
- 数学EPI: 1
- 应助: 180 (高中生)
- 金币: 1016.9
- 散金: 376
- 红花: 18
- 帖子: 742
- 在线: 245.1小时
- 虫号: 1324155
- 注册: 2011-06-16
- 专业: 拓扑学
【答案】应助回帖
★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★ ★
napoleon_999: 金币+40, ★有帮助 2015-03-10 18:58:54
napoleon_999: 金币+40, ★有帮助 2015-03-10 18:58:54
|
下面证明这样的二部图可以取为两部分的顶点数最多相差1. 如果你在最特殊的G，比如G本身就是二部图，的情形想明白了，一般的情况可以类似的证明。 假设已经有二部图H满足了边的关系e(H)>1/2*e(G)。因为考虑的是有限图，可以假设适当选取这样的H使得|Y|-|X|>=0，并且这个差是最小的。假设|Y|-|X|>1，我们证明将会有矛盾发生。通过上述证明发现d_H(v)>=1/2*d_G(v)， 即2d_H(v)>=d_G(v)， 设d'(v)=d_G(v) - d_H(v)。假设d'(v0)为{d'(v): v \in Y}集合中的最小者，那么把v0 移到X中，直接检验可知e(H)>1/2*e(G)任然成立，但是|Y|-|X|变小了。 |
5楼2015-03-10 14:40:02
sskkyy
银虫 (正式写手)
- 数学EPI: 1
- 应助: 180 (高中生)
- 金币: 1016.9
- 散金: 376
- 红花: 18
- 帖子: 742
- 在线: 245.1小时
- 虫号: 1324155
- 注册: 2011-06-16
- 专业: 拓扑学
2楼2015-03-09 17:07:51
3楼2015-03-10 08:17:06
sskkyy
银虫 (正式写手)
- 数学EPI: 1
- 应助: 180 (高中生)
- 金币: 1016.9
- 散金: 376
- 红花: 18
- 帖子: 742
- 在线: 245.1小时
- 虫号: 1324155
- 注册: 2011-06-16
- 专业: 拓扑学
【答案】应助回帖
|
如果不要求二部图两部分顶点数最多相差1，这是教科书上标准的内容，下面是个大致证明。 你看这样证明可不可以： Step 1. 把点V(G)分成两部分X,Y,使得X,Y中点的个数最多相差1. Step 2. 先取H为由X,Y生成的二部图，即对G除去端点含在X（或者Y）中的边。 如果e(H)>1/2*e(G), 那么证明完毕。 对X中的每个点v, 如果度d_H(v)<1/2*d_G(v), 那么把点v移到Y中。注意此时d_H(v)>=1/2*d_G(v). 因为X为有限集合，有限部后终止。 Step 3. 因为每个顶点v 都有d_H(v)>=1/2*d_G(v)， 所以2e(H) = \sum d_H(v) >= 1/2* \sum d_G(v) = e(G). 注意到如果有一个v使得d_H(v)>1/2*d_G(v)， 那么上面的不等式是严格的，即2e(H)>e(G)。 Step 4. 假设对所有的v，d_H(v)=1/2*d_G(v)。 把X中的任意顶点v与它在Y中的某个相邻顶点u对换，那么就会发现d_H(v)>1/2*d_G(v). 化简为讨论过的情形了。 |
4楼2015-03-10 14:29:37
10