【摘 要】
：
P=?NP问题是计算复杂性中至今仍未解决的著名难题。这个问题的正面回答等价于有效算法判断析取范式的永真性。显然,寻找一个有效算法对解决这一问题是很有意义的。本文在文献
论文部分内容阅读
P=?NP问题是计算复杂性中至今仍未解决的著名难题。这个问题的正面回答等价于有效算法判断析取范式的永真性。显然,寻找一个有效算法对解决这一问题是很有意义的。本文在文献[1]的基础上,就寻找判断析取范式快的算法作了若干初步研究．主要成果有定理1,2,3,4,5,6。此结果为寻找快的有效算法奠定了理论基础。最后巧妙地借助补关系图的概念,给出算法2．1及打破闭残的扩展树算法3.1。
其他文献
一 20年前,一场关于真理标准的大讨论席卷神州大地。这实际上是一场关系到党和国家前途命运的大讨论。这场讨论,大大拓宽了人们的视野,开启了人们的心智,冲破了“两个凡是”
机关的重要地位、党员在机关干部中比例大、党员领导干部相对集中,决定了机关党建特别是机关党支部建设的特殊重要性。加强机关党支部建设是一个必须高度重视、认真破解的重
学科化服务是图书馆开展深层次学科咨询服务的新措施，部分大学和科研院所图书馆已经开始推行学科馆员制度。本文从学科化服务的起源与发展、当前医院发展对图书馆服务的需求不
在适当条件下研讨了形如(1)的拟线性抛物型方程组广义解的L(?)可积性,L(?)φ可积性和整体有界性.
建庄煤矿4^-2 201工作面回采到990m时发生较为严重的顶板涌水情况,影响工作面正常推采.根据区域水文地质条件和矿井水文地质条件,结合涌水水化学特征、充水形式等,分析了工作
摘 要 目的:评价X线平片与CT在矽肺诊断中的价值。方法:回顾性对比分析20例已确诊为矽肺患者的X线胸片与螺旋CT的影像表现。结果:CT对弥散性分布矽肺小结节,纵隔淋巴结肿大、钙化,胸膜增厚粘连,肺气肿,气胸,大结节阴影检出率高于CR片。结论:在以X线胸片为依据的矽肺诊断中,CT是矽肺诊断中一种十分有价值的手段。 关键词 矽肺 胸片 CT 诊断
【正】 发展经济学理论是研究不发达地区国家的经济如何从落后状态发展到现代经济状态,探索其发展规律及对策的科学。它是二次大战后发展起来的一门新兴学科。 发展经济学理
本文针对科学与统计数据库的特点,对多维平衡树加以改进,提出了紧维多维平衡树的索引结构,为科学与统计数据库提供了一种有效的存储结构,本文也讨论了紧缩多维平衡树上的准确
吉林省农电有限公司长春城郊分公司是一家集送、变、配、用电为一体的独立经营企业。不到800名职工，却担负着长春市3个开发区的部分和市郊17个乡镇的生产、生活供电任务。近两
长期家庭氧疗(LTDOT)作为缓解慢性阻塞性肺疾病(COPD)病情进展和改善患者预后的主要治疗方法，得到了越来越多患者的接受和使用。氧疗过程中患者对长期家庭氧疗的正确使用是影响氧疗效果的关键，而目前国内外研究显示患者长期家庭氧疗的总体使用情况不佳。本文旨在通过调查长期家庭氧疗的现状，分