混合 0-1 线性规划问题的一个代理约束定界方法

本文给出混合０－１线性规划问题的一个代理约束定界方法,利用代理约束构造一个定界函数,计算量较小,并提出一个分支定界算法,数值计算表明算法是有效的．     

3-分片线性NCP函数的滤子QP-free算法

本文定义一个3-分片线性的NCP函数,并对非线性约束优化问题,提出了带有这分片NCP函数的QP-free非可行域算法.根据优化问题的一阶KKT条件,利用乘子和NCP函数,得到非光滑方程,本文给出一个非光滑方程的迭代算法.这算法包含原始-对偶变量,在局部意义下,可看成关于一阶KKT最优条件的的扰动拟牛顿迭代算法.在线性搜索时,这算法采用滤子方法.本文给出的算法是可实现的并具有全局收敛性,且在适当假设下具有超线性收敛性.     

二次锥规划的预估-校正光滑方法

基于光滑Fischer-Burmeister函数,给出一个求解二次锥规划的预估-校正光滑牛顿法.该算法构造一个等价于最优性条件的非线性方程组,再用牛顿法求解此方程组的扰动.在适当的假设下,证明算法是全局收敛且是局部二阶收敛的.数值试验表明算法的有效性.     

半定规划问题的一种新的预测-校正算法

本文首先将半定规划转化为一个变分不等式问题,在满足单调性和Lipschitz连续的条件下,提出了一种基于Korpelevich-Khobotv算法的新的预测-校正算法,并给出算法的收敛性分析.     

一类0-1二次规划最优解的新算法

从矩阵的基础知识出发,给出了当目标函数矩阵是严格对角占优阵时,快速地获得0-1二次规划最优解的一个新算法;该方法具有很强的实用性,是此类问题的一个高效求解算法.     

图的（k，d）-着色问题的一个近似算法

本文讨论了图的(k,d)-着色问题的算法,并给出了一个由四层神经元组成的神经网络算法.当一个图的循环色数已知时(不妨设为k/d),可以利用该算法成功地求出这个图的一个可行(k,d)-着色方案;当一个图的循环色数未知时,可以利用该算法求出这个图的循环色数的近似值.     

计算平面代数曲线亏格上界的符号-数值算法

亏格是代数曲线的重要不变量.文章给出计算一类平面代数曲线亏格上界的符号-数值混合算法.首先通过数值稳定的符号-数值混合算法把代数曲线的定义多项式系统约化到几何对合形式,然后考察奇点的性质.如果曲线的奇点是寻常的,那么由奇点的重数可以计算出代数曲线的亏格;否则算法仅给出亏格的一个上界.     

关于求解变分不等式问题的2-次梯度外梯度算法收敛性的一个补注

Yair Censor,Aviv Gibali和Simeon Reich为求解变分不等式问题提出了 2-次梯度外梯度算法.关于此算法的收敛性,作者给出了部分证明,有一个问题:由算法产生的迭代点列能否收敛到变分不等式问题的一个解上,没有得到解决.此问题作为一个公开问题在文章"Extensions of Korpelevi...     

变测度的积分-水平集确定性算法

提出了一个求总极值的变测度确定性算法,对不同的箱子采用不同的测度,结合确定性数论方法选取一致分布佳点集来代替Monte-Carlo随机投点,使水平值充分地下降,更快地到达全局最小,从而提高算法的计算效率.在文中给出了算法的收敛性证明,并通过数值算例验证了它的有效性.     

一类线性与框式约束凸规划问题的原始-对偶内点算法

本文对一类具有线性和框式约束的凸规划问题给出了一个原始-对偶内点算法, 该算法可在任一原始-对偶可行内点启动, 并且全局收敛,当初始点靠近中心路径时, 算法成为中心路径跟踪算法。 数值实验表明, 算法对求解大型的这类问题是有效的。     

Hilbert空间中k—严格伪压缩映像不动点的迭代算法

