4个多色Ramsey数的下界

研究了素数阶完全图Ｋｐ的边的ｎ－染色，给出了计算它的子图Ｇｐ（Ｓｉ）的团数的一种算法，得到１个三色，３个四色Ｒａｍｓｅｙ数的新的下界     

两个素数阶循环图与八个经典Ramsey数的下界

构造两个素数阶循环图,并引用相关的公式,得到八个Ramsey数的新下界:R(3,24)≥140,R(3,28)≥164,R(3,93)≥835,R(3,109)≥979,R(5,25)≥557,R(5,29)≥653,R(3,3,25)≥557,R(3,3,29)≥653。     

完全图K97的边染色与4个Ramsey数的新下界

用构造性方法研究完全图K97的边的各种染色,得到4个经典Ramsey数的新下界：R（3,3,8）≥98,R（3,4,6）≥98,R（3,5,5）≥98,R（3,18）≥98。     

素数阶循环图的线性变换与若干Ramsey数Rn（5）的下界

本文用群论和数论研究阶循环图，探讨循环群的正规子群的结构，给出探索（Ｒａｍｓｅｙ数Ｒｎ（５）下界的一般方法，得到若干Ｒａｍｓｅｙ数Ｒｎ（５）新的下界。     

求解Ramsey数下界的模拟退火算法

对于图G_1、G_2,2色广义Ramsey数R(G_1,G_2)是指最小正整数P,使得每一个p阶的图G,或者G包含G_1,或者G的补图包含G_2。用改进的模拟退火算法求解得到了R(W_m,K_n),R(B_m,K_n),R(F_m,K_n),类型的一些Ramsey数的下界。     

若干个经典Ramsey数R（5,p）的新下界

本文构造了３个新的素数阶循环图，从而得到了３个Ｒａｍｓｅｙ数的新下界：Ｒ（５，１９）≥３１２，Ｒ（５，２０）≥３３８，Ｒ（５，２１）≥３７４。     

三个Ramsey数R(3,q)的新下界

通过构造三个循环图,得到了三个经典Ramsey数R(3,q)的新下界:R(3,34)≥223,R(3,36)≥237,R(3,38)≥254。     

若干个经典Ramsey数R(5,q)的新下界

本文构造了３个新的素数阶循环图，从而得到了３个Ｒａｍｓｅｙ数的新下界：Ｒ（５，１９）≥３１２，Ｒ（５，２０）≥３３８，Ｒ（５，２１）≥３７４。     

Ramsey数R（3,3,3,3,3;2）的下界

本文用群论和数论的方法研究了素数阶循环图的一些性质，得到Ｒａｍｓｅｙ数Ｒ（３，３，３，３，３；２）的新的下界     

用自同构循环图计算Ramsey数R(3,q)的下界*

确定经典Ramsey数的下界是组合数学中非常困难的问题,因而人们常用各种方法计算它的界。发现一种新的方法, 即自同构循环图的方法,计算得到三个经典Ramsey数的新下界：R(3,30)≥188,R(3,33)≥217,R(3,34)≥225。     

构造对角Ramsey图的DNA算法设计*

Ramsey数问题是一个著名的组合优化问题, 同时也是一个NP完全问题。构造对角Ramsey图是一个难处理的计算问题,使用穷举的算法来构造对角Ramsey图必然导致计算量的指数爆炸,穷举的DNA算法也不例外。提出了一个构造对角Ramsey图的递阶式DNA粘贴—剪接算法,该算法通过逐个添加顶点的思想, 逐步删除了问题的绝大部分非解,在一定程度上缓解了问题解的空间扩散。特别地, 专门针对对角Ramsey数R(5,5)的43阶Ramsey图的构造问题进行了计算分析, 分析结果充分地肯定了该算法的有效性。     

二进制翻译中解析多目标分支语句的图匹配方法

二进制翻译技术现已成为实现软件移植的重要手段.在二进制翻译系统中,如何有效地挖掘程序的代码并对其进行高效翻译是影响系统性能的关键,而二进制代码中间接跳转语句的存在,使得静态时难以得到它的跳转目标,影响了代码的发掘率和最终的翻译效果.在通常的应用程序中,间接跳转指令经常用来实现多目标分支语义,分支目标存放在跳转表中.提出了一种解析多目标分支语句及其跳转表的方法,能够挖掘出间接跳转的目标,进而对其进行有效翻译并提高二进制翻译系统的性能.该方法提出使用语义图来对预期语义进行刻画和表达.语义图能够对考察的指令序列进行语义提取,识别出与预期语义相匹配的指令流,还可以应对编译器在不同优化选项下生成的指令,并能有效滤除不相关指令带来的干扰.实验结果表明,对于SPEC CINT2000中的部分测试用例,代码翻译的覆盖率可以提高9.85%～22.13%,相应带来的性能提升可达到8.30%～17.71%,而使用的算法时间复杂度仅为O(1).     

基于遗传禁忌混合策略的二叉判定图最小化算法研究

提出了一种新的动态启发式二叉判定图（BDD）最小化算法．该算法将遗传算法的全局搜索能力和禁忌搜索的邻域搜索策略相结合来寻找BDD的最优变量排序，以实现BDD结点规模最小化．实验结果表明该算法性能优于其它启发式算法．     

On the stability number of the edge intersection of two graphs

Let G be the graph obtained as the edge intersection of two graphs G₁, G₂ on the same vertex set V. We show that if at least one of G₁, G₂ is perfect, then α(G)?α(G₁)·α(G₂), where α() is the cardinality of the largest stable set. Moreover, for general G₁ and G₂, we show that α(G)?R(α(G₁)+1,α(G₂)+1)−1, where R(k,?) is the Ramsey number.     

一种求解Ramsey数的DNA计算机算法

Ramsey理论是组合数学中一个庞大而又丰富的领域,在集合论、逻辑学、分析以及代数学上具有极重要的应用.Ramsey数的求解是非常困难的,迄今为止只求出9个Ramsey数的准确值.探讨了DNA生物分子超级计算在求解这一困难数学问题的可能性.将Adleman-Lipton模型生物操作与粘贴模型解空间相结合的DNA计算模型...     

一种二值图象欧拉数的并行快速算法

本文给出了一个求方格(square grid)上二值化图象欧拉数的并行快速算法,并通过将方格上的二值图象转化成数字图来引用图论方法对该算法进行了证明,且给出了若干实例以说明算法的有效性.     

计算Fibonacci数的对分迭代算法

Fibonacci数有很多应用,它的求值有几种不同的算法。对原有算法的时间复杂性在理论分析的基础上进行了实验的分析,实验结果表明采用逐项递归算法、对分递归算法、直接求值算法和迭代算法的程序,其运行速度依次递升。论文还提出了一种对分迭代算法,它比原有最快的迭代算法约快20%～60%。