• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Artificial intelligence >Solving weighted CSP by maintaining arc consistency
【24h】

Solving weighted CSP by maintaining arc consistency

机译：通过保持电弧一致性来解决加权CSP

获取原文
获取原文并翻译 | 示例
           
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

Recently, a general definition of arc consistency (AC) for soft constraint frameworks has been proposed by T. Schiex [Proc. CP-2000, Singapore, 2000, pp. 411-424]. In this paper we specialize this definition to weighted CSP and introduce two O(ed(3)) enforcing algorithms. Then, we refine the definition and introduce a stronger form of arc consistency (AC*) along with two O(n(2)d(2) + ed(3)) algorithms. As in the CSP case, an important application of AC is to combine it with search. We empirically demonstrate that a branch and bound algorithm that maintains either AC or AC* is a state-of-the-art general solver for weighted CSP Our experiments cover binary Max-CSP and Max-SAT problems. (C) 2004 Published by Elsevier B.V.
机译：近来，T.Schiex [Proc.Natl.Acad.Sci.USA，87：3587-8877]提出了用于软约束框架的电弧一致性（AC）的一般定义。 CP-2000，新加坡，2000，第411-424页]。在本文中，我们将此定义专门用于加权CSP，并介绍了两种O（ed（3））强制执行算法。然后，我们完善定义并引入更强形式的电弧一致性（AC *）以及两种O（n（2）d（2）+ ed（3））算法。与CSP情况一样，AC的重要应用是将其与搜索结合起来。我们凭经验证明，保持AC或AC *的分支定界算法是加权CSP的最新通用求解器。我们的实验涵盖了二进制Max-CSP和Max-SAT问题。 （C）2004由Elsevier B.V.发布

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号