arc consistency算法

约束满足问题(CSP-Constraint Satisfaction Problem)是人工智能研究领域的一个重要分支,现实生活中的很多问题,都可以用约束满足问题来建模,如视觉(Vision),调度中的资源分配(Resource allocation),时序推理(Temporal reasoning)等.约束满足问题通常都是NP-hard问题,在其众多求解算中,基于回溯的搜索算法(BT-backtracking algorithm)是一个完备的核心算法.该算法在选择实例化变量时,采用深度优先策略,若相容性检查失败则启动回溯机制,并通过引入展望(look-ahead)和回顾(look-back)两种模式,显著地提高了搜索效率[1].基于冲突的向后跳转[2]和动态的回溯算法[3]等是回顾模式类的搜索算法;基于相容性技术的算法是展望模式类的搜索算法.而弧相容(AC-arc consistency)则是众多相容性算法中一个高效的相容性技术[4],如算法AC3[5],AC4[6],AC2001[7]等.由于弧相容维护(MAC-maintaining arc consistency)具有高效的求解效率和低额空间代价的特点,所以MAC是目前求解约束满足问题的一个主流搜索技术.

arp报文结构 nec v332x dnf一键跑步 うそ怎么读 graphviz sklearn 在线观看天狐资源评选 math kangaroo app 05j01 2pmill be back train10密码 vs2010安装mvc4 calypso 6.0 vendor kernel device 剑灵美女ryona linux i18n 生效 radar cross section 1.5tsuv百公里油耗多少 kali 无法开启无线网卡 thefloor escape39攻略 年假规定与计算办法 a站 b站 斗鱼 www.adobrand.com evga gtx960拆解 鼻腔干燥及结痂 www.fcw02.com httpwww.bbbb82.com www.tengbo9882.com vhdl generic for www.tlnjl.com mate10 otg在哪

Copyright 中易吧 Some Rights Reserved

如反馈或投诉等情况联系:une35498#163.com