On the Toggling-Branching Recurrence of Computability Logic

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.     

高维空间球集覆盖问题的改进1+ε近似算法

高维空间球集的覆盖问题是指对高维空间中多个球构成的集合S,构造一个直径最小的球来覆盖S中所有已知球。本文提出了球集直径的概念,给出求解球集直径的1/3~(1/2)近似算法。基于此算法求解球集实例集合S的初始核心集,进而给出高维空间球集覆盖问题的1+ε近似算法,算法时间复杂度为O(nd/ε+d2/ε3/2(1/ε+d)lg1/ε)。算法保证核心集中球的个数为O(1/ε),与S中球的个数和空间维数无关。     

数值天气预报在UNICORE中的实现

中尺度数值天气预报为评估严重的天气灾害提供了有效的指导，因此中尺度天气预报占有越来越重要的地位。MM5模式是世界上应用最为广泛的中尺度模式．同时，网格中间件，如UNICORE、Globus，已经部署在世界上多个组织中，把科学、工程等领域的应用部署在这些网格中间件上，以获得无缝的计算能力和访问网格环境中资源的接口为目的的各项工作正在展开．提出了基于UNICORE网格平台的数值天气预报应用的设计和实现，对UNICORE的资源发现进行初步的探索．     

计算生物学中的9叶星树问题

本文讨论翻转距离星树问题,证明实例中有向符号序列个数为9时,翻转距离星树问题问题是NP-难解问题,并给出了一个该问题的多项式时间近似算法.     

可计算性逻辑中CoL2系统的可判定性分析

可计算性(Computability)即算法有解性,是数学和计算机科学领域中重要的概念之一。可计算性逻辑(Computability Logic,CoL)是关于可计算性的形式理论,是一种交互的资源逻辑。其中,CoL2系统采用博弈的语义,是对经典命题逻辑的扩展,在经典命题逻辑的基础上添加了选择运算和一般原子,比经典命题逻辑更富有表达力,具有更广阔的应用前景,并且有较高的证明效率。分析了CoL2系统的可判定性,即通过提出一个算法来判断任意一个CoL2公式是否是可证明的,并且证明了该算法是多项式空间内运行的。     

一种有到达时问的多处理器混合流水车间调度的遗传算法

有到达时间的多处理器混合流水车间调度问题在实时机器视觉系统等领域有广泛的应用.这一问题是NP-困难的.鉴于以上原因,给出一种遗传算法.对不同的交叉算子和变异算子以及涉及的参数的不同取值进行试验,并对试验的结果进行分析和讨论,从而给出最好的参数组合.     

实例序列条数为常数9的翻转距离星树问题

讨论翻转距离星树问题，证明实例中有向符号序列个数为9时，翻转距离星树问题是NP-难解问题，并给出了一个该问题的多项式时间近似算法．     

目标序列部分确定的翻转距离星树问题

讨论翻转距离星树问题,将3SAT问题归约到目标序列部分固定的翻转距离星树问题,证明实例中当有向符号序列个数为3时,若目标序列符号顺序固定,且有部分符号方向给定,则只确定其余符号方向以使得目标序列与已知3条给定序列翻转距离之和最小所对应的翻转距离星树问题也是NP-难解问题.同时,还给出了该问题的多项式时间近似算法.     

计算生物学中有关基因组翻转距离的NPC问题

1 基因组翻转距离问题的提出 20世纪80年代末,Jeffrey Palmer及其同事在对比甘蓝与芜箐甘蓝的基因序列时发现,排列形成两种基因序列的分子几乎完全相同,只是这些分子在两种基因中的排列顺序不一样。这一发现以及其后的研究表明,基因重组是生物演化过程中的一个基本特征。基因重组研究中多次遇到要用尽可能少的次数将一条基因序列中的片断翻转连接成新的基因的问题,这就是后来由D.Sankoff等提出的基因组翻转距离问题,或抽象为有向符号序列的翻转距离问题,D.Sankoff等猜测该问题是NP难解问题,然而他们没能给出证明。     

通过交互式移位-插入-删除进行基因组排序的较快算法

多染色体基因组进化问题中常见的重组事件就是移位(translocation),对此已有很多研究成果.但事实上更为普遍的情况是2个基因组包含不同基因,这需要考虑插入和删除事件.对于"通过移位-插入-删除进行基因组排序(简称SG-TID)"这个问题,此前已有一个求解移位-删除(或者移位-插入)序列的近似算法,以及求解SG-TID问题的启发式算法.在给出了移位-插入-删除距离的表达公式后,给出了在增加O(n)存储空间的条件下,O(n2)时间内求解该问题的精确算法.该算法比此前给出的算法要快.