• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>Graph transformation, specifications, and nets >Decomposition Structures for Soft Constraint Evaluation Problems: An Algebraic Approach
【24h】

Decomposition Structures for Soft Constraint Evaluation Problems: An Algebraic Approach

机译：软约束评估问题的分解结构：一种代数方法

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

摘要

(Soft) Constraint Satisfaction Problems (SCSPs) are expressive and well-studied formalisms to represent and solve constraint-satisfaction and optimization problems. A variety of algorithms to tackle them have been studied in the last 45 years, many of them based on dynamic programming. A limit of SCSPs is its lack of compositionality and, consequently, it is not possible to represent problem decompositions in the formalism itself. In this paper we introduce Soft Constraint Evaluation Problems (SCEPs), an algebraic framework, generalizing SCSPs, which allows for the compositional specification and resolution of (soft) constraint-based problems. This enables the systematic derivation of efficient dynamic programming algorithms for any such problem.
机译：（软）约束满足问题（SCSP）是表示性良好且经过充分研究的形式主义，用于表示和解决约束满足和优化问题。在过去的45年中，研究了各种算法来解决这些问题，其中许多基于动态编程。 SCSP的局限性在于缺乏组合性，因此，不可能在形式主义本身中表示问题的分解。在本文中，我们介绍了软约束评估问题（SCEP），这是一个代数框架，它对SCSP进行了概括，它允许对（软）基于约束的问题进行成分说明和解决。这使得针对任何此类问题的有效动态编程算法都能系统地推导。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号