分享到:

NT-HIT公式的存在性

可满足性问题(SAT问题)在数理逻辑、人工智能、机器学习、约束满足问题、VLSI集成电路设计与检测以及计算机科学理论等领域具有广阔的应用背景。可满足性问题是第一个NP-完全问题,并且是一大类NP-完全问题的核心。大量的实践表明,许多NP-完全问题无论对于计算机科学理论还是工程应用都有着至关重要得意义。极小不可满足公式的研究是近年来兴起的关于可满足性问题的一个热点方向。一个CNF公式F称为极小不可满足的(MU),如果F是不可满足,并且在F中删去任意一个子句后所得到的公式是可满足的。分裂技术是研究极小不可满足公式的很好工具。取出一变元x,我们对他进行真假赋值x=0和x=1,从而来考察赋值后得到的新的公式。对极小不可满足公式的一个变元赋值后,得到的公式仍是极小不可满足公式。特别地,可以使用分裂技术对公式归纳证明并对公式进行分类。一对子句C_1和C_2是Hitting的,如果C_1和C_2中存在一对互补文字,即存在文字L使得L∈C_1且  (本文共43页) 本文目录 | 阅读全文>>

《贵州大学学报(自然科学版)》2005年02期
贵州大学学报(自然科学版)

NT-HIT(k)公式的存在性

一个合取范式(CNF)公式F是NT-HIT公式,如果F中的任意两个不同的子句中恰有一对互补文字。NT-HIT(k)是公式的子句数与变元数之差为k的NT-HIT公式类。通过构造一个命题公式Hn,m,我们证明了: ...  (本文共7页) 阅读全文>>

《数学通讯》2019年21期
数学通讯

话说万能公式

...  (本文共3页) 阅读全文>>

《新世纪智能》2018年Z2期
新世纪智能

数学公式,不会用怎么办——例谈公式的推导与结构

在高三冲刺阶段,有些同学在做题时还是记不清公式,一个...  (本文共2页) 阅读全文>>

《河北理科教学研究》2008年03期
河北理科教学研究

Wallis公式的又一个证明

...  (本文共1页) 阅读全文>>

《数学学习与研究(教研版)》2009年05期
数学学习与研究(教研版)

关于公式1/n(n+1)=1/n-1/n+1(n∈N~*)的推广及应用

...  (本文共1页) 阅读全文>>

《数学教学通讯》2004年10期
数学教学通讯

谈公式“A′B′=|■|cos〈a,e〉=a.e”的多角度应用

由人民教育出版社出版的全日制普通高级中学教科书(试验修...  (本文共2页) 阅读全文>>