张成学 作品数:9 被引量:3 H指数:1 供职机构: 大连理工大学电子科学与技术学院计算机科学与工程系 更多>> 发文基金: 国家自然科学基金 更多>> 相关领域: 理学 自动化与计算机技术 更多>>
在有向图中寻找哈密顿回路的快速回溯法 被引量:1 1989年 本文提出了回路段的新概念。并在此基础上给出了寻找有向图中所有哈密顿回路 的快速回溯法QB.算法QB通过合并回路段来生成哈密顿回路,它的回溯树上各顶 点的期望分枝数cq等于各层当前图可用顶点的最小出度的平均值。对于常规的简单 回溯法SB,回溯树上各顶点的期望分枝数cs等于各层当前可用顶点的平均出度的 平均值。显然,cq总是小于cs.算法QB的期望时间为O(n2(cq)n),而算法SB期 望时间为O(n(cs)n),n为图中顶点数。 杨元生 张成学关键词:哈密顿圈 有向图 回溯法 不含3正则子图的图的最大可能边数的下界 1995年 1974年,Erds和Saucer提出如下问题:设f(p)是p个顶点的不含3正则子图的图的最大可能边数,确定f(p).本文给出:(1)f(p)≥3p-9,p≥4;(2)f(p)≥3p-5,p≥34. 林晓惠 陈玉笙 杨元生 张成学关键词:图论 极图 同构 下界 可变数据编码管理系统 被引量:1 1991年 提出了软件系统中的可变数据编码问题,给出了数据编码的树形结构的例子.并提出了数据编码的外码、内码、定码的概念.为使软件系统不受数据编码变动的影响从而具有适应性、可维护性,还提出了可变数据编码管理系统用于辅助编码维护;并论述了其原理、功能和接口. 李勇 张成学关键词:软件系统 关于不含3正则子图图的最大边数 被引量:1 1993年 对无自环、无重边的简单图,Erdos和Saucer在1974年提出如下问题:设 f(p) 是p个顶点的不含3正则子图图的最大可能边数,确定f(p).本文对p ≥4、4≤p≤40给出了f(p)的下界,对4p刁≤16给出了f(p)的值,并对4≤p ≤15得出了所有的极图. 张成学 杨元生 林晓惠 孙强关键词:图论 极图 关于图色常量N((3,3),5)的结果 1992年 N((3, 3), 5) denotes the minimum N so that there exists a graph of N vertices which doesn’t contain complete subgraph on 5 vertices and can’t be (3, 3)-colored. It is shown that N ((3, 3), 5) = l5. 张成学 杨元生 林晓惠 孙强关键词:着色 同构 正则图的计数 1989年 帕撒塞拉西在1960年给出了具有给定划分的无向图的计算公式,但由于利用该计算公式计算时所涉及计算项随着无向图顶点个数的增加而急剧上升,所以无法用于实际计算。 本文利用正则图的特性与多元多项式的对称性,提出了在利用帕撒塞拉西的计算公式进行运算中存在同构项的新概念,并在此基础上给出了边计算边合并同构项的新算法。对p≤12(p为图中顶点数).计算出了各组正则图的数目,对于p=10的3正则图一直被误认为是20,并由哈拉里收入到名著《图论》中,本文指出其正确数目应为19. 张成学 杨元生关键词:正则图 计数 同构 关于图色常量的Shen Lin和Irving界 1991年 令阿Ar=(a_1,a_2,…,a_r),其中整数a_i≥2,r≥1.所谓图G的Ar着色即对 图G的边用不同的颜色c_1c_2,…,c_r着色,使得没有一个a_i个顶点的完全子 图的所有边都着色c_i(i=1,2,…,r).令HlN为具有N个顶点但不包含l个顶 点的完全子图的图的集合,N(Ar,l)表示G∈HlN但不能被 A 着色的图具有的 最少顶点数。本文定义一种临界图,并在此基础上利用H5(N-1)的临界图构造H5N 的临界图。通过证明H5(12)的临界图均能(3,3)着色,证明H5(12)中的图均能(3,3) 着色,进而得出:13<N((3,3),5)<18,优于前人得出的10<N((3,3),5)<18的结 果. 张成学 林晓惠 杨元生关键词:拉姆塞理论 临界图 关于正则自补图的构造及Kotzig猜想 1997年 根据正则自补图的性质,构造出k≤3的全部p=4k+1的正则自补图,并通过对这些图的分析研究,给出了k=3时Kotzig猜想的反例,验证了RadhakrishnanNair指出的Rao构造Kotzig猜想的反例时出现的一些错误. 冯佳昕 王春立 戴永杰 张成学 杨元生关键词:正则图 自同构 一个新发现的(5,5)笼及(5,5)笼的个数 1989年 (V,g)笼是围长等于g的具有最少顶点数的V次图,当V≥3,g≥5时,寻找(V,g)笼是很困难的。迄今为止,已发现的(V,5)笼共7个。其中(5,5)笼不唯一,已发现了3个,其1是Hoffman-Singleton图的一个子图,其2是Robertson图,其3是Foster图。本文给出的是第4个(5,5)笼,并用计算机证明了(5,5)笼的个数为4。 一个图称为是V度正则的,如果它的每个顶点的度为V。一个度为V。 杨元生 张成学