A surface-based DNA algorithm for the minimal vertex cover problem

Abstract DNA computing was proposed for solving a class of intractable computational problems, of which the computing timewill grow exponentially with the problem size. Up to now, many achievements have been made to improve its performance and increase itsreliability. It has been shown many times that the surface-based DNA computing technique has very low error rate, but the technique hasnot been widely used in the DNA computing algorithms design. In this paper, a surface-based DNA computing algorithm for minimal ver-tex cover problem, a problem well-known for its exponential difficulty, is introduced. This work provides further evidence for the abilityof surface-based DNA computing in solving NP-complete problems.     

测度链上非线性微分方程的特征值问题

讨论了非线性特征值问题 u△△(t) λa(t)f(u(δ(t) ) ) =0 ,t∈ [0 ,1]u(0 ) =0 =u(δ(1) ) 正解的存在性 .这里 [0 ,1]是一可测链 ,a与f取正值 ,且limx→ 0 f(x)x 与limx→∞f(x)x 不一定存在     

关于常微分方程初值问题数值解误差的探讨

引用B样条插值函数讨论了一阶常微分方程初值问题的数值解 ,给出一个隐式近似求解公式 ,并得到此公式的局部截断误差为O(h5) ,整体截断误差为O(h4 ) .在此基础上又给出了一个校正显式求解公式 ,其局部截断误差为O(h4 ) .     

农地承包权的历史考察及法律问题

随着《农村土地承包法》的颁布,农村土地承包经营权的相关问题再一次成为法学界争论的焦点。土地承包经营权是农村家庭联产承包责任制在法律上的具体体现,是具有中国特色的一种新型权利。通过对土地承包经营权的历史性考察,可以对我国土地承包经营权相关立法和司法提供参考。     

两类熵密度规划的对偶规划和最优性条件

基于广义的Fenchel对偶定理及其相应的Kuhn-Tucker条件，给出了带有二次约束和熵密度约束的二次规划问题和熵密度问题的对偶规划，强对偶定理以及Kuhn-Tucker条件。     

带阻尼的弹性碰撞问题的周期解

运用延拓引理与逼近框架,对于一类带阻尼的二阶碰撞方程,证明了2π 周期碰撞允许(admissible)解的存在性.     

一类泛函边值问题正解的存在性

讨论方程u″ a(t)f(u)=0在边界条件u’(0)=u(b)-u(a)，u(1)=∫α^βu(ξ）dξ下正解的存在性，给出了该问题至少存在一个正解的存在性定理．     

最短路问题的通用算法--最短初等链法

最短初等链法是求解网络图最短路问题的通用算法，它突破了以往诸算法的局限性，适用范围广，具有广阔应用前景。     

单调线性互补问题的非精确不可行内点算法

对单调线性互补问题提出了一种非精确不可行内点算法．该算法的迭代方向仅需要达到一个相对的精度．在初始点位于中心线的某邻域内的假设下，证明了算法的全局收敛性．     

运用物理学原理巧解数学难题

在求解某些数学问题时，对物理学原理的巧妙运用往往会成为启发解题思路的关键。介绍了几种适用物理学原理解答数学问题的方法，并提供了用以演示这些方法的实例。