排序方式: 共有13条查询结果,搜索用时 0 毫秒
1.
高维空间球集的覆盖问题是指对高维空间中多个球构成的集合S,构造一个直径最小的球来覆盖S中所有已知球。本文提出了球集直径的概念,给出求解球集直径的1/3~(1/2)近似算法。基于此算法求解球集实例集合S的初始核心集,进而给出高维空间球集覆盖问题的1+ε近似算法,算法时间复杂度为O(nd/ε+d2/ε3/2(1/ε+d)lg1/ε)。算法保证核心集中球的个数为O(1/ε),与S中球的个数和空间维数无关。 相似文献
2.
We introduce a new, substantially simplified version of the toggling-branching recurrence operation of computability logic, prove its equivalence to Japaridze’s old, "canonical" version, and also prove that both versions preserve the static property of their arguments. 相似文献
3.
中尺度数值天气预报为评估严重的天气灾害提供了有效的指导,因此中尺度天气预报占有越来越重要的地位。MM5模式是世界上应用最为广泛的中尺度模式.同时,网格中间件,如UNICORE、Globus,已经部署在世界上多个组织中,把科学、工程等领域的应用部署在这些网格中间件上,以获得无缝的计算能力和访问网格环境中资源的接口为目的的各项工作正在展开.提出了基于UNICORE网格平台的数值天气预报应用的设计和实现,对UNICORE的资源发现进行初步的探索. 相似文献
4.
本文讨论翻转距离星树问题,证明实例中有向符号序列个数为9时,翻转距离星树问题问题是NP-难解问题,并给出了一个该问题的多项式时间近似算法. 相似文献
5.
可计算性(Computability)即算法有解性,是数学和计算机科学领域中重要的概念之一。可计算性逻辑(Computability Logic,CoL)是关于可计算性的形式理论,是一种交互的资源逻辑。其中,CoL2系统采用博弈的语义,是对经典命题逻辑的扩展,在经典命题逻辑的基础上添加了选择运算和一般原子,比经典命题逻辑更富有表达力,具有更广阔的应用前景,并且有较高的证明效率。分析了CoL2系统的可判定性,即通过提出一个算法来判断任意一个CoL2公式是否是可证明的,并且证明了该算法是多项式空间内运行的。 相似文献
6.
7.
讨论翻转距离星树问题,证明实例中有向符号序列个数为9时,翻转距离星树问题是NP-难解问题,并给出了一个该问题的多项式时间近似算法. 相似文献
8.
有到达时间的多处理器混合流水车间调度问题在实时机器视觉系统等领域有广泛的应用.这一问题是NP-困难的.鉴于以上原因,给出一种遗传算法.对不同的交叉算子和变异算子以及涉及的参数的不同取值进行试验,并对试验的结果进行分析和讨论,从而给出最好的参数组合. 相似文献
9.
1 基因组翻转距离问题的提出 20世纪80年代末,Jeffrey Palmer及其同事在对比甘蓝与芜箐甘蓝的基因序列时发现,排列形成两种基因序列的分子几乎完全相同,只是这些分子在两种基因中的排列顺序不一样。这一发现以及其后的研究表明,基因重组是生物演化过程中的一个基本特征。基因重组研究中多次遇到要用尽可能少的次数将一条基因序列中的片断翻转连接成新的基因的问题,这就是后来由D.Sankoff等提出的基因组翻转距离问题,或抽象为有向符号序列的翻转距离问题,D.Sankoff等猜测该问题是NP难解问题,然而他们没能给出证明。 相似文献
10.
本文提出了高维空间球体的k-中心聚类问题。该问题是指对高维空间中多个球构成的集合B,构造是个球来共同覆盖B中所有已知的球,并使k个球中的最大半径最小。本文从B中有选择地取出一部分球构成集合s,称其为B的核心集,并利用该核心集,对给定ε给出了高维空间球体k-中心聚类问题关于球数n和维数d的多项式时间1-ε近似算法。而且,S中球的个数为O(1/ε^2),与B中球的个数和空间维数无关。 相似文献