徐小萍
- 作品数：8 被引量：6H指数：2
- 供职机构：襄樊学院更多>>
- 发文基金：湖北省教育厅重点项目更多>>
- 相关领域：自动化与计算机技术理学更多>>
- MARG-MU(2)的结构和复杂度
- 2009年
- SAT问题(可满足性问题)是理论计算机科学的核心问题,研究SAT问题的方法很多,利用极小不可满足公式的性质来研究SAT问题是近几年兴起的一个热点研究方向。本文主要利用(1,*)-消解方法研究了差为2的边缘极小不可满足公式集(MARG-MU(2))的结构和复杂度:在结构方面,MARG-MU(2)中的公式要么是F22,要么是某一文字在其中仅出现一次的公式;在复杂度方面,如果MARG-MU(2)对(1,*)-消解封闭,则某个含有n个变元和n+2个子句的公式是否为MARG-MU(2)中的公式的问题可以在时间O(n3)内被判定。
- 徐小萍
- 关键词：极小不可满足公式消解
- 集合MU的某些子类间的包含关系
- 2008年
- 通过具体公式在增加或删去某些文字或子句后生成的新公式的可满足性来研究极小不可满足公式类的常见子类Dis-MU,HIT-MU,Unique-MU,MARG-MU,MAX-MU和SYM-MU之间的包含关系.
- 徐小萍
- 关键词：极小不可满足公式
- 命题逻辑演绎推理在日常生活中的应用被引量：3
- 2007年
- 命题逻辑是数理逻辑的重要组成部分,它的应用很广泛.文章通过案件审理、人事和电路设计等方面的实例分析了怎样利用命题逻辑的演绎推理来解决日常生活中的一些问题.
- 徐小萍
- 关键词：命题逻辑案件审理电路设计
- 命题公式类型的判定方法被引量：1
- 2010年
- 主要研究如何利用真值表、等值演算,主析取范式和主合取范式、真值树来判定命题公式的类型,并对这四种判定方法的优缺点和适用范围作了探讨。
- 徐小萍
- 关键词：命题逻辑二叉树化归
- MAX-MU(2)的结构和复杂度被引量：1
- 2006年
- SAT问题(可满足性问题)是理论计算机科学的核心问题,研究SAT问题的方法很多,利用极小不可满足公式的性质来研究SAT问题是近几年的一个热点研究方向.文章主要利用(1,*)-消解和分裂方法研究了差为2的极大极小不可满足公式集(MAX-MU(2))的结构和复杂度.
- 徐小萍
- 关键词：SAT问题
- 极小不可满足核及其提取
- 2011年
- 在极小不可满足公式和可满足公式的基础上给出极小不可满足核的定义,并给出用布尔可满足求解器提取不可满足公式的极小不可满足核的方法。
- 徐小萍
- 关键词：极小不可满足公式求解器
- HITMU(2)的结构和复杂度被引量：2
- 2004年
- SAT问题(可满足性问题)是计算机科学的核心问题,研究SAT问题的方法很多,利用极小不可满足公式的性质来研究SAT问题是近几年兴起的一个热点研究方向. 本文主要利用1(,)*-消解和分裂方法研究了差为2的碰撞极小不可满足公式集()2(MUHIT-)的结构和复杂度.此前,只有G.Davydov, I.Davydova 和H.Kleine Büning对)1(MU和)2(MU的结构和复杂度得出了较好的结果.
- 徐小萍丁德成
- 关键词：复杂度
- Unique—MU(2)和SYM-MU(2)的结构和复杂度被引量：1
- 2005年
- SAT问题(可满足性问题)是计算机科学的核心问题,研究SAT问题的方法很多,利用极小不可满足公式的性质来研究SAT问题是近几年兴起的一个热点研究方向.文章主要利用(1,*)-消解和分裂方法研究了差为2的唯一极小不可满足公式集(Unique-MU(2))和差为2的对称极小不可满足公式集(SYM-MU(2))的结构和复杂度.
- 徐小萍
- 关键词：复杂度
