有关连通度一定理证明方法的探讨

有关图的连通度结论k(G)≤λ(G)≤δ(G),在图论中是一个很重要的定理,下面用一种与传统证明方法不同的新方法对此定理进行了证明.     

数学归纳法在图论中的应用

通过探讨第一、第二数学归纳法，反归纳法，跳跃归纳法和双重归纳法在图论证明中的应用，说明数学归纳法在图论中对相关命题的证明不失为一种行之有效的方法。     

图谱理论中一些定理的新证明

利用非负矩阵理论并结合图论性质,给出图谱理论中3个重要定理的证明,给出的证明方法比之前文献的证明更为简洁、易懂.     

4-强连通竞赛图中外弧泛圈点的研究

外弧泛圈点问题是图论研究中一个比较热门的问题,文章在某些限制条件下研究了4-强连通竞赛图的外弧泛圈点问题.文中使用路收缩等方法证明并给出了4-强连通竞赛图中存在3个外弧泛圈点的一个充分条件,而且给出了一些相关的结论.     

Hall婚配定理的新证明方法

众所周知,Hall于1935年给出的婚配定理是图论中著名而经典的定理.首先运用偏序集的思想和理论将婚配定理中所需的图论概念定义成了偏序集的新概念,然后用偏序集的方法对Hall定理给予了证明,最后用这种新方法解决了1个实际问题.     

关于图论中混合形式的Menger定理的证明

文献[1]中的定理2被称为图论中混合形式的Menger定理,文献[2]指出该定理的证明是错误的.本文给出了该定理的一个直接证明.     

几种特殊图形的分数色数研究

图的着色问题是图论中的一个重要研究课题之一,分数色数作为正常色数的一个推广在计算机的许多领域中有着重要的应用.本文研究了一些特殊图形的分数色数,给出了计算这些图形分数色数的公式,并且对公式进行了证明.     

基于含圈非连通图优美性的拓扑图密码

图的标号是图论的一个重要分支,从非连通图入手,证明了两类非连通图■和■都具有优美标号.且证明方法能够算法化,为非连通图应用于网络提供了可行的理论保证.     

4级Clos网络不阻塞的条件

给出了交换网络非阻塞特性图论形式上的定义，运用图论的概念和方法得到了4级Clos网络严格不阻塞的充分必要条件和可重排不阻塞的一个充分条件。并运用Hall定理，证明得到了代数学中的一个引理。     

四色图论——四色问题解的存在性及求解方法

直接从四色问题出发,建立图论的另外一个新体系.在提出区域、边界线、结点等定义,对复杂地图进行分层简化后,得到体系的3个基本定理,又用链路这一工具,证明任意有限个区域地图的四色解存在并给出了求解方法.     

无向色图的Hamilton性

本文应用群论方法，证明了有限交换群的连通无向色图Ｇ（Ｆ，Ｓ）是Ｈａｍｉｌｔｏｎ图。并由此得到：（ｉ）Ｂｏｏｓｃｈ—Ｔｉｎｄｅｌｌ猜想的另一证明；（ｉｉ）有限交换群Ｆ具有对称色集Ｓ的连通色图Ｄ（Ｆ，Ｓ）是有向Ｈａｍｉｌｔｏｎ图。     

周转轮系系统化研究的图论模型

在分析轮系结构特征图形模型与状态特征图形模型的基础上,确立了能够系统化研究周转轮系的图形模型。认识到电网与轮系同属于物理系统,提出了解决电网络问题的图论方法可应用于轮系系统化研究的图论模型,并从理论上说明了拓扑图满足基尔霍夫定律。     

图论在变截面箱梁断面扭转参数计算中的应用

介绍了用图论法计算变截面箱梁断面的扇性坐标.利用图论的基本原理建立箱梁断面的图论模型,并结合能量原理,推导出求解扇性坐标的矩阵方程.该法对于确定箱梁扭转中心位置和计算扇性坐标十分方便.给出示例的计算过程和结果,得出此方法非常适合于编程计算且计算结果准确.它使复杂的箱梁扭转计算问题得到简化.而且,用图论法还可以计算其他扇性特征参数.图论的应用,为解决箱梁扭转计算问题,编制通用的计算程序,提供了依据和参考.     

关于二元四次样条插值

本文对于较广泛的一类三角形剖分研究了属于C~1的二元四次样条插值问题。证明了这种插值问题解的存在与唯一性,并给出了插值误差的估计式。本文所给出的样条插值法是[1]中方法的完善与推广。     

求可达矩阵的Warshall算法

给出并证明了确定内部独立的递阶层次结构的矩阵方法。将系统用有向图描述，利用集合论中求关系问包的Ｗａｒｓｈａｌｌ算法实现了求可达矩阵。在决策因素很多且问题很复杂时，可以通过有向图的可达矩阵来确定系统的层次结构。     

最小冗余编码及其程序设计

本文用图论中的最优树构成法证明哈夫曼编码方法是最小冗余的最优码。设计了相应的编码和解码程序,可对信息进行无差错的压缩和恢复。     

关于图Cn1,n2,n3,n4及Cp,q,s的邻接谱

图的谱确定问题是图论中的一个重要问题,它是根据已知的特征值去确定图形,一般说来这是一件很困难的事.图论界的许多学者研究了一些特殊情形,主要涉及图的邻接谱(或图的Laplacian谱)的研究,其研究的一般途径是通过图的邻接矩阵(或Laplacian矩阵)表示,建立图的拓扑结构(特别是图的各种不变量).通过矩阵论,以及组合矩阵论中的经典结论,用于图的拓扑结构的研究.在已有文献的基础上研究了Cn1,n2,n3,n4图和Cp,q,s图的邻接谱问题,得到了不同构的Cn1,n2,n3,n4图及Cp,q,s图没有相同的邻接谱这个结论.     

基于矩阵直积的膨胀图构造

将矩阵直积的概念引入图论,证明了直积图的结点数、度及特征值分别等于原图结点数之积、度之积和特征值之积,并将这些性质应用于由两个膨胀图构造一个新的膨胀图,分别从矩阵的角度和图的角度给出了构造算法。     

不含3圈的平面图的无圈边染色

图的无圈边染色是图的染色理论中的一个重要问题,2001年,Alon等猜想任意简单图G的无圈边色数都不超过△（G）＋2,其中△（G）为图G的最大顶点度。为了研究该猜想对平面图是否成立,利用差值转移方法,证明了不包含三角形的平面图G的无圈边色数不超过△（G）＋3．     

管路系统中热沥青流动特性的动态建模与仿真

为了实现管路系统中热沥青流动的动态特性描述以解决沥青过程控制的精度问题,提出了基于键合图理论的热沥青管路系统模型的方法,即在热沥青管路系统温度一定的条件下,近似地用键合图理论构建热沥青这一非牛顿流体模型以及系统中的管道、泵、阀、流量计等各零部件模型,实现易于描述的管路系统中热沥青流动特性的工程化图示解法,为沥青管路系统...