【摘 要】
：
约束传播技术对于约束满足问题的求解性能至关重要。约束传播技术在一个预处理过程中能彻底地移除一些局部不相容值,或者在搜索期间高效地剪枝搜索树。最大受限路径相容算法（m
【机 构】
：
吉林大学计算机科学与技术学院,符号计算与知识工程教育部重点实验室（吉林大学）
【基金项目】
：
国家自然科学基金项目（61170314,61373052）, 吉林省科技发展计划项目（20170414004GH）资助
论文部分内容阅读
约束传播技术对于约束满足问题的求解性能至关重要。约束传播技术在一个预处理过程中能彻底地移除一些局部不相容值,或者在搜索期间高效地剪枝搜索树。最大受限路径相容算法（max Restricted Path Consistency,maxRPC）是最近提出的一种强相容性约束传播算法,它能够删除更多不相容值,在解决复杂问题中取得了很好的效果。文中对弧相容算法AC和最大受限路径相容算法maxRPC的相关算法AC3,AC3rm,maxRPC1,maxRPC2,maxRPCrm,maxRPC3等及其相关变体分别进行介绍
其他文献
重点研究了推定值计算以及相对标准不确定度计算方法,明确钻芯法检测的对比参量,了解本次检测结果的可靠程度,为水利水电工程中钻芯法检测技术优化提供可靠性依据。
在当今的物联网社会,位置信息是实现万物相连的基础技术之一。作为一种高精度的定位信号,超宽带信号具有高时间分辨率、穿透性强等特点,适用于各种环境下的人员、物资、车辆
夜间图像存在光照不均匀、整体亮度较低、色偏严重的现象,且人工光源附近存在光晕。现有的去模糊模型和算法在光照不均匀情况下,常通过估计光照图来去除光照不均匀的影响。通过使用径向基函数神经网络训练提取光照强度,提出了基于光照估计的夜间图像去模糊算法。针对光照不均匀的问题,通过估计光照分布图来去除不均匀光照的影响,计算得到成像过程中的调制传递函数(MTF)。以计算所得传输图像退化模型的点扩散函数作为先决条
机器人发展的趋势是人工智能化,深度学习是智能机器人的前沿技术,也是机器学习领域的新课题。深度学习技术被广泛运用于农业、工业、军事、航空等领域,与机器人的有机结合能
没有灵魂的文章,就像一片凋零的落叶。作文是小学语文的重点教学内容,《小学语文课程标准》明确提出,当下语文教学中更应该注重提升学生的写作能力和阅读能力。然而在实际教
从水土保持水流失理论入手,通过实例计算,分析水流失对城市排水系统及城市内涝的影响,提出开发建设项目水土保持方案中应增设水流失控制比指标,增设此指标可为水流失措施设置
机器学习算法包括传统机器学习算法和深度学习算法。传统机器学习算法在中医诊疗领域中的应用研究较多,为探究中医辩证规律提供了参考,也为中医诊疗过程的客观化提供了依据。
截至目前,共有355家企业成功在创业板上市,创业板市场为中小企业的融资打造了一个良好平台的同时,也暴露出很多问题,以＂三高＂现象最为严重。本文通过对创业板市场IPO相关数据的
每项技术都不是孤立存在的,其形成、发展与应用离不开特定的技术生态,信息技术尤为如此。运用人工智能、5G通信、区块链等新一代信息技术促进教育变革已成为全球共识,而技术
货币政策效力的非对称性主要包括经济周期上的非对称性和政策方向上的非对称性。在考虑了主要相关变量后,本文分别对两种非对称性进行了检验。结果表明：我国货币政策对实际产