共查询到20条相似文献,搜索用时 46 毫秒
1.
2.
2-3树是一种很重要的平衡搜索树。文献[1]中叙述了2-3树(也叫3-2树)的定义(在每个内点上存放一个或两个关键字,且分别具有两个或三个儿子点;所有外点在同一层上)。显然,具有N个关键字的2-3树,其高度h在log_3(N 1)≤h≤log_2(N 1)之间。在这种树上的最坏搜索时间是O(h)。文献[1]中还给出了对它的O(h)时间的插入算法。通过该插入算法插入每个随机关键字而生成的2-3树叫动态自由2-3树。文献[2]研究了N→∞时这 相似文献
3.
S.Smale在1986年国际数学家大会上报告了他关于连续复杂性理论的开创性工作。这个理论是借鉴计算机科学中关于代数与组合算法复杂性研究的观点,来处理分析算法的整体复杂性的。报告的基础性工作和在摘要中列为 相似文献
4.
5.
6.
计算群论和复杂性理论中的一个重要问题是,有限群同构检验是可行的,还是NP完全的?这个问题迄今没有解决。C.Savage和陈溧分别得到一个O(n~2)时间的n阶Abel群同构检验算法。 本文得到,存在O(n)时间的n阶Abel群同构检验算法。即使使用对数成本的RAM,完成这样 相似文献
7.
双周期阵列的迹表示 总被引:3,自引:0,他引:3
二维线性递归阵列在二维信息加密、雷达定位、声纳系统等方面有重要应用,因而得到数字通讯、密码学、信息加工和数学等领域专家的重视,二维线性递归阵列的研究主要涉及到多变元的多项式环,而不是主理想环,故与一维序列的研究方法有本质的不同,本义主要给出二维线件递归阵列的一个好的表示,称为迹表示,从而提供一个研究二维阵列结构的有力工具,目前,对于具有极大周期的二维线性递归阵列(即m-阵列)的迹表示在文献中已给出,进而对阵列的线性递归关系对应的理想只有2个生成元,且其一生成元在没有重根的条件下也得到迹表示,本文是研究一般的线性递归阵列,其对应的主理想只要求是Nother环中的理想,我们利用Gr(?)bner基理论,先找出阵列空问的一组特殊的基底,进而得到阵列的迹表 相似文献
8.
D.E.Knuth曾广泛地讨论树结构的组合性质及其在计算机科学的应用,为了作更精确的算法分析,我们需要考察具有给定叶数的树结构。近年,王振宇研究了T叉树的几个组合参数(科学通报,28(1983),3:14) 相似文献
9.
一旦认识到基因水平转移并非次要因素,生物学家就开始重新审视进化树的意义.早在1993年,就有科学家指出,细菌和古生菌在进化树上更像一个网络.1999年,又有科学家声称:"进化树已经不再适合被画成一棵树了.它并不存在于自然界中,而是人类擅自对自然界进行的归类." 相似文献
10.
具有多值约束的广义左线性递归查询的有效计算 总被引:1,自引:1,他引:0
Ullman及Naughton等提出的左线性变换是一种类似于魔集变换的规则改写算法。由于左线性递归是实践中最常见的递归类型之一,并且变换后的规则的自底向上处理相当有效,因此左线性变换已被斯坦福大学的NAIL!系统、MCC的LDL系统用作递归 相似文献
11.
骨架分析是近年来理论计算机科学研究的热点, 对于NP-难解问题的启发式算法设计具有重要意义. 由于骨架计算复杂性研究十分困难, 现有的骨架分析方法多采用实验统计手段. 针对现有方法中存在的骨架规模小的缺陷, 给出图的二分问题GBP(graph bi-partitioning problem)的唯一全局最优解实例构造算法, 有效提高了骨架的规模. 同时, 利用该算法从理论上证明了寻找GBP问题的完整骨架属于NP-难解问题, 即在P≠NP的假设下, 不存在多项式时间的算法可以确保得到GBP问题的完整骨架. 本文的工作拓广了骨架计算复杂性研究的范围, 所提出的唯一全局最优解实例构造算法对于NP-难解问题启发式算法设计亦具有较高的参考价值. 相似文献
12.
多元线性递归序列具有广泛的意义,起初对于它在Hurwitz积下,从Hopf代数角度研究者是Perterson和Taft,并在文献中得到推广;在Hadamard积下,本文作者给出了一些刻划.以上均具有局限性,为此,我们首次从Lie双代数的角度探讨了多元线性递归序列的代数结构,避免了Hurwitz积或Hadamard积下且数域特征为零的限制.本文均在特征任意的数域R上进行,且仍以二元线性递归序列为主,多元情形的讨论是 相似文献
13.
B=叫做上完备的递归布尔代数,若它的域B是自然数集N的一个递归子集,它的运算∨(并),∧(交),(?)(补)为部分递归函数,且在B的元素的自然偏序之下,B的任一子集合X在B中有上确界,记为∨X。 相似文献
14.
15.
16.
17.
18.
二值图像的数字搜索树表示及其线性编码 总被引:1,自引:0,他引:1
基于递归分解原则的四元树及八元树是表示二维及三维图像的一类重要的空间数据结构.这类结构传统上以指针方式实现,为了进一步压缩存储,可对结点先序遍历形成线性序列,即线性四元树(Iinear quadtree,简称LQ)及线性八元树(Iinear octree,简称LO)。LQ及LO的压缩编码已接近其极限。本文提出的二值图像的数字搜索树表示及其线性编 相似文献
19.
盛极一时的分子进化的中性学说,在对分子水平遗传多态性的解释以及近缘物种的亲缘关系分析上,迄今仍不失其重要作用,但对远缘物种关系的分析上往往难以自圆其说.结构分子生物学的发展,证实三维构象比一维序列数据更具进化上的保守性并可揭示分子进化的非线性和复杂性.基于上述特性,一些学者分别提出了比较远缘物种(包含了近缘物种)亲缘关系的算法.本文对这些算法作一些扼要的介绍,并对非线性分子进化的美好前景作—展望. 相似文献