非连通图3C8m∪C8m-1∪G的优美标号

研究非连通图3C8m∪C8m-1∪G的优美性.证明如下结论：对任意正整数m,若图G是特征为k且缺标号值k＋24m-2的交错图,则非连通图3C8m∪C8m-1∪G存在缺标号值k＋1的优美标号.     

思维导图在教育领域的应用及对数学教育的启示

对2004—2013年思维导图在教育领域的应用研究进行了文献综述.通过对已有研究的整理得出,对数学教育的启示。     

广义太阳图S_(m,n)奇优雅标号算法及实现

给出了广义太阳图S_(m,n)的定义,设计了该类图的奇优雅标号算法,证明了算法的正确性和广义太阳图S_(m,n)的奇优雅性。利用Matlab语言编制了"广义太阳图S_(m,n)奇优雅标号算法"程序并通过实验数据说明算法的有效性。     

Wn⊙Pm和Cn⊙Sm的r-hued染色

图G和H的Corona乘积图记为G⊙H,它是复制一个图G以及复制|V(G)|个图H,把图G的第i个顶点跟复制的第i个图H的每个顶点相连.图G的(k,r)-染色是用k种颜色对图G进行正常染色，使得点v的所有邻点至少染min{r,d(v)}种不同的颜色，其中d(v)是图G中顶点v的度数.把图G的具有(k,r)-染色的最小正整数k称为r-hued色数，用χ_r(G)表示，通过对r-hued染色的定义，得到W_n⊙P_m和C_n⊙S_m的r-hued色数.     

华中科技大学学报(自然科学版) 2017年 第45卷 总目次

将最大团求解算法融入到极大团枚举算法中,提出了两种带极大团下限的极大团枚举算法及多种预处理筛选策略,通过迭代将不可能包含在极大团中的部分点与边删除,使得搜索空间大幅减小.在搜索策略上,将求解最大团问题的贪心染色算法、增量MaxSAT推理算法与极大团枚举算法相融合,并结合最佳筛选策略,提出了染色-关键点融合算法BKFC(Bron-Kerbosch with filtering and coloring)和基于增量MaxSAT推理的枚举算法BKFS(Bron-Kerbosch with filtering and MaxSAT).结果表明:在多个大型算例上,BKFC算法平均时间仅为加入预处理的改进经典算法的68.8%;由于经典算法无法在大型算例上运行,在小数据测试中,BKFC算法平均时间仅为没有预处理策略的经典算法的2.2%.     

一种联图的Cordial性

引入第一类图G的概念,即若存在一个标号f,使得|v0(G)-v1(G)|≤1,e0(G)≥e1(G),则称G为第一类图.证明了第一类图G与路P的联图G∨P,当P的阶数大于等于G的最大度的2倍加2,即|P|≥2Δ(G)+2时,都是Cordial图,并进一步给出图G是第一类图的两个充分条件.     

一类无非平凡有理整点的椭圆曲线y~2=x(x-p)(x-q)

令p、q为两个素数,且p+4=q。本文证明了椭圆曲线y2=x(x-p)(x-q)没有非平凡有理整点.同时得到了一类无整解的负Pell方程组和一类无整解的四次丢番图方程.     

交错群图AGn的5类子图可靠性研究简

交错群图AGn具有多种优良性能.该文对其5类子图进行界定和分类,进而以一个具体的案例分析这5类子图的可靠性.分析结果表明,交错群图AGn的5类子图具有非常理想的可靠性,适用于拓扑网络的故障诊断.     

符号图的一些谱关系

符号图∑=（丨∑丨，δ）由无符号图丨∑丨=（V，E）和一个映射组成，其中V和E分别为顶点集和边集，丨∑丨是它的基础图，δ：E→{＋1，-1}是符号函数．文章给出了一些符号图的谱关系，并得到了符号图的特征值的一些边界．     

非线性时间序列定性相空间推理方法研究

提出一种基于定性仿真的非线性时间序列重构相空间的方法,定性相空间推理是其关键一步。通过时间序列定性状态的抽象来裁减其状态空间,规约行为轨迹,重构其定性相空间图。用3变量Lorenz系统产生的数据流对算法进行验证,结果表明能够保留原始相空间图的几何形状和拓扑关系,捕捉到相空间图中存在的行为轨迹的特征。