【摘 要】
：
为分析合取范式(conjunctive normal form,CNF)公式的赋值空间在可满足性情况下的结构性质,引入一个变元翻转次数控制的参数k,k不小于1且不大于n,n为公式中出现的变元个数,以
【基金项目】
：
The National Natural Science Foundation of China under Grant Nos.61762019,61462001(国家自然科学基金).
论文部分内容阅读
为分析合取范式(conjunctive normal form,CNF)公式的赋值空间在可满足性情况下的结构性质,引入一个变元翻转次数控制的参数k,k不小于1且不大于n,n为公式中出现的变元个数,以赋值作为结点,基于翻转界控制下赋值满足子句数的大小,引入一类有向图——BF(bounded flips)图。研究带翻转控制参数的BF图的若干基础性质,根据BF图的性质研究CNF公式可满足解的概率性质。对于含有n个变元m个子句CNF公式,随着翻转控制参数k的增大,在其BF图上取得可满足解的概率也相应增大。当k靠近
其他文献
新规定的出台对原有的《劳动合同法》中关于劳务派遣的条例进行了进一步明确和完善，对于正在使用劳务派遣员工的企业来说，如何在新形势下既利用好劳务派遣这一特殊用工形式，又能降低人工成本，提升企业运营效率，值得深入思考和探究。 一、劳务派遣用工背景 随着社会主义市场经济的日益成熟和用工制度改革的深化，劳务派遣作为一种新的用工形式是在我国劳动力市场实践过程中出现的，其发展主要经历了以下几个阶段。 上世
兔年春节期间，中国科技馆连续第四年推出了春节“科技大联欢”活动，秉持“用时尚诠释科学，将传统变为风尚”的活动理念，以科学的视角、丰富的内容和多样的形式，为观众提供新年全家
结合外部知识,使用特定方法进行知识图谱的链接预测,即知识图谱中缺失信息的发现和还原,是目前知识图谱领域研究的热点和关键。以电子商务应用为背景,基于已经构建好的描述用
近日，河南省委办公厅、省政府办公厅联合印发《2011年河南省十项重点民生工程工作方案》，“科普惠农兴村计划”被列入其中。文件强调，要“组织实施科普惠农兴村专项行动计划，对一批有突出贡献、较强区域示范作用、辐射性强的农村专业技术协会、科普示范基地、农村科普带头人等先进集体和个人，开展科普惠农活动补助和奖励。” 自中国科协、财政部“科普惠农兴村计划”开展以来，河南省认真落实工作部署，积极创新工作模式
摘 要：小学各年级特别是中低年级的语文教学都要重视朗读训练，要让学生充分地读，在读中整体感知，有所感悟，并培养语感。基于此，本文对小学语文朗读训练进行了有效性探索。 关键词：小学语文；朗读训练；实施策略 《语文课程标准》指出：“语文教学必须注重语言的积累、感悟和运用。”小学语文教学是引导学生正确理解和运用祖国的语言文字，使学生具有初步的听说读写能力，在听说读写的训练中，进行思想品德的教育，发展
[目的]为高产小麦新品种的选育提供依据。[方法]以12个高产冬小麦新品种（系）为试验材料,研究了密植条件下小麦旗叶与穗粒重及构成因子的关系。[结果]12个供试品种的旗叶长、宽
随着我国对外贸易领域的不断高速发展,我国的港口企业均面临转型和升级,在港口企业转型的关键时期以及业务规模的扩张时期,一旦企业的管理制度和内部控制措施跟不上企业发展
皖稻86是安徽省广德县农科所运用株系改良＋优势多抗聚合的技术路线，经杂交多年系谱法选育育出的中、晚熟兼用，品质优、稳产、抗性强的新品种，适宜在沿淮地区麦稻区作中粳种植，在沿
摘 要：盐酸托烷司琼注射液主要是预防和治疗在化放疗过程中产生的恶心和呕吐的现象，这种药物在一般情况下具有非常好的耐受性，如果在推荐的剂量下使用出现了不良反应，最为常见的一个原因就是药品本身出现了变性的问题，最为常见的不良反应就是5mg应用量下所引起的便秘现象，这些不良的反应在代谢功能不是很强的患者当中更为常见，而其他的不良症状有头晕、头痛和疲劳等，而药品研制的质量就直接关系到了其品质，因此，我们要
研究不同比例稻谷替代玉米对肉用仔鸡生产、屠宰性能的影响。将180只1日龄健康AA商品代肉鸡苗，按体重相近原则随机分为3组，每组设6个重复，各重复10只。试验分1～21日龄、22～42日龄2