24小时热门版块排行榜    

CyRhmU.jpeg
南方科技大学公共卫生及应急管理学院2026级博士研究生招生报考通知(长期有效)
查看: 1651  |  回复: 11
当前只显示满足指定条件的回帖,点击这里查看本话题的所有回帖

napoleon_999

木虫 (小有名气)

[求助] 图论已有1人参与

各位大神求证明!证明任意一个边数不为0的简单图G,都含有一个二部生成子图H,该子图H两部分的顶点数目差绝对值不超过1,且子图H中的边数目e(H)>1/2*e(G)
回复此楼
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

napoleon_999

木虫 (小有名气)

引用回帖:
4楼: Originally posted by sskkyy at 2015-03-10 14:29:37
如果不要求二部图两部分顶点数最多相差1,这是教科书上标准的内容,下面是个大致证明。
你看这样证明可不可以:
Step 1. 把点V(G)分成两部分X,Y,使得X,Y中点的个数最多相差1.
Step 2. 先取H为由X,Y生成的二部图 ...

谢谢你!不过还是有些地方看不太懂,比如说第6行定义的应该是顶点v是X中的顶点,所以再进行step3之后保证的只能是对于X中的所有顶点v都有d_H(v)>=1/2*d_G(v),而要得出2e(H) = \sum d_H(v) >= 1/2* \sum d_G(v) = e(G)这个结论恐怕需要对于X和Y中的所有顶点v都有d_H(v)>=1/2*d_G(v),而我觉得要保证Y中的顶点可能是不这么容易的。
6楼2015-03-10 18:57:01
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖
查看全部 12 个回答

sskkyy

银虫 (正式写手)

【答案】应助回帖

感谢参与,应助指数 +1
”二部生成子图H“,里的”生成“,是什么意思呢?二部图中任意点之间的边都算作H里面的吗?还是H本身就是个二部图,它能生成整个图?
2楼2015-03-09 17:07:51
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

napoleon_999

木虫 (小有名气)

引用回帖:
2楼: Originally posted by sskkyy at 2015-03-09 17:07:51
”二部生成子图H“,里的”生成“,是什么意思呢?二部图中任意点之间的边都算作H里面的吗?还是H本身就是个二部图,它能生成整个图?

首先H是G的子图,其次H中的顶点就是G中的所有顶点
3楼2015-03-10 08:17:06
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

sskkyy

银虫 (正式写手)

【答案】应助回帖

引用回帖:
3楼: Originally posted by napoleon_999 at 2015-03-10 08:17:06
首先H是G的子图,其次H中的顶点就是G中的所有顶点...

如果不要求二部图两部分顶点数最多相差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
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖
信息提示
请填处理意见