多元整系数多项式因式分解（Ⅰ）——多项式复杂度算法

将ｔ（ｔ是不小于２的整数）元整系数多项式看成系数为ｔ－２元整系数多项式的二元多项式．利用已有的多项式时间复杂度的分解一元整系数多项式的算法，得到了一个分解多元整系数多项式时间复杂度的算法．     

球形容器内等球装填问题的启发式算法

为了在球形容器内紧密装填n个等球,设计了序列对称换位策略,将其与拟物算法结合得到一个有效的启发式算法.序列对称换位策略每次从一个局部最优布局出发,通过对称换位此局部最优布局的不同真子集得到n(n-1)/2个不同的新布局,并用拟物算法检查这些新布局.此启发式算法只须检查O(n2)个布局,即可找到一个紧凑的可行布局.所找到的最好结果显著改进了目前best known记录,并证否了半径为5的球形容器至多只能装填67个半径为1的等球的猜想.     

求解SAT问题的拟物拟人算法——Solar

利用拟物与拟的方法，为合取范式可满足性问题的高效率近似求解得出了继承策略，新路策略和赦免策略，然后对著名的Ｂａｒｔ Ｓｅｌｍａｎ跳坑策略给出了一个直观解释，综合这些策略得出了一个新的求解算法－－Ｓｏｌａｒ。     

解不等圆 packing 问题拟物拟人算法初态选取

提出形式化了的人工经验方法,由此得出的算法可以极快速地为不等圆填装（ｐａｃｋｉｎｇ）问题求出初始近似解．将此初始近似解作为求解不等圆ｐａｃｋｉｎｇ问题的拟物拟人算法中的初态,可以提高这种拟物拟人算法的计算速度约１０倍．此种方法还有可能发展为关于求解ＮＰ难问题的不仅具有高速度而且具有高精确度高完整度的具有实用价值的纯粹拟人方法．     

复杂性集类中的完全集问题

本文针对多项式时间多一归约、图灵归约及强图灵归约,探讨了一些复杂性集类存在完全集的充要条件,指出了此三种归约有表现在完全集上的差别.     

一种求解带有时间调度的四维长方体装填问题的启发式算法

长方体的Packing问题被证明是NP-hard问题。对于低维度Packing问题,国内外学者给出了模拟退火算法、遗传算法、分枝限界算法、拟人算法等求解算法。文中针对带有时间调度的三维长方体的Packing问题,引入封装级别、空间距离和周边生成序数等评判标准,提出了一种基于贪心策略的启发式算法。该算法对每个长方体每一占角位置进行评判,依据空间利用率选择给定格局下的最佳放置长方体及其放置方式,并进行填放。算法的运算复杂度是一个与容器参数A,B,C,T以及长方体数目n有关的多项式O(A~2B~2C~2T~2n~5)。利用该算法对非闸断模式和闸断模式测试样例进行实验,算法求解得到非闸断模式测试样例的平均空间利用率为98.81%,闸断模式测试样例的空间平均利用率为99.87%。并且,对于一半以上样例,该算法能够求出最优解。实验说明该算法对于求解带有时间调度的三维长方体Packing问题十分有效。     

解packing及CNF—SAT问题的拟物拟人方法

提出拟物拟人方法，论述了如何按此种方法为ＮＰ难问题设计出高效实用快速求解算法，作为例证，所得出的关于ＣＮＦ－ＳＡＴ问题及ｐａｃｋｉｎｇ问题的算法，其先进性在国际竞赛阁得到了显示。     

递归集的K-1-度上半格的格嵌入性

本文研究了递归集的K-1-度上半格的格嵌入性,证明了任一可数分配格及任一可数偏序集均可嵌入〈R_K~1(NP_K~1);≤〉的任一区间.