排序方式: 共有11条查询结果,搜索用时 0 毫秒
1.
可满足(SAT)问题是指:是否存在一组布尔变元赋值,使得随机合取范式(CNF)公式中每个子句至少有1个文字为真。多文字可满足SAT问题是指:是否存在一组布尔变元赋值,使得随机CNF公式中每个子句至少有2个文字为真。此问题仍然是一个NP难问题。定义约束密度α为CNF公式子句数与变元数之比,对该问题的相变点上界α*进行了研究。如果α>α*,则多文字可满足SAT问题高概率不可满足。通过一阶矩一个简单的推断,可以证明α*=-ln 2/ln(1-(k+1)/2k),当k=3时,α*=1。利用Kirousis等人的局部最大值技术,提升了多文字可满足3-SAT问题的相变点上界α*=0.7193。最后,选择了大量数据进行实验验证,结果表明,理论结果与实验结果相吻合。 相似文献
2.
为了满足矿山实际工作需要,通过采用VBA编写相应程序,对AutoCAD进行二次开发,实现了部分矿山地质、矿山工程辅助功能,对于降低矿山技术人员工作难度,提高工作效率具有一定的作用。 相似文献
3.
4.
随机约束满足问题是经典的NP完全问题,在理论研究和现实生活中有着广泛应用。研究人员发现随机约束满足问题存在相变现象,近几十年来关于此问题相变的研究成果不断涌现。从随机图着色问题和随机可满足问题2个最经典的随机约束满足问题入手,从算法研究、理论物理和数学证明3个方面综述了随机图着色问题和随机可满足问题的相变研究成果。最后对随机约束满足问题相变的研究趋势进行了展望。 相似文献
5.
智能优化算法(IOA)指的是一类以自然界的生物生存进化过程或物理现象为算法原理,用于解决最优化问题的算法,较为知名的智能优化算法有遗传算法、粒子群算法、模拟退火算法等。智能优化算法属于启发式方法,广泛应用在解决最优化问题上,传统的群智能算法为解决一些实际问题提供了新思路。随着科学技术的进步和应用场景的改变,传统的智能优化算法在收敛速度、求解精度等方面已无法满足日益复杂的优化问题,因此不断有新的更高效的智能优化算法被提出。选取了近几年国内外提出的几种新型智能优化算法:蝴蝶优化算法(BOA)、飞蛾扑火算法(MFO)、正弦余弦优化算法(SCA)、蝗虫优化算法(GOA)、哈里斯鹰优化算法(HHO)、麻雀搜索算法(SSA)。阐述了各算法的基本原理、算法步骤、相关的改进策略及存在的优缺点。为客观对比各算法性能,进一步通过3种类型共21个测试函数及6个指标评价各算法性能,最后归纳总结各算法的特点并对智能优化算法的发展前景进行展望。 相似文献
6.
7.
8.
车辆路径问题是物流运输优化中的核心问题,目的是在满足顾客需求下得到一条最低成本的车辆路径规划。但随着物流运输规模的不断增大,车辆路径问题求解难度增加,并且对实时性要求也不断提高,已有的常规算法不再适应实际要求。近年来,基于强化学习算法开始成为求解车辆路径问题的重要方法,在简要回顾常规方法求解车辆路径问题的基础上,重点总结基于强化学习求解车辆路径问题的算法,并将算法按照基于动态规划、基于价值、基于策略的方式进行了分类;最后对该问题未来的研究进行了展望。 相似文献
9.
公路沿线边坡具有数量多、灾害频、危害大等特点,如何快速分析评估公路土质路堑边坡安全风险性等问题尤为紧迫。通过总结公路土质路堑边坡的破坏模式与稳定性影响因素,归纳出该类边坡风险评估的关键因子与评估指标,引入层次分析法并基于指标的数据波动性与相关关系,构建出公路土质路堑边坡风险评估模型,通过CRITIC法,利用数据的差异性与冲突性对评估模型各指标权重进行优化。结合指标权重法提出的防护工程评价模型,完善公路土质路堑边坡评估体系,最终通过深圳市S359省道11个公路土质路堑边坡进行评估验证。评估结果显示:评价结果与专家判断结果的相似度达到90.90%,说明公路土质路堑边坡风险评估模型较为可靠。该风险评估体系弥补了边坡风险评估中将自然条件、危害程度与防护工程综合评估的空白,可为实际工程评估提供方法理论支撑。 相似文献
10.