（2010）关于DM部分的图论题

昨晚和秦淮说到一道让他老人家纠结了近半年的离散数学真题。由于昨晚笔者发烧感冒，脑子有些反应滞后，忙到凌晨，身体实在吃不消就没有整理，今天给出个整理中的结论吧（个人分析，仅供参考）：

来看题：

6.有向图G=<{1,2,,3，…，n},{<i,j>|当i,j 同奇偶时且i>j}或{<i,j>|当i,j 不同奇偶时且i<j}>问：
（1）G 是竞赛图吗？为什么？
（2）G 是欧拉图吗？为什么？
（3）G 是哈密顿图吗？为什么？
（4）G 是强连通图吗？为什么？
（5）G 是可平面图吗？为什么？

答：（1）是竞赛图。因为i和j可以取遍{1,2,……n},又根据题意知道每条边位单向边，且每两个顶点都有一条边。根据竞赛图的定义知G是竞赛图

下面来看相关知识点的分析：

                     （a）               (b)               (c)

 

             无向完全图===>有向完全图===>4阶竞赛图(单边单向)

                            每两个顶点间                         去掉两个顶点

                                                    建立2个反向的边                      间一个方向的边

----------------------------------------------------------------------------------------------------------

 6.有向图G=<{1,2,,3，…，n},{<i,j>|当i,j 同奇偶时且i>j}或{<i,j>|当i,j 不同奇偶时且i<j}>问：

  （2）G 是欧拉图吗？为什么？

答:需要分情况讨论(n为偶数时,G不是欧拉图;n为奇数时,G为欧拉图)：

      一.当n为偶数时：

          任取一顶点v，则根据题意，有度：, v的出度, 入度，根据有向连通图是否欧拉图的判定定理知，若有向图G为欧拉图则对任意顶点v有, 矛盾，则G在n为偶数时不时欧拉图。

-------------------->这里的入度出度是这么归纳出来的：如下：

 对任意vi取G中偶数，则，

   偶连偶（<i,j>，i<j）：使vi与G中所有vj(j取遍G中所有奇数，且j不等于i), 

 

，

这是因为偶偶顶点在G中是间隔出现的，偶顶点在G中有n/2个，vi要与其他（n/2）-1个偶顶点相连。

,

这是因为vi的出度为:|{小于i的所有偶数}|-1=(i/2)-1.

,

这是因为 vi的入度为:vi的度-vi的出度.

=============>

偶连奇（<i,j>，i>j）：使vi与G中所有vj(j取遍G中所有奇数，且j不等于i),

 ,

这是因为G中有n/2个奇顶点，任一vi与所有奇顶点相连。

，

这是因为 vi的出度为:|{小于i的所有奇数}|=i/2

这是因为 vi的入度为:vi的度-vi的出度.则此时有：

~~~~~~>同理也可归纳对任意vi，i取G中奇数的情况（结果是一样的），

奇连奇：

                                                   

        

         

 奇连偶：

        

           

      

则此时有：

    

那么也就是在G中有：

即：

.即知有向图G不是欧拉图得证。

二，n为奇数时，类似可以讨论：

可以得到：

，

所以当n为奇数时，有向图G为欧拉图，得证。

---------------------------------------------------------------

 6.有向图G=<{1,2,,3，…，n},{<i,j>|当i,j 同奇偶时且i>j}或{<i,j>|当i,j 不同奇偶时且i<j}>问：

（3）G 是哈密顿图吗？为什么？

答：是哈密顿图。因为G为n阶竞赛图，则G中存在哈密顿通路（定理8.9），且有i,j取遍G中所以顶点，且每个顶点都是相连且有通路的.

----------------------------------------------------------------
  6.有向图G=<{1,2,,3，…，n},{<i,j>|当i,j 同奇偶时且i>j}或{<i,j>|当i,j 不同奇偶时且i<j}>问：

 （4）G 是强连通图吗？为什么？
答：是。因为有向图G是哈密顿图，必满足到所有顶点可达。（有定理8.10：强连通竞赛图式哈密顿图）

------------------------------------------------------------------

（5）G 是可平面图吗？为什么？

答：n>4时，不可平面化。因为根据定理11.10:当G为n(n=3或n>3)阶m条边的简单平面图，则m<=3n-6.此题中m=n(n-1)/2,那么建立不等式可解得，n=3,4.当n=1,2时也成立。所以所当n>5时不是可平面图。