论文部分内容阅读
研究一个极小不可满足公式子类(MAX(1))的等价结构.考虑了MAX(1)上的变元改名问题和文字改名问题.此两个问题均可在O(nlog2(n))时间内可解.
一个极小不可满足公式子类的等价结构
【摘 要】
：
研究一个极小不可满足公式子类(MAX(1))的等价结构.考虑了MAX(1)上的变元改名问题和文字改名问题.此两个问题均可在O(nlog2(n))时间内可解.
【机 构】
：
贵州大学计算机科学系
【出 处】
：
贵州大学学报：自然科学版
【发表日期】
：
2001年2期
【基金项目】
：
贵州大学校科研和教改项目
其他文献
6月27日，十二届全国人大常委会第二十一次会议在京举行。会议听取了全国人大法律委员会副主任委员张海阳作的关于《网络安全法（草案）》修改情况的汇报。草案二审稿中进一步强化
本文引入集值映射的锥下半连续概念，给出并证明了集值映射锥上半连续、锥下半连续、锥连续的几个充分必要条件，锥上半连续集值映射的弱下水平闭性质和锥下半连续集值映射的强上
澳门萧春源珍秦斋藏秦有铭青铜器有簋、鼎、盘、盉、(?)、壶、权及多件兵器。其铭文涉及秦的政治、军事、历史、文化,极为重要。本文选取其中10件铜器铭文进行考释,认为:十四
椭圆曲线密码体制主要是基于有限域GF(p)和GF(2m)上建立的,建立在GF(2m)的椭圆曲线密码体制的运算可以用比特流来实现,因而其效率更高.本文详细分析了有限域GF(2m)和椭圆曲线
作者在研究正交多项式的最小二乘拟合算法时发现当观测数据的趋势是某一个N次多项式时会出现一种现象，即不能找到最佳的最小二乘拟合多项式。为此，作者利用统计学中的零假设及
火麻仁(hempseed)是桑科植物大麻.Cannnbis sativa L.的干燥成熟果实。研究表明,火麻仁提取物具有抗氧化、抗衰老、抗炎、神经保护以及改善化学药物致阿尔茨海默病(AD)样模型
将劳动力市场看成企业、外部劳动供应机构(ELSA)、工人三者进行博奕,给出企业和外部劳动力供应机构ELSA的最优劳动力合同.
钢结构工业厂房建设,是我国工业基础建设中至关重要的组成部分。对于工业的整体发展好工人工作环境都有着决定性的影响。因此,当下的钢结构工业厂房建设的施工监理受到了社会
考虑非局部发展问题.首先对主算子为紧半群无穷小生成元,在较弱的假设条件下,证明温和解是存在的.同时研究主算子为解析半群时温和解的正则性问题,进而对主算子为解析紧半群
讨论受控系统为一类积微分方程的Bolza问题.得到了分数指数空间一算子的强连续性和最优控制的存在性定理.最后,以一个例子展示了抽象结果的应用.