串并有向图的判定算法及应用实例

串并有向图常作为单机排序问题研究中的约束条件,针对目前并未有一个确切算法判定任意一个有向图是否为串并有向图的问题,提出了串并有向图的判定算法H。算法H利用数学中的递归法,对有向图进行逐层递归分解,对分解结果进行分析判定该有向图是否为串并有向图。结果表明:该问题能在多项式内可解,属于组合优化中的P问题。算法H普遍适用于任意有向图,解决了串并有向图的判定问题。

一种新的一维正态云概念隶属度判定算法

云模型之间的隶属度判定是云模型在评估与决策领域推广应用的关键环节。针对该问题,以一维正态云为研究对象,提出一种基于"云图"视角分析的正态云概念隶属度判定算法。在该算法中,通过分析云模型生成图形,将"云模型之间隶属度"转换为"二维坐标下云图的相交部分"、"隶属度计算"转换为"相交部分的定量化描述",并论证提出了具体的描述变量;以"3En规则"为基础对相交部分的论域作近似处理,提出了两大描述变量的求解方法;借用向量思想,提出将X变量和Y变量合成的有效方法进而求得最终隶属度。通过实例应用,验证了该算法的可行性与有效性。

有向图的同构判定算法:出入度序列法

提出了有向图的同构判定新算法 :出入度序列法 .该算法可应用于许多可用有向图描述的模式识别等实际问题中 .

传感器网络中基于Voronoi网格的快速覆盖判定算法

覆盖问题是传感器网络研究中的一个基础课题,判定感兴趣的区域是否被一组给定的传感器节点完全覆盖,在监控等传感器网络的许多应用领域中具有重要意义。提出了一种传感器网络中基于Voronoi网格的快速覆盖判定算法VT-RCDA(Voronoi Tessellation based Rapid Coverage Decision Algorithm)。算法首先将感兴趣的区域进行正方形网格剖分,然后采用Voronoi网格模型将复杂的区域覆盖问题转化为简单的顶点覆盖问题。理论分析与仿真实验表明,与已有算法相比,新算法具有较好的覆盖判定正确率,较低的计算复杂度,且针对具有n个节点的传感器网络,能在O(nlogn)的时间开销内快速判断出任意给定感兴趣区域能否被这n个传感器节点覆盖。

基于概念格中文信息最优检索串判定算法

提出了一种以形式概念的概念意义相似性为基础的中文信息最优检索串判定算法,该算法可判定出由相同关键词按不同顺序组成的不同检索串中耗费检索时间最短的最优检索串.

有内部冲突的F的广义左、右部冲突判定算法

数据库数据组织的无环性是数据库理论和应用中一个重要特性 如何把数据库模式分解成无环性是一个比较复杂的问题 ,特别是在FD集F有内部冲突时无α环的分解问题 为了解决这一问题 ,讨论了有内部冲突的FD集F有广义左部冲突或广义右部冲突时和对称左部属性集之间的关系 ,以及对称左部属性集存在的条件和性质 ;给出了相关概念、定理及证明 在此基础上 ,给出了关于存在广义左部、右部冲突的判定算法 。

基于局域信息和能量因素的WSN关键点判定算法

针对无线传感器网络现有关键点判定方法中,判定指标比较单一,容易导致关键点判定结果不全面的问题,综合考虑节点局域信息和能量因素,提出一种新的关键点判定算法。此算法首先利用节点自身度与其邻居信息对节点局域信息进行建模,接下来结合节点剩余能量和节点失效后网络能耗的变化,建立能量因素模型,最终得到一个综合的关键点判定模型。利用Matlab仿真平台与其他算法进行对比仿真,结果表明该算法能使关键点判定更加全面,同时验证在保护由此算法判定所得关键点时,网络能够表现出强抗毁性,验证此算法的有效性。

求解图同构的判定算法

