【摘 要】
：
命题公式的可满足性(SAT)问题作为一类重要的NP完全问题,与人工智能中许多复杂性问题密切相关。然而,随着人工智能领域的快速发展,为了满足新的需求,需要重新审视和设计SAT问题原有的求解算法,因此,SAT问题在当下面临新的机遇和挑战。上世纪八十年代,物理学家提出了一种基于消息传递的信息传播算法,将该算法用于SAT问题的求解得到的效果十分显著,因此一直被学者广泛应用和研究。然而,由于该算法在相变区域
论文部分内容阅读
命题公式的可满足性(SAT)问题作为一类重要的NP完全问题,与人工智能中许多复杂性问题密切相关。然而,随着人工智能领域的快速发展,为了满足新的需求,需要重新审视和设计SAT问题原有的求解算法,因此,SAT问题在当下面临新的机遇和挑战。上世纪八十年代,物理学家提出了一种基于消息传递的信息传播算法,将该算法用于SAT问题的求解得到的效果十分显著,因此一直被学者广泛应用和研究。然而,由于该算法在相变区域有时不收敛,算法表现为失效。而对于这种现象,目前仍缺少系统的理论解释。因此本文基于WP-可解公式展开对信息传播算法的收敛性研究,力图从理论上给予对于算法收敛性现象的解释。主要研究内容如下:(1)分析信息传播算法的原理,找出信息传播算法下的骨干集和后门集之间的关系,并给出WP-可解公式的定义;(2)基于WP-可解公式的特点,借助于植入指派实例产生模型,研究信息传播算法在WP-可解公式上的收敛性,给出信息传播算法收敛的一个有效条件:信息传播算法在公式F上高概率收敛,当且仅当公式F是WP-可解公式。本文给出了信息传播算法收敛的条件,为信息传播算法的基础研究以及在人工智能领域的应用提供了理论支持。
其他文献
木豆[Cajanus cajan(L.)Millsp.]是一种在我国广泛栽培的直立灌木,其叶片可入药。成分研究表明,木豆叶中的主要生物活性物质为芪类和黄酮类化合物。芪类化合物是指具有均二苯
近年来,随着装配式建筑的发展以及对未来建筑装配率的要求,可拆装式箱型轻钢结构房屋因其高效节能、可重复使用等优点得到了快速的发展。可拆装式箱型房屋作为一种高装配率的
随着经济的发展和社会的进步,银行卡作为重要的支付手段和资金载体在金融行业发展中发挥了越来越重要的作用[1][2],同时对银行卡涉及的相关业务也是银行等金融行业中审核和监控的重点部分。作为银行卡业务的主要参与方,持卡人、发卡行和刷卡商户均处于中国银联的监控和审核体系之中。对于银行与银联之间,发卡行在确定发行银行卡之前需要将银行卡设计发送给银联部门审核。而对于商户,所有的银行交易记录也会保存在银联的数
意识形态作为一种软性力量,一直以来在引导和稳定民心、稳固国家政权方面发挥着重要的作用。意识形态认同的默认主体是人,是人对国家、社会、个人等议题一系列价值观念的综合性认同,其生成和实现关系到主体、客体、环境等多重因素的互动。实现意识形态认同是新的时代条件下做好意识形态建设的目标。当前,人的主体意识和主体能力都得到了大幅提升,主体交往也更加密切,这为主体增强意识形态认同提供了机遇。但与此同时,意识形态
饱和现象普遍存在生物、工程及社会经济等实际系统中,饱和约束是计算机控制、数字信号处理等领域中不可避免的问题,也是数字滤波器设计、神经网络控制等领域中的常见问题.因此,研究含有饱和非线性状态约束系统的控制问题是十分必要的.本文主要研究了含有饱和非线性状态约束的离散时间系统鲁棒控制问题.首先综述了离散时间系统鲁棒控制的发展概况和研究现状,给出本文所需的基础知识和基础理论,针对含有饱和非线性约束的离散时
近年来,随着新媒体的快速发展,消费者对企业的监督增强,企业负面事件的曝光可能性也随之增加。企业若能采取有效的应对措施处理负面事件,就有可能重塑品牌形象,减少损失,从而转“危”为“机”。作为使用最多且非常重要的有效应对措施之一,企业公开道歉受到了学术界的广泛关注。然而,很少有研究以跨学科的和基于语料库的研究方法来分析英文企业公开道歉,尤其在语言特征方面。因此,本研究试图从语言特征、语用策略和语用功能
随着我国社会经济的高速发展以及城市化建设进程的不断加快,能源与土地等各种资源正在被大量地消耗,而生态环境的恶化程度也正在日益加剧,由此而引起了人们对社会经济及城市
茚满霉素(Indanomycin)和Thiostreptamide S4是由链霉菌次级代谢产生的具有潜在抗肿瘤活性的重要天然产物,因其独特的化学结构以及良好的生物活性,引起了不少生物学家的广泛
随着建筑物日益向超高、大体量发展,建筑结构抵抗地震及风荷载作用的能力面临新的挑战。如何减小建筑结构在地震作用下的反应是一项重要的研究课题。在结构主动、半主动控制
情感与理性一直是哲学的重要问题,西方理性主义的传统将情感与理性斥为两极,情感被视为与理性相对的东西;而中国传统哲学却是重情的,孔子的“仁”学正是以情感为切入点,并且这种情感涵摄了理性,即理性化的情感。朱熹哲学中的情感也是如此,早已融入了理性的因素,完成了理性的内化,但其学说中又有道德理性凌驾于情感的特征。本文主要对朱熹哲学之中“情”“理”范畴及其关系进行研究。本文所讲的“情”与“理”是一个大观念,