华中科技大学学报(自然科学版) 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系统产生的数据流对算法进行验证,结果表明能够保留原始相空间图的几何形状和拓扑关系,捕捉到相空间图中存在的行为轨迹的特征。     

高效数字化测图方法——拼音简码法

拼音简码法是编码测图的一个分支，是在外业采集细部点时，采用点名拼音简码形式快速记录点位的信息属性，单位时间测绘效率是全野外采点绘制草图法的1．5倍。介绍了拼音简码法的操作方法，并与传统誊集方法做了比较。     

基于GIS与面向应用的地质编图方法探讨

基于GIS技术建立地质图空间数据库已经成为当前发展的趋势.以赣东北蛇绿岩带的地质编图为例,在常规地质编图流程基础之上,提出了一套基于GIS与面向应用的地质图编图流程:源数据的准备和收集—地质编图综合性设计—扫描矢量化输入—矢量化编辑—区域编辑—成果图输出,使得研究内容得以清晰的呈现,并大大地提高了工作效率.