图同构的判定性问题是图论理论中的一个难题,至今没有得到彻底解决。受Ulam猜想的启发,提出了一个新的判定图同构的充分必要条件:在子图同构的前提下,根据新增顶点及相应关联边的关系,利用子图同构函数,判断父图同构的充分必要条件。基于具有同构关系的对应点无限衍生技术,采用反证法证明了这个充分必要条件的成立。设计并实现了图同构的一个判定算法,通过实例验证了算法的正确性和有效性。

基于矩阵的关系模式主属性判定算法的研究

本文从分析主属性在关系模式中的特点出发，在模式矩阵及其分类的基础上，给出了一个基于矩阵的关系模式主属性的判定算法。

有限阿贝尔群同构的一个判定算法

给出了有限阿贝尔群同构的一个判定算法.

周期轨间蕴含关系的判定算法(Ⅱ)

近年来,Sarkovskii定理及其有关研究引起很大兴趣.按Sarkovskii定理,若闭区间上连续自映射f有3-周期点,则对任意正整数n有n周期点.但f不可能有所有类型的n-周期轨.例如:则f仅有两种类型的3-周期轨中的一类.这表明Sarkovskii定理远远没有给出周期轨之间的关系的全部信息.本文(Ⅰ)中将给出周期轨的型的概念,并证明可以建立机械方法来判断一种周期轨是否蕴含另一类型的周期轨.本文(Ⅱ)中将给出这个判断方法的计算机程序,并列出一些计算结果.

安全素数判定算法的实现

提出了判定安全素数的一些方法，包括数据结构的设计和分析，乘法的二进制迭代等，并给出了一些计算速度方面的数据。

基于序演算的推理系统OCRS及其判定算法

序演算可以保留很多语言学的信息,可以更自然的刻画日常交流中的推理,因此序演算成为很多自然逻辑推理系统的核心方法。在Zamansky等学者工作的基础上,以序演算为核心,结合Lambek演算,增加了性质类序关系,考虑了模糊量词的语义特征,构造了基于序演算的自然逻辑推理系统OCRS。该系统所描述的推理范围较之以前的自然逻辑系统进一步扩大。另外,也给出了OCRS系统中序演算的判定算法,证明了其判定算法的对应定理。

满足3NF的关系模式的BCNF的判定算法

文中从分析满足３ＮＦ的关系模式Ｒ〈Ｕ，Ｆ〉（Ｆ为最小覆盖集）的结构入手，给出了满足３ＮＦ的关系模式的ＢＣＮＦ的判定算法。

拟代数簇包含关系的判定算法

判定拟代数簇的包含关系问题不能由计算其相应的饱和理想来确定 .利用一阶逻辑等价公式 ,将拟代数簇的包含关系问题化为检验另一个拟代数簇是否为空的问题 ,之后用 Grobner基方法加以判定 .

基于ROBDD的布尔函数同构判定算法研究

布尔函数是密码体制设计与分析中一个不可缺少的工具,在布尔函数的应用中,判定两个布尔函数的同构问题具有广泛的需求,但是,判定布尔函数同构是NP-难问题,并且采取穷举法也将随着变量的增多,因极高的时间复杂度而使其难以实现。该文基于图的思想,提出了一种基于ROBDD(简化有序二元决策图)的布尔函数同构判定算法,其算法的复杂度取决于求解变量的最优编序算法的时间复杂度和空间复杂度,笔者采用的算法时间复杂度为23,空间复杂度为3/。

图中含有k-因子的判定算法

本文依据图论中已有的一个理论成果(定理1),给出了判定一个图是否含有k-因子的一个算法,同时对算法的复杂性作了分析,又示出了一些简单情况的结果。

循环队列队空和队满的判定算法

1队列的概念 队列(queue)是限定仅在一端插入,另一端删除的线性表. ·允许插入的一端叫队尾(rear),允许删除的一端叫队头(front).

图中含有k-因子的判定算法

本文依据文[3]已有的一个理论成果(定理1),给出了判定一个图是否合有k-因子的一个算法,同时对算法的复杂性作了分析,并示出了一些简单情况的结果。

哈密顿平面图的一个判定算法

图的平面性判定算法是相当复杂的.本文介绍哈密顿图的一个简单的判定算法,有关图的平面性判定方面的研究可见参考文献.