首页> 外文会议>International Conference on Principles and Practice of Constraint Programming >The Expressive Power of Valued Constraints: Hierarchies and Collapses
【24h】

The Expressive Power of Valued Constraints: Hierarchies and Collapses

机译:有价值的约束的表现力:层次结构和崩溃

获取原文

摘要

In this paper we investigate the ways in which a fixed collection of valued constraints can be combined to express other valued constraints. We show that in some cases a large class of valued constraints, of all possible arities, can be expressed by using valued constraints of a fixed finite arity. We also show that some simple classes of valued constraints, including the set of all monotonic valued constraints with finite cost values, cannot be expressed by a subset of any fixed finite arity, and hence form an infinite hierarchy.
机译:在本文中,我们研究了可以将价值约束的固定收集组合以表达其他值的约束的方式。我们表明,在某些情况下,所有可能的arities的大类值得的约束可以通过使用固定有限arity的值的约束来表达。我们还表明,一些简单的价值约束,包括具有有限成本值的所有单调值的约束的集合,不能由任何固定有限arity的子集表示,因此形成无限层次结构。

著录项

相似文献

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

客服邮箱:kefu@zhangqiaokeyan.com

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

  • 服务号