复杂性集类的递归论结构

本文使用间隙语言方法研究了复杂性集类的递归论结构,得到了复杂性集类集合剖分的许多新结果。     

一类多机排序问题算法及其计算复杂性研究

在经典排序论中，一般都假设每个工件在任一时刻仅被一台机器加工，且每台机器至多仅加工一个工件。在这篇文章中，研究这样一类排序问题：每个工件可以被多个不同的机器子集加工，其加工速度对于不同的机器子集是不同的，被加工的工件假定是可以间断且是独立的。排序问题的性能测度是排序长度。在以上条件下求解这类问题算法被给出，对其计算复杂性也作了研究。     

一类齐次完全集的拟对称极小性

研究齐次完全集的拟对称极小性.利用质量分布原理,证明了一类特殊的Hausdorff维数为1的齐次完全集是拟对称Hausdorff极小集.还证明了类似结论对packing维数也成立.     

递归集的K-1-度上半格的格嵌入性

本文研究了递归集的K-1-度上半格的格嵌入性,证明了任一可数分配格及任一可数偏序集均可嵌入〈R_K~1(NP_K~1);≤〉的任一区间.     

平面图选择控制集问题的复杂性分析及算法设计

研究平面图的选择控制集问题．通过PX3C(planar exact cover by 3-sets)到平面图控制集的变换，证明了平面图的控制集问题是NP完全的，从而得到平面图的选择控制集问题的NP完全性．同时提出了一个基于遗传算法的求平面赋权图的选择控制集的近似算法．     

完全集上的连续可微函数的开拓

本文完全用初等的方法证明了完全集上连续可微函数都有可微开拓.作为应用,证明了任意有界变差函数都与某可微函数在除过测度任意小的集合外重合.     

K-n-度

本文基于K-算子提出了K-n-度的概念,得到了NP集类的K-n-度结构的一些初步结果。     

油田建设施工企业设备优化配套标准研究

本文针对油建施工企业设备不配套的具体问题,在对实际问题进行了详细调查分析的基础之上,建立了多目标规划模型,通过运用计算机仿真求解,给出了设备优化配套标准     

历史关系模式的最大完全时间依赖集求法

对基于TNF的历史关系模式TUg,提出了时间依赖、最大完全时间依赖集等重要概念,并给出了最大完全时间依赖集的求解算法及证明。为解决历史关系模式中存在的数据冗余、TNF异常等问题奠定了基础。     

程序设计中的复杂性问题

本文介绍复杂性理论在程序设计中的应用。程序设计不仅需要分析其空间复杂性,还应分析其时间复杂性。在一定的条件下,时间复杂性可换取空间复杂性,而空间复杂性也可换取时间复杂性,这就是时空互换原理。文中以具体例子论证了上述概念,并给出了程序设计中复杂性的计算公式和方法。     

完全多部图中的色正规图类

设G是简单图,用P(G,λ)表示图G的色多项式。简单图H称为与G是色等价的(记作H∽G),如果P(H,λ)=P(G,λ)。简单图类L称为色正规图类,若对任意H,G∈L使H∽G,都有H与G同构(记作H≌G)。本文证明完全三部图类和完全四部图类是色正规图类。     

算法的时间复杂度分析

算法的时间复杂度是衡量一个算法优劣的重要指标.在总结教学经验的基础上,提出了几种计算时间复杂度的方法.     

基于等价类的Rough集模糊化子系统

从系统的角度,讨论了给定信息系统上的所有Rough集模糊化所形成的模糊集类的相关性质,并证明了它是相应论域上的模糊集系统的子系统·但它却是一类特殊的模糊集子系统,在这个子系统中一般的不满足运算传递性质·为进一步研究Rough集与模糊集这两种不确定性的理论之间的关系,并将它们有机结合起来提供了理论依据·     

完备布劳威尔格上蕴涵的结构

研究了完备布劳威尔格上全体蕴涵算子之集,在此集上定义运算及序关系使其成为幺半群,且是完备布劳威尔格;然后讨论了线性完备布劳威尔格,且给出一种方法构造新的蕴涵算子,同时研究了蕴涵算子换置位对称性质,最后讨论了[0,1]上任意2个可比蕴涵算子的关系。