MAX—MU（2）的结构和复杂度

SAT问题(可满足性问题)是理论计算机科学的核心问题,研究SAT问题的方法很多,利用极小不可满足公式的性质来研究SAT问题是近几年的一个热点研究方向.文章主要利用(1,*)-消解和分裂方法研究了差为2的极大极小不可满足公式集(MAX-MU(2))的结构和复杂度.     

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

SAT问题(可满足性问题)是计算机科学的核心问题,研究问题的方法很多,利用极小不可满足公式的性质来研究SAT问题是近几年兴起的一个热点研究方向. 文章主要利用,(1,*)-消解和分裂方法研究了差为2的唯一极小不可满足公式集(Unique-MU(2))和差为2的对称极小不可满足公式集(SYM-MU(2))的结构和复杂度.     

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

SAT问题（可满足性问题）是计算机科学的核心问题，研究SAT问题的方法很多，利用极小不可满足公式的性质来研究SAT问题是近几年兴起的一个热点研究方向．文章主要利用（1，＊）-消解和分裂方法研究了差为2的唯一极小不可满足公式集（Unique-MU（2））和差为2的对称极小不可满足公式集（SYM-MU（2））的结构和复杂度．     

一个极小不可满足公式子集的构造

对于极小不可满足公式和它的子类的研究是近年来兴起的一个热门方向.极小不可满足公式通过分裂得到的公式保持了极小不可满足性,它的子类的某些性质对于建立在分裂上的归纳证明是很有用的.找到了一个能递归构造的极小不可满足公式的子类M4X+,并证明这种递归构造方法具有可靠性和完备性,最后给出了一个构造实例.     

极小不可满足核及其提取

在极小不可满足公式和可满足公式的基础上给出极小不可满足核的定义,并给出用布尔可满足求解器提取不可满足公式的极小不可满足核的方法。     

极小不可满足核及其提取

在极小不可满足公式和可满足公式的基础上给出极小不可满足核的定义,并给出用布尔可满足求解器提取不可满足公式的极小不可满足核的方法。     

一个极小不可满足公式子类改名的复杂性研究

改名规则在创建有效的满足性算法和简化某些消解难例的证明中起到了重要作用,对于一些具有对称结构的难例公式,可以通过改名来降低其证明的复杂性.研究了一个极小不可满足公式子类,给出了该子类的改名算法,并证明了对该子类中改名问题可以在多项式时间内判定.     

两种亚洲百合的核型分析

利用染色体常规压片法,对亚洲百合杂种系的两种百合进行了核型分析,结果表明:克得利亚(Cordelia)的染色体核型公式2n=2X=24=2m+4sm(4SAT)+10st(2SAT)+8t(2SAT),核型不对称系数(As.K%)为76.33%.黑美人(Negro)的染色体核型公式2n=2X=24=2m+4sm(2SAT)+8st(2SAT)+10t,核型不对称系数(As.K%)为79.60%.核型类型都属于3B型.     

集合的某些子类间的包含关系

通过具体公式在增加或删去某些文字或子句后生成的新公式的可满足性来研究极小不可满足公式类的常见子类Dis-MU,HIT-MU,Unique-MU,MARG-MU,MAX-MU和之间的包含关系.     

集合MU的某些子类间的包含关系

通过具体公式在增加或删去某些文字或子句后生成的新公式的可满足性来研究极小不可满足公式类的常见子类Dis-MU,HIT-MU,Unique-MU,MARG-MU,MAX-MU和SYM-MU之间的包含关系.