论文部分内容阅读
研究判定合取范式公式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
其他文献
我国城市发展进入了后建设时期。面对新的环境，政府必须主动求变，更新理念，转变职能，将工作重心从建设转向管理，实现城市管理从传统到现代的转变，充分发挥现代化城市硬件设施的效用
摘 要：文章以利益相关者角度为背景，从人才培养模式的现状、评估指标的发展以及利益相关者视域下指标的设计三个方面，探索基于应用型人才培养的校企合作评估指标的构建。 关键词：应用型人才培养;校企合作;评估指标 中图分类号：G647 文献标识码：A 收稿日期：2019-01-08 文章编号：1674-120X（2019）05-0018-02 一、引言 鉴于科技进步日新月异、人才竞争日趋激烈的现状
给出(i)Polya-Szego不等式和Inghom不等式同时有意义的改进.(ii)在HP函数理论中Fejér-Riesz定理的推广.
如何使个人消费更趋合理、科学,这是一个很值得探讨的问题,到目前为止,对个人消费问题的研究一般是从经济学的观点去分析与探讨.笔者尝试利用建立数学模型的方法对此进行了分