【摘 要】
：
Based on the common properties of logic formulas:equivalence and satisfiability,the concept of variable minimal formulas with property preservation is introduce
【出 处】
：
Chinese Science Bulletin
论文部分内容阅读
Based on the common properties of logic formulas:equivalence and satisfiability,the concept of variable minimal formulas with property preservation is introduced.A formula is variable minimal if the resulting sub-formulas with any variable omission will change the given property.Some theoretical results of two classes:variable minimal equivalence(VME) and variable minimal satisfiability(VMS) are studied.We prove that VME is NP-complete,and VMS is in DP and coNP-hard.
Based on the common properties of logic formulas: equivalence and satisfiability, the concept of variable minimal formulas with property preservation is introduced. A formula is variable minimal if the resulting sub-formulas with any variable omission will change the given property. Some theoretical results of Two classes: variable minimal equivalence (VME) and variable minimal satisfiability (VMS) are studied. We prove that VME is NP-complete, and VMS is in DP and coNP-hard.
其他文献
说谁取代谁,言过了潘文富/中小企业内部管理课题研究者关于经销商被取代的话题已经谈了十五年了,每过几年就换个花样炒一次。经销商存在的根本价值就两个字,成本。在中国商业
目的:通过观察三才连梅颗粒对2型糖尿病模型小鼠空腹血糖、体重、血清胰岛素、胰高血糖素、糖化血清蛋白、OGTT及β细胞功能的影响,与二甲双胍干预组比较在治疗2型糖尿病小鼠过程中对OGTT及β细胞功能影响的异同,为三才连梅颗粒的临床应用及院内制剂的研发提供资料与数据支持。方法:本实验用高脂喂养及链脲佐菌素(100 mg/kg)单次注射诱导小鼠2型糖尿病,造模成功(空腹血糖>11.1mmol/L)后,每
近年来,《战旗报》副刊以其清新、靓丽、富有个性的面孔,受到越来越多读者的欢迎。在成都军区所属基层部队,《战旗报》副刊几乎成了战士们阅读的首选。不少战士说,《战旗报》
海府办[2015]347号各区人民政府,市政府直属有关单位:《海口市农贸市场升级改造工作实施方案》已经十五届市政府第50次常务会议审议通过,现印发给你们,请认真组织实施。2015
“世界其他国家在互联网金融行业发展都没有中国快,”关于中国互联网金融,国际金融投资大师吉姆·罗杰斯如是说。互联网金融的发展,必然刺激就业岗位的需求增长。5月底,刚刚
Non-consistency of stress results is of ten observed during field measurements. In some cases, even the rneasurernents are made at the same location in a massiv
正如习近平总书记所言:“一个国家的发展水平,既取决于自然科学发展水平,也取决于哲学社会科学发展水平”,要构建中国特色的哲学社会科学体系就离不开人文社会科学期刊的支持
同是开在兴旺商区饰品单元、相同经营面积的小店，为什么有的生意失败有的生意勉强维持温饱而有的生意却蒸蒸日上？谭先生以其实际经验告诉我们，求新求变应是一条放之四海皆准的原则。 居安思危、全面创新，是谭先生成功的关键。他不仅首创了市场新型点心饰物，而且还改装陈列模式，定做了具有流动视觉效果的回旋货柜台，别出心裁地用巧克力盒、糖果盒来包装饰品，真正做到思想有多远经营就有多远，走在了同行前列。 从进货开
门虽是整个建筑的一个小的组成部分,但日本一公司研制成功的一种智能门却包含着很高的科技含量:它能根据进出门者的体形特征决定门需开多大。在这种门上装有大量的红外线传感
主要运用Pell方程、递推序列、同余式及(非)平方剩余等一些初等方法,证明了不定方程5 x(x+1)(x+2)(x+3)=14y(y+1)(y+2)(y+3)无正整数解.