给出了Hilbert空间中k-严格伪压缩映像不动点的一个迭代算法,并利用所给出的算法证明了一个强收敛定理.     

Hilbert空间中Lipschitz伪压缩映像有限族公共不动点的杂交投影算法

给出了Hilbert空间中Lipschitz伪压缩映像有限族公共不动点的一个杂交投影算法,并利用所给出的杂交投影算法证明了一个强收敛定理.     

关于求解非线性耦合Schrodinger 方程的 Sonnier - Christov 格式

该文对求解非线性耦合Schrodinger方程的Sonnier-Christov格式进行了数值分析, 证明了格式关于L₂范数的稳定性和二阶收敛性, 运用Brouwer不动点定理证明了差分解的存在唯一性, 给出一个求解非线性差分方程组的迭代算法并证明了算法的收敛性, 最后对双孤立波的碰撞进行了模拟.     

求解线性比式和问题的缩减分支定界算法[英文]

本文针对线性比式和问题给出一个缩减分支定界算法.在算法中,基于比式分母的输出空间,我们提出一个新的范围缩减方法.结合分支定界框架和输出空间范围缩减方法,建立一个缩减分支定界算法.并给出算法的收敛性,数值实验结果展示了本文算法的优点.     

求解0-1背包问题的细菌觅食算法

0-1背包问题是组合优化中的一个典型NP难题,介于其具有广泛的实际应用,有效的解决该问题具有非常重要的意义.给出了一种新的群智能算法—细菌觅食算法,对0-1背包问题进行求解.经模拟仿真验证了该算法的有效性,并将其结果与其他方法进行对比分析.     

一种修正的求约束总极值的积分-水平集方法

对于有约束的全局最优化问题,在Chew-Zheng的《Integral Global Optimization》和邬冬华等的《一种修正的求总极值的积分-水平集方法的实现算法收敛性》的基础上,给出一种修正的求约束总极值的积分-水平集方法,它同样具有修正的求总极值的积分-水平集方法的两个特点: 1) 每一步构造一个新函数,它与原目标函数具有相同的总极值; 2) 避免了郑权算法在一般情况下,由于水平集不易求得而造成难以求出水平集的困难．同时给出了其实现算法,并证明了算法的收敛性．     

平面图 4-割问题的 O(|V|~2)算法

给定一个简单图 G=(V,E).V 是顶点集,E■V×V 是边集.所谓 k-割乃是E 的一个子集 E_1,它使图 G_1=(V,E—E_1)恰包含 k 个分支.寻找一个图的最小 k-割问题,无论在理论上和实践中都有重要的意义.Hochbaum 和 shmoys 在文献[1]中给出了平面图最小3-割的 O(|V|~2)算法.本文将给出一个平面图最小4-割的O(|V|~2)算法.本文用到的概念及符号记法均与文献[1]一致.     

关于逆N0-矩阵的若干性质

1989年Meyer为计算马尔可夫链的平稳分布向量构造了一个算法,首次提出非负不可约矩阵的Perron补的概念.在非负不可约矩阵的广义Perron补若干性质的基础上,给出逆N0-矩阵的几个性质.     

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

为了克服内点算法初始点不易给出的缺陷，本文给出了一个求解单调非线性互补问题的不可行内点算法，并证明了算法的收敛性。     

次限制拟阵基的排序算法

§1 引言本文对一般的拟阵,给出在一个子集上具有次限制所有拟阵基的排序算法。著名的“greedy”算法是求连通图最小权的支撑树的好算法。在连通图上特别指定了一个顶点,求在该顶点次限制的最小权的支撑树,Glover—Klingman也给出了好算法。Burns—Haff给出了图的支撑树权的大小进行排序的生成算法,并且指出能够把它推广为拟阵基的排序算法。本文对一般的拟阵,给出在一个集上具次限制的所有拟阵基的按权的大小进行排序的生成算法。