• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Constraints >Applying Ad-hoc Global Constraints with the case Constraint to Still-Life
【24h】

Applying Ad-hoc Global Constraints with the case Constraint to Still-Life

机译：将临时全局约束与案例约束应用于静物

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

摘要

The Still-Life problem is challenging for CP techniques because the basic constraints of the game of Life are loose and give poor propagation for Still-Life. In this paper, we show how ad-hoc global case constraints can be customized to construct various models to provide much stronger propagation with CP solvers, Since we use custom ad-hoc constraints of high arity where the number of tuples to define the constraint are large, the actual constraint representation becomes important to avoid excessive space consumption. We demonstrate how to use BDDs to construct good representations for the case constraint which is critical for efficiency, Our results seem comparable to hybrid CP/IP models even though we are only using propagation albeit on ad-hoc global constraints. This paper shows an extensive example of how to systematically build models using different kinds of ad-hoc constraints. It also demonstrates the solving potential of ad-hoc global constraints.
机译：静物问题对于CP技术而言是具有挑战性的，因为生命游戏的基本约束比较松散，并且静物传播不佳。在本文中，我们展示了如何自定义全局案例约束来构建各种模型，以使用CP解算器提供更强大的传播，因为我们使用高Arity的自定义临时约束，其中元组的数量用于定义约束很大，实际约束表示对于避免过度占用空间很重要。我们演示了如何使用BDD为对效率至关重要的案例约束构建良好的表示形式。尽管我们只是在临时全局约束下使用传播，但我们的结果似乎与CP / IP混合模型相当。本文展示了一个广泛的示例，说明了如何使用各种特殊约束系统地构建模型。它还展示了临时全局约束的解决潜力。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号