锐角原理的构造性证明

本文用单纯同伦向量标号算法给出了上半连续集值映射的锐角原理的构造性证明,从而给出了几个不动点定理的构造性证明.还给出了一个保证计算收敛的条件.     

一类线性约束凸规划的内椭球算法

1引言自从1984年Karmarkar的著名算法——梯度投影算法发表以来,由其理论上的多项式收敛性及实际计算的有效性,使得内点算法成为近十几年来优化界研究的热点（［1］）．通过中外学者的深入研究,线性规划与凸二次规划的内点算法研究已取得了不少成果（［2」、［3〕）．这些算法大致可分为四种类型：梯度投影算法、仿射尺度算法、路径跟踪法和势函数减少法吸3］、〔9〕）．近来,人们开始着手将这些方法推广到非线性规划中的凸规划问题、线性互补问题和非线性互补问题（【6」、［7」、〔sj、［10」、Ill〕）．例如：文［8」对一类凸可分规…     

凸规划的新算法

对一般凸目标函数和一般凸集约束的凸规划问题新解法进行探讨,它是线性规划一种新算法的扩展和改进,此算法的基本思想是在规划问题的可行域中由所建－的一个切割面到另一个切割面的不断推进来求取最优的。文章对目标函数是二次的且约束是一般凸集和二次目标函数且约束是线性的情形,给出了更简单的算法。     

鞍点问题迭代解法收敛因子估计

分析Ｂａｎｋ（１９９０年）的论文中的求解鞍点问题的迭代解法,得到一个改进的收敛因子估计。     

带多重选择的最短路问题:复杂性和算法

本文提出了带出重选择的是短路问题,建立了该问题的数学模型,利用背包问题的一个变形问题－带限制选择的背包问题,证明了该问题是ＮＰ－Ｃ的,最后利用动态规则给出了一个伪多项式算法,其时间复杂性Ｏ（Ｃｈｍｎ）,其中ｈ是最大的选择重数。     

求解非线性P_0互补问题的非单调磨光算法

提出了一种新的磨光函数,在分析它与已有磨光函数不同特性的基础上,研究了将它用于求解非线性P_0互补问题时,其磨光路径的存在性和连续性,进而设计了求解一类非线性P_0互补问题的非单调磨光算法.在适当的假设条件下,证明了该算法的全局收敛性和局部超线性收敛性.数值算例验证了算法的有效性.     

两类可观测量的Bell不等式

引入了可观量a和ab关于密度矩阵ρ的平均值E_ρ(a)=Tr(aρ)与E_ρ(a,b)=Tr((ab)ρ),给出了一系列性质,建立了相应的Bell不等式|E_ρ(a,b)+E_ρ(a,c)+E_ρ(d,b)-E_ρ(d,c)|≤2(‖Pρn1‖2+‖Pρn2‖2)～(1/2)≤22~(1/2).     

一类单调F-互补问题的PPA算法

考虑在扰动泛函F是光滑的情况下,利用Bregman距离建立了F-互补问题和广义的变分不等式的等价性,接着假设f是单调映射,给出了这个单调变分不等式的临近点算法,然后给出了算法的收敛性,最后在局部误差界成立的假设下,证明该算法是R-线性收敛的.