数学优化模型中分枝定界法的研究

一些NP完全问题已有了在实际应用时值得一试的求解算法．本文通过对分枝定界法的进一步分析，采用这种算法，开展数学建模中最优化问题案例的研究．在求解“指派问题”等NP问题上提出分枝定界法的改良思路．     

经典Ramsey数下界的计算机算法

给出了求经典Ｒａｍｓｅｙ数下界的一个计算机算法，利用此方法求得了经典Ｒａｍｓｅｙ数的两个新下界，Ｒ（５，９）≥１００，Ｒ（５，１４）≥１４４。     

关于数论函数δ（n）的一个方程

对于正整数n，设δ（n）是n的不同约数之和．该文证明了：方程δ（1）δ（n）＋δ（2）δ（n-1）＋…＋δ（n）δ（1）=nδ（n）仅有正整数解n=1和2.     

经典Ramsey数R(5,14)的下界

研究素数阶循环图的一些性质，得到一个Ｒａｍｓｅｙ数新的下界：Ｒ（５，１４）≥１８２。     

THE PERIODIC CAPACITATED ARC ROUTING PROBLEM LINEAR PROGRAMMING MODEL, METAHEURISTIC AND LOWER BOUNDS

1. Introduction The Capacitated Arc Routing Problem(CARP) is defined on an undirected network inwhich a fleet of identical vehicles with limitedcapacity is based at a depot node. Each edge hasa non-negative traversal cost and can betraversed any number…     

具有不同初始开工时间的P∥Cmax问题

在每台处理机的初始工时间不同的情况下讨论平行机调度问题的Ｍｕｌｔｉｆｉｔ算法。分析了Ｍｕｌｔｉｆｉｔ算法的可行性并证明其最差民政部性能指标界足Ｒｍ（ＭＦ「ｋ」≤１．２９＋１／２＾ｋ。     

有向图的无圈色数的上界

有向图D的无圈色数定义为满足下述要求的D的顶点染色中的最小色数:同色顶点集在D中的导出子图不含有向圈。本文给出D的无圈色数的三种上界,它们改进了已知结果并可以认为是无向图的色数上界在有向图情形的推广。     

渐开线外花键挤压成形的上限解

对于渐开线外花键的挤压工艺，因齿面为渐开线型，所涉及的参数又很多，给理论分析带来一定的难度，因此目前多用试验方法寻取一些工艺参数，作者提出用上限法进行理论分析，其中包括两个扇形单元和一个渐开线单元，用该方法可取得良好的上限解，为制定工艺参数提供了一种理论分析方法。     

关于Diophantine方程（ax^m-1）/（ax-1）=y^n＋1

设a,m是适合m＞2的正整数.证明了当a＞1时,方程仅有有限多组正整数解(x,y,n)适合min(x,y,n)＞1,而且这些解都满足yn＜2xm-1≤2am2-3m+2.     

图的Seidel Laplacian-Estrada指标

设G为简单图,d_i表示顶点v_i的度,G的Seidel Laplacian矩阵S_L(G)是一个对角元为n-1-2d_i,非对角元为±1的实对称矩阵,当顶点v_i和v_j相邻时,(S_L(G))_(ij)=1,否则,(S_L(G))_(ij)=-1。引入并研究了Seidel Laplacian矩阵的Estrada指标,给出了该指标的上、下界,以及它与Seidel Laplacian能量之间的关系。