论文部分内容阅读
可满足性问题是第一个被证明为NP-complete问题.首先给出两个解之间距离的概念,其次构造出一类单参数填充函数,该函数形式简洁,便于计算.然后,针对可满足性问题提出了一类填充函数算法,实验表明该算法是有效的.
可满足性问题的填充函数算法
【摘 要】
：
可满足性问题是第一个被证明为NP-complete问题.首先给出两个解之间距离的概念,其次构造出一类单参数填充函数,该函数形式简洁,便于计算.然后,针对可满足性问题提出了一类填
【机 构】
：
闽江学院数学系
【出 处】
：
闽江学院学报
【发表日期】
：
2011年02期
【基金项目】
：
闽江学院育苗项目(YKY1012)
其他文献
本文通过对现实劳动力市场的分割;劳动力市场支付的效率工资;雇主根据雇员的教育程度提供雇佣租金;教育文凭为雇主筛选劳动力提供信息;教育传递信息的机制;雇主利用教育的结
<正>主持人,你好:我们是企业的维修人员,在工作场所经常使用手持电动工具,请问:使用手持电动工具应注意哪些安全事项?易安网友段先生易安网友,你好:在企业的生产及维修过程中
目的探讨医护一体化模式在五官科围手术期患儿护理中的应用。方法本科自2014年3月起试行医护一体化护理服务模式,选取2014年3月~2015年3月在本科接受手术治疗的160例意外损伤
应当适用理性人标准来判断信赖的合理性。理性人标准需要通过结合个案因素予以立体化构建,以确定理性人具有什么样的能力与知识。理性人所置身的场景也应当根据个案进行具体
自主水下机器人机械在当下得到了较为广泛地应用,并且随着科学技术的发展和进步,水下机器人的自主化和智能化水平不断提升。在进行机械结构设计过程中,如何选择有效地计算机
建筑施工安全关系到社会稳定与经济发展,而安全隐患则是导致事故发生的主要原因。如果不能及时消除隐患,就会导致事故发生,从而对人民群众生命安全造成危害。为企业带来巨大
某高速公路服务区采用复合式A/O生物氧化+过滤消毒工艺处理运营期间产生的污水。出水水质达到城市污水再生利用城市杂用水水质(GBT18920-2002)标准,能够满足回用要求,具有良
Ad Hoc引申为“for this purpose only”,表示是有特定用途的网络。它源自于拉丁语,IEEE 802.11委员会用它来表示对等多跳、分布式自组织移动通信网络。这种网络不需要固定的
目的 :从定量角度探讨MRI上颅骨与腰椎骨髓转化特点并评估骨髓相对信号强度 (RSI)的诊断价值。方法 :正常组 2 5 7例 ,其中颅骨 10 1例 ,腰椎 15 6例 ;异常组 6例 ,白血病 5