论文部分内容阅读
MAX+(k) 是极小不可满足公式的一个子类.作者引入了 MAX+(k)中公式的一种递归构造方法, 基于分裂技术并通过证明MAX(1)中公式改名问题在多项式时间内可以判定.证明了 MAX+(k)中公式的改名问题在多项式时间内可以判定.
MAX＋（k）中公式改名的多项式时间可判定性
【摘 要】
：
MAX+(k) 是极小不可满足公式的一个子类.作者引入了 MAX+(k)中公式的一种递归构造方法, 基于分裂技术并通过证明MAX(1)中公式改名问题在多项式时间内可以判定.证明了 MAX+(k)
【机 构】
：
贵州大学计算机科学系
【出 处】
：
贵州大学学报：自然科学版
【发表日期】
：
2005年2期
【基金项目】
：
国家自然科学基金，贵州省省长基金
其他文献
此作品是利用制陶传统的技艺，拉坯、修坯、上化妆土、画彩、上釉料等技法，既传承了古代釉下五彩的优点，又结合现代的写意泼墨画法，把装饰绘画中的点、线、面融入到作品中，适合现代
针对目前铁路客运专线工期紧、现场施工环境复杂,桥梁梁部结构施工控制工期的情况,结合作者在施工现场丰富的施工经验,介绍膺架法这种并不新鲜的施工技术和施工工艺如何有效
【正】 宫内节育器(IUD)仍是目前最常用的避孕方法,其常见的并发症是IUD异位,但并发肠梗阻及坏死性梗阻侧少见,就本文作者所见的3例报告如下。 病例 例1:55岁,在20年前产后半
鸿运当头有着极为丰富古祥的意义，以整个顶戴花翎宫帽的造型为元素，把鸿运当头作设计主题与壶身细腻的砂质特点以及紫砂泥的名称相融合，寓意鸿运当头，紫气东来。
兰新铁路第二双线张掖～红柳河段站前工程LXS．14标段清泉段地质条件软弱，地基采用CFG桩和水泥土、水泥卵砾石复合地基施工技术，再在其上填筑AB组料，从路基压实系统工作原理、系统特
近日，第23届“金牛杯”优秀美术图书评选在湖北武汉落下帷幕，由定窑研究专家、中国工艺美术大师陈文增主编的大型文献图书《中国定窑》获银奖。
应用毛细管气相色谱-氢火焰光度检测器法对大米中的乐果进行快速检测.样品用乙腈+水(1:1)混合溶液进行提取,以中性毛细管柱DB-35作为分离柱,能有效地去除大米基质的干扰.本方
结合佳宁道35 m＋50 m＋35 m双线单孔箱梁预应力施工,对后张法预应力施工技术进行总结,并对施工中常遇到的问题做了分析,为同类施工提供参考。
紫砂壶成型的方法不外乎“打身筒”与“镶身筒”两种。一把壶的价值标准．往往在于这把壶的精气神韵是否充足饱满。壶型是否做的规整、比例是否和谐、泥料是否好、做工是否细致