可满足公式到极小不可满足公式MU(1)的扩张复杂性

可满足合取范式（CNF）公式F到极小不可满足公式MU（1）的扩张是,对给定的CNF公式F,是否存在一个公式G满足条件var（G）包含var（F）并使得F＋G∈MU（1）。Horn公式到MU（1）公式的扩张问题可在多项式时间内解决,但对一般CNF公式F的扩张问题,至今尚未解决。这里我们将给出一个多项式时间的算法解决这一问题。     

MAX+(k)中公式改名的多项式时间可判定性

MAX^ (k)是极小不可满足公式的一个子类。作者引入了MAX^ (k)中公式的一种递归构造方法,基于分裂技术并通过证明MAX(1)中公式改名问题在多项式时间内可以判定。证明了MAX^ (k)中公式的改名问题在多项式时间内可以判定。     

带中介的鸽巢公式

鸽巢公式的一个真值指派可以用一个边带标记的完全二分图表示。在完全二分图中插入一个新的中介结点集,可以将鸽巢公式推广到带中介的情形,从而形成一类新的消解难例公式。文中提供了一种新的消解难例的构造方法。     

MU(1)内公式改名的多项式可判定性

研究判定合取范式公式F和H之间是否存在一个改名φ使得φ(F)＝H的计算复杂性。公式的改名是将命题变元映到变元本身或变无的否定的一个映射，对于极小不可满足公式的子类射MU／(1)中的公式，我们证明了其改名判定问题在多项式时间内是可判定的。     

不可满足公式的完备证明系统

合取范式(CNF)公式H到F的同态是一个从H的文字集合到F的文字集合的映射、并保持补运算和子句映到子句。同态映射保持一个公式的不可满足性。一个公式是极小不可满足的是指公式不可满足而且从中删去任一个子句后得到的公式可满足。MU(1)是子句数与变元数的差等于1的极小不可满足公式类。S．Szeider证明了：每个不可满足公式F是MU(1)中某个公式日的同态像。从而，基于MU(1)的同态证明系统与树消解证明系统是p-等价的。MU(1)中的公式可以用基础矩阵表示，本文用基础矩阵的方法证了同态证明系统ПMU（1）的完备性。     

MARG-MU(2)的结构和复杂度

SAT问题(可满足性问题)是理论计算机科学的核心问题,研究SAT问题的方法很多,利用极小不可满足公式的性质来研究SAT问题是近几年兴起的一个热点研究方向.本文主要利用(1,*)-消解方法研究了差为2的边缘极小不可满足公式集(MARG-MU(2))的结构和复杂度:在结构方面,MARG-MU(2)中的公式要么是F22,要么是某一文字在其中仅出现一次的公式;在复杂度方面,如果MARG-MU(2)对(1,*)-消解封闭,则某个含有n个变元和n+2个子句的公式是否为MARG-MU(2)中的公式的问题可以在时间0(n3)内被判定.     

鸽巢原理的妙用

考虑到一些非一一对应的离散关系的充分性判别问题,由于不具有一个完美的充分性判别定理,对于一些比较特殊的问题,若用一般的数学方法去讨论,往往很复杂或根本解不出来。但如果能巧妙使用一些已经证明过的原理,往往能起到事半功倍的效果。此文重点介绍了如何巧妙使用鸽巢原理解决一些非一一对应的离散关系的充分性判别问题的方法,对提高应用能力意义重大。     

Ramsey定理的推广

本文将著名的Ramsey定理加以推广,得到广义Ramsey定理。     

鸽巢原理及其应用

鸽巢原理是非常规解题方法的重要类型。本文着重讨论运用鸽巢原理时构造“鸽巢”的方法，并总结了应用鸽巢原理时的注意事项。     

级数(∑∞k=2f(k)ζ-(k))的求和公式

采用组合数学的方法,利用第二类Stirling数研究了与Riemann Zeta 函数有关的级数∑∞k=2f(k)ζ-(k)的求和问题,并得出了求和公式,这个公式表述简洁并有鲜明的规律性.     

一个极小不可满足公式子类的等价结构

研究一个极小不可满足公式子类（MAX（1）的等价结构,考虑了MAX（1）上的变元改名问题和文字改名问题。此两个问题均可在O（nlog2(n))时间内可解。     

抽样误差公式的初等证明

回避数理统计中期望和方差的定义及性质,直接用排列知识和代数运算方法给出了抽样误差公式ｕｘ＝σ／√ｎ的初等证明,使不具备数理统计的知识学生感觉简单易懂。     

几个积分公式的注释及其应用

Green公式、Stokes公式与Gauss公式是微积分中的三个重要公式,它们将不同的积分联系起来,在许多研究领域有非常重要的应用.本文主要讨论这几个公式的关系、描述的数学本质、统一形式及在偏微分方程中的一些应用.     

一类特征值问题的迹公式

本文利用文献［２］的结果，得到了一类特征值问题Ｙ＿ｘ＝ＭＹ的迹公式，其中Ｍ为含特征参数的２×２矩阵。     

两个概率公式的推广

定理2是本文的主要结果,它给出了随机序列形式下的全概公式和Bayes公式,可视为这两个公式通常形式的推广.     

MARG-MU（2）的结构和复杂度

SAT问题（可满足性问题）是理论计算机科学的核心问题,研究SAT问题的方法很多,利用极小不可满足公式的性质来研究SAT问题是近几年兴起的一个热点研究方向。本文主要利用（1,＊）-消解方法研究了差为2的边缘极小不可满足公式集（MARG-MU（（2））的结构和复杂度：在结构方面,胁MARG—MU（2）中的公式要么是F2^2,要么是某一文字在其中仅出现一次的公式;在复杂度方面,如果MARG-MU（2）对（1,＊）-消解封闭,则某个含有,1个变元和n＋2个子旬的公式是否为MARG-MU（2）中的公式的问题可以在时间O（n^3）内被判定。     

整循环图的能量公式

循环图是互联网络环境下的分布式并行计算中一类非常重要的拓扑图．一个图叫做循环图,如果它是循环群上的Cayley图,也即它的邻接矩阵是一个循环矩阵．若循环图的邻接矩阵的特征值全为整数,则称此循环图为整循环图．图的能量是图的特征值的绝对值的和．本文主要研究整循环图的能量计算公式．