迷你黄铜

MiniBrass:MiniZn的软约束。过约束问题是现实世界决策和优化问题中普遍存在的问题。对于涉及软约束的各种问题领域,已经提出了许多建模形式,如加权、模糊或概率约束。它们都是代数结构的实例。然而,在建模语言方面,软约束的研究远远落后于经典的约束优化技术。我们介绍了一种通用的软约束建模语言MiniBrass,它建立在偏序赋值结构(PVS)的统一代数框架上,作为MiniZinc和MiniSearch的扩展而实现。我们首先证明了PVS在软约束下通过组合运算自然地增加偏序的充分性。此外,我们从任意PVS给出了c-半环的最一般的构造。这两个论点都借鉴了范畴理论的元素。MiniBrass将这些理论考虑转化为实践:它提供了一个通用的可扩展PVS类型系统、特定软约束形式的可重用实现(PVS类型)、复杂PVS产品的运算符以及转换PVS的变形。MiniBrass模型被编译成MiniZinc,以受益于支持FlatZinc的各种解决方案。我们用六种不同的解决方案对28个“软化”微型锌基准问题进行了评估。结果证明了该方法的可行性。