冠图的关联着色

证明了１９９３年Ｂｒｕａｌｄｉ和Ｍａｓｓｅｙ在Ｄｉｓｃｒｅｔｅ Ｍａｔｈｅｍａｔｉｃｓ总第１２２期等５１～５８页提出的ＩＣＣ猜想（每个图Ｇ能用△＋２种颜色关联着色）对一些图的冠图是正确的。     

外部程序管理器的设计与实现

ＥＰＭ（Ｅｘｔｅｒｎｎａｌ　Ｐｒｏｇｒａｍ　Ｍａｎａｇｅｒ）通过封装复杂的程序逻辑,实现了一个界面简洁的构件化系统,它可以方便地集成到应用程序中,从而简化了应用程序调用其它程序的复杂性。本文主要介绍ＥＰＭ的系统结构与实现方法。     

基于二叉树的位排序算法

利用二叉树的结构性质,给出一个基于二叉树的位排序算法（ＢＢＳ算法）。并证明了该算是生成二叉树的这组数据按排序码升序的排序,最后,讨论了该算法的复杂性。