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

来源 :贵州大学学报：自然科学版 | 被引量 : 0次 | 上传用户：ttt11121

【摘要】

：

可满足合取范式(CNF)公式F到极小不可满足公式MU(1)的扩张是,对给定的CNF公式F,是否存在一个公式G满足条件var(G)(∪)var(F)并使得F+G∈MU(1).Horn公式到MU(1)公式的扩张问题

【作者】

：

张庆顺许道云

【机构】

：

贵州大学计算机科学系

【出处】

：

贵州大学学报：自然科学版

【发表日期】

：

2005年4期

【关键词】

：

变量出现极小不可满足公式公式的扩张 occurrences minimal unsatisfiable formulas extending of fo

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

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

其他文献

以技能型人才培养为目标深化计算机专业课教学

目前,从基础教育延续下来的基本知识、基本理论培养的思路,在很大程度上还左右着中等职业教育的发展,中等职业教育中大部分的理论课程设置,已经不能满足社会实用型人才的需要

期刊

技能型人才计算机专业教学

高职大学生诚信缺失现象探析

目前,高职院校大学生诚信缺失的现象较为严重,其原因主要有：社会因素,也就是传统诚信转型时期社会环境的影响;家庭因素,即家庭教育重智轻德和长辈的不讲诚信行为的影响;学校因

期刊

高职院校大学生诚信缺失

浅谈桥梁上部结构施工方法

在桥梁工程中，施工是非常重要的一环，它决定着工程的工期、质量和整个工程的造价等问题，因此，合理地选择施工方法，正确地组织施工和科学管理．具有十分重要的意义。

期刊

施工方桥梁上部结构桥梁工程科学管理组织施工

酚二磺酸光度法测定西瓜中硝酸盐含量

在超声器中提取西瓜样品，用亚铁氢化钾和乙酸锌沉淀蛋白，活性碳脱色素，酚二磺酸碱性条件下和硝酸盐生成黄色化合物，样品的硝酸盐检测结果有较好的准确度和精密度，能满足样品分析需

期刊

酚二磺酸西瓜硝酸盐检测Phenonldisulponic acid watermelon nitrate detect

网络环境下教与学的探索

创设网络化环境,畅通教育新渠道,为网络环境下的教与学的实施提供了有力保证。同时教师在网络教学中的探索,也是实现学校教学质量及学生能力提高的重要方法和措施。充分利用

期刊

网络教学探索

基于PC的巡回式温度快速检测系统

研究和探讨在快速多变的系统中,温度信号的实时准确测量的方法和手段。以研华工控机作为主机,通过PCL818HG对温度进行采集,使用Delphi、EXCEL实现了监测系统中批量数据的快速采集与保存。利用PC机可以对多点温度快速巡回检测,并对数据的记录进行方便有效的管理。

期刊

工控机数据采集板DELPHIMSCOMM巡回检测数据管理industrial control computer data acquisition b

深层搅拌桩加固软土技术探讨

针对软土的工程特性,对影响深层搅拌桩法处理软土地基沉降的多个因素进行了理论分析;通过图表的形式进行了置换率、桩长、桩体强度与软土沉降的关系分析,最后提出了深层搅拌

期刊

深层搅拌桩法软土沉降处理措施Deep agitation pile stake Soft clay Depression Counter- measur

《应用文写作》课程教法之辩

摘要：时至今日，关于高职《应用文写作》课程的教学法探讨研究成果不可谓不丰富，每种教学法均有其存在发展的理由。作为高职应用文写作教师，当结合教学实际，深入辨其利弊，在教学过程中，充分发挥各种方法之作用。笔者认为：无论教法称谓如何，只要能切实提高学生的应用写作水平，即为可用之法，可行之法。　　关键词：应用写作；教学；方法　　中图分类号：G642.0 文献标志码：A 文章编号：1674-

期刊

应用写作教学方法

滕州市开展物业服务企业诚信档案考核

近日,滕州市物业管理办公室以晋升省二级档案室为契机,在全市范围内开展了物业服务企业诚信档案考核工作。对全市64家物业服务企业进行诚信考核。此次考核是按照《滕州市物业

期刊

物业服务企业诚信档案滕州市

调整回填土量解决基础不均匀沉降

对实际工程中出现的基础已施工完毕，上部局部发生层数变化的具体情况，进行了基础的不均匀沉降分析，提出了调整回填土量解决基础不均匀沉降的施工措施，解决了工程实际问题。

期刊

基础不均匀沉降回填土foundation differential settlement backfilling earth

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

与本文相关的学术论文