论文部分内容阅读
研究判定合取范式公式F和H之间是否存在一个改名ψ使得ψ(F)=H的计算复杂性.公式的改名是将命题变元映到变元本身或变元的否定的一个映射,对于极小不可满足公式的子类MU(1)中的公式,我们证明了其改名判定问题在多项式时间内是可判定的.
MU／（1）内公式改名的多项式可判定性
【摘 要】
：
研究判定合取范式公式F和H之间是否存在一个改名ψ使得ψ(F)=H的计算复杂性.公式的改名是将命题变元映到变元本身或变元的否定的一个映射,对于极小不可满足公式的子类MU(1)中
【机 构】
：
贵州大学计算机科学系
【出 处】
：
贵州大学学报：自然科学版
【发表日期】
：
2003年1期
【基金项目】
：
supported by the foundation of science of the education burean of Guizhou Province
其他文献
我国城市发展进入了后建设时期。面对新的环境，政府必须主动求变，更新理念，转变职能，将工作重心从建设转向管理，实现城市管理从传统到现代的转变，充分发挥现代化城市硬件设施的效用
在隧道施工过程中进行隧道围岩变形的量测具有重要的意义,当观测数据趋于平稳时,进行回归分析,推算出最终值和变化规律,对于二次衬砌的施作具有重要指导意义,因此找到恰当回
通过实践与理论对岩爆进行了分析与研究,探讨了直接影响岩爆的几个主要因素,首次利用回归分析法对岩爆的有关数学模型进行了一些探讨,取得了一些结果,并且通过实践验证了所得
广义量子不可克隆定理使得两个量子态仅当它们正交时才能被同一物理过程克隆.但当两个粒子形成纠缠态时,对其中某个粒子态克隆时正交性条件并不存在.
产物弥散成片是PCR操作中一种比较常见的异常现象，在连续PCR实验中会导致扩增的最终失败。这种异常产生的内在机制是扩增过程中非全长部分链的合成、积累及其对后续扩增的干扰
摘 要：文章以利益相关者角度为背景，从人才培养模式的现状、评估指标的发展以及利益相关者视域下指标的设计三个方面，探索基于应用型人才培养的校企合作评估指标的构建。 关键词：应用型人才培养;校企合作;评估指标 中图分类号：G647 文献标识码：A 收稿日期：2019-01-08 文章编号：1674-120X（2019）05-0018-02 一、引言 鉴于科技进步日新月异、人才竞争日趋激烈的现状
给出(i)Polya-Szego不等式和Inghom不等式同时有意义的改进.(ii)在HP函数理论中Fejér-Riesz定理的推广.
如何使个人消费更趋合理、科学,这是一个很值得探讨的问题,到目前为止,对个人消费问题的研究一般是从经济学的观点去分析与探讨.笔者尝试利用建立数学模型的方法对此进行